Veri-Zexe library and paper are now available under GPL, providing functional privacy while improving previous state-of-the-art by 9x.

Releasing a solidity implementation of the Pallas-Vesta cyclic curves.

Link to the libraries: falcon.rs and falcon-r1cs.

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.

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.