libsnark

A high-performance C++ library for developing zk-SNARKs, the foundational zero-knowledge proof systems for privacy-preserving applications.

Engineered by the SCIPR Lab team, libsnark serves as a premier implementation of Succinct Non-interactive Arguments of Knowledge (zk-SNARKs). It provides the essential building blocks for developers to construct verifiable computations, supporting key proof systems like Groth16 and BCTV14. The library includes comprehensive gadgets for Rank-1 Constraint Systems (R1CS), enabling the creation of complex circuits used in privacy-centric protocols like Zcash. By leveraging efficient elliptic curve arithmetic and preprocessing techniques, libsnark allows a prover to demonstrate the validity of a statement without revealing underlying data, maintaining sub-linear verification times even for large-scale computations.

https://github.com/scipr-lab/libsnark