libsnark
libsnark is an open-source C++ library for constructing, proving, and verifying zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs). It provides a practical reference implementation of zk-SNARK algorithms and serves as a platform for experimentation with cryptographic backends and curve choices.
The library uses Rank-1 Constraint Systems (R1CS) as its standard circuit representation and includes a protoboard
libsnark supports multiple elliptic-curve groups and pairings commonly used in zk-SNARKs and offers a range of
The project is maintained as an open-source effort with documentation and tutorials, aiming to facilitate reproducibility