awesome-zk
github.com/ventali/awesome-zk ↗A curated list of awesome ZK resources, libraries, tools and more.
1.6k
GitHub Stars
287
Curated Resources
10
Categories
59 min ago
Last Refreshed
BasicsProjectsProgramming LanguagesToolsAuditing and ConsultingValidator ServicesBooksDiscussionsCommunitiesAdvanced Topics
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me elliptic curve resources from awesome-zk"
Installation instructions →What's inside
Discussions
Advanced Topics
- 2-chains of elliptic curvesElliptic Curve
- A Flexible Network Approach to Privacy of Blockchain TransactionsNetwork Privacy
- A survey of elliptic curves for proof systemsElliptic Curve
- Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed LedgerBulletproofs
- Bulletproofs: Short Proofs for Confidential Transactions and MoreBulletproofs
- Dandelion: Redesigning the Bitcoin Network for AnonymityNetwork Privacy
Auditing and Consulting
Basics
- Abstract AlgebraMathematical Foundations
- A Graduate Course in Applied CryptographyMathematical Foundations
- Algebraic Number TheoryMathematical Foundations
- An approximate introduction to how zk-SNARKs are possible
- An Incomplete Guide to Rollups
- A Non-Mathematical Introduction to Zero Knowledge Proof
Projects
- Adapt Framework: a toolkit for building end-to-end decentralized systemsFramework / SDK
- Aleo: A SDK for Zero-Knowledge TransactionsZk-Layer1
- Anoma: A protocol for private, asset-agnostic digital cashZk-Applications
- Appliedzkp: Circuits for zkEVMZk-EVM
- Argent: smart contract wallet based on zkSyncZk-Applications
- Atlas Protocol: Zero-Knowlege Blockchain Development PlatformFramework / SDK
Books
- A Graduate Course in Applied Cryptography
- Proofs, Arguments, and Zero-KnowledgeMathematical Foundations
Tools
- Arkworks: an ecosystem for developing with zkSNARKsCircuit Building Library
- Chiquito: DSL for Halo2 circuitsCircuit Building Library
- Circom: zkSnark circuit compilerCircuit Building Library
- crrl: Rust library for cryptographic researchOther Tools
- Ecne: an engine for verifying the soundness of R1CS constraintsFormal Verification
- Papyrus: A Symbolic Execution Tool for CairoFormal Verification
Showing a sample of 287 resources. View the full list on GitHub →