Open Sourcing Veri-Zexe library
Posted on July 5, 2022
Veri-Zexe library and paper are now available under GPL, providing functional privacy while improving previous state-of-the-art by 9x.
Pasta curve in solidity
Posted on June 24, 2022
Releasing a solidity implementation of the Pallas-Vesta cyclic curves.
Falcon-r1cs now supports Falcon-1024 parameter set.
Posted on April 1, 2022
Link to the libraries: falcon.rs and falcon-r1cs.
Releasing the Jellyfish cryptography library
Posted on March 7, 2022
The espresso systems has open sourced their Jellyfish library, an implementation of Plonk zero-knowledge proof system that is most feature-complete, and also comes with a solidity verifier.
Optimizing Bandersnatch's ZKP performance
Posted on October 26, 2021
Happy to announce that with my recent optimizations, Bandersnatch’s scalar multiplication circuit is reduced to 2600 constraints from 3100 constraints, resulting a 17% improvement over the Jubjub curve.