Arkadiusz Konior

icon indicating a website link https://www.linkedin.com/in/arkadiuszkonior icon indicating an email [email protected]

icon location Warsaw, Poland icon location Software engineer and mathematician passionate about functional programming, zero-knowledge proofs, blockchain, and decentralization.

Results 3 issues of Arkadiusz Konior

fix scala 3 compilation errors in user guide examples

User guide examples have few compilation errors when using Scala 3. For instance [here](https://github.com/typelevel/scalacheck/blob/main/doc/UserGuide.md?plain=1#L89): ``` [error] | val propReverseList = forAll { l: List[String] => l.reverse.reverse == l } [error]...

Add support for vector launcher icons

At this moment only `png` icons are supported.

enhancement

`nargo verify` is expected to execute much more quickly compared to `nargo prove`

### Aim The command `nargo verify` is expected to execute much more quickly compared to `nargo prove`. In the PLONK system, the time it takes to verify should increase logarithmically...

bug