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: 1 day ago
JSON representation
-
Libraries and Frameworks
-
Languages and DSLs
- Circom - SNARK circuits.
- Noir - specific language for writing ZK circuits developed by Aztec.
- ZoKrates DSL - level language for creating zk-SNARK circuits on Ethereum.
- Leo - knowledge proofs on Aleo.
-
Prover/Verifier Tools
- Cairo - compatible programs.
- gnark - SNARKs.
- plonky2 - SNARK system optimized for recursive proofs.
- Winterfell
-
Research Papers
- Scalable, transparent, and post-quantum secure computational integrity (2018)
- Halo: Recursive Proof Composition without a Trusted Setup (2019)
- PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
- Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture (2013)
-
Projects and Implementations
- Tornado Cash
- Mina Protocol - SNARKs for scalability.
- Aztec Protocol - based privacy protocol using zk-SNARKs.
-
Communities and Organizations
-
Learning Resources
- ZK Whiteboard Sessions - knowledge topics visually.
- ZKProof.org - knowledge proofs.
- ZKDocs - knowledge developers and educational materials.
Programming Languages
Categories
Sub Categories
Keywords