awesome-zero-knowledge-proofs
github.com/awesomelistsio/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.
8
GitHub Stars
29
Curated Resources
7
Categories
31 min ago
Last Refreshed
Libraries and FrameworksLanguages and DSLsProver/Verifier ToolsLearning ResourcesResearch PapersProjects and ImplementationsCommunities and Organizations
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me communities and organizations resources from awesome-zero-knowledge-proofs"
Installation instructions →What's inside
Communities and Organizations
Projects and Implementations
Prover/Verifier Tools
Languages and DSLs
Research Papers
- Halo: Recursive Proof Composition without a Trusted Setup (2019)
- PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
- Scalable, transparent, and post-quantum secure computational integrity (2018)
- Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture (2013)
Learning Resources
Showing a sample of 29 resources. View the full list on GitHub →