awesome-zero-knowledge-proofs

A curated list of awesome libraries, tools, frameworks, and resources for Zero-Knowledge Proofs (ZKPs) including zk-SNARKs, zk-STARKs, and other privacy-preserving cryptographic protocols.
https://github.com/awesomelistsio/awesome-zero-knowledge-proofs

Last synced: 4 days ago
JSON representation

Libraries and Frameworks
- snarkjs - SNARKs.
- libsnark - SNARKs; one of the earliest implementations.
- arkworks - knowledge proof systems.
- halo2 - SNARK library developed by the Electric Coin Company (ECC).
- circomlib
- halo2 - SNARK library developed by the Electric Coin Company (ECC).
- circomlib
Languages and DSLs
- Circom - SNARK circuits.
- Leo - knowledge proofs on Aleo.
- Circom - SNARK circuits.
- Leo - knowledge proofs on Aleo.
- Noir - specific language for writing ZK circuits developed by Aztec.
- Noir - specific language for writing ZK circuits developed by Aztec.
- ZoKrates DSL - level language for creating zk-SNARK circuits on Ethereum.
Prover/Verifier Tools
- gnark - SNARKs.
- Cairo - compatible programs.
- gnark - SNARKs.
- Cairo - compatible programs.
Learning Resources
- ZK Whiteboard Sessions - knowledge topics visually.
- ZK Whiteboard Sessions - knowledge topics visually.
Research Papers
Projects and Implementations
- Tornado Cash
- Mina Protocol - SNARKs for scalability.
- Aztec Protocol - based privacy protocol using zk-SNARKs.
- zkSync - knowledge rollups.
- Tornado Cash
- Mina Protocol - SNARKs for scalability.
- Aztec Protocol - based privacy protocol using zk-SNARKs.
- zkSync - knowledge rollups.
Communities and Organizations
- 0xPARC
- ZK Community
- 0xPARC
- ZK Community
- ZKProof Community - knowledge proofs.
- ZKProof Community - knowledge proofs.
- Privacy Scaling Explorations

Programming Languages

ecosyste.ms