https://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.
https://github.com/awesomelistsio/awesome-zero-knowledge-proofs
awesome awesome-list awesome-lists decentralized-finance zero-knowledge zero-knowledge-proof zero-knowledge-proofs
Last synced: 12 months ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/awesomelistsio/awesome-zero-knowledge-proofs
- Owner: awesomelistsio
- Created: 2025-06-25T17:10:09.000Z (12 months ago)
- Default Branch: main
- Last Pushed: 2025-06-26T21:37:36.000Z (12 months ago)
- Last Synced: 2025-06-26T23:09:36.870Z (12 months ago)
- Topics: awesome, awesome-list, awesome-lists, decentralized-finance, zero-knowledge, zero-knowledge-proof, zero-knowledge-proofs
- Language: Python
- Homepage: https://awesome.himpfen.com/
- Size: 8.79 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
- ultimate-awesome - 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. (Other Lists / TeX Lists)
README
# Awesome Zero-Knowledge Proofs [](https://github.com/awesomelistsio/awesome)
[](https://ko-fi.com/awesomelists) [](https://www.paypal.com/donate/?hosted_button_id=3LLKRXJU44EJJ) [](https://tinyurl.com/e8ymxdw3) [](https://x.com/ListsAwesome) [](https://www.facebook.com/awesomelists)
> 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.
## Contents
- [Libraries and Frameworks](#libraries-and-frameworks)
- [Languages and DSLs](#languages-and-dsls)
- [Prover/Verifier Tools](#proververifier-tools)
- [Learning Resources](#learning-resources)
- [Research Papers](#research-papers)
- [Projects and Implementations](#projects-and-implementations)
- [Communities and Organizations](#communities-and-organizations)
## Libraries and Frameworks
- **[snarkjs](https://github.com/iden3/snarkjs)** – JavaScript library for generating and verifying zk-SNARKs.
- **[libsnark](https://github.com/scipr-lab/libsnark)** – C++ library for zk-SNARKs; one of the earliest implementations.
- **[zokrates](https://github.com/Zokrates/ZoKrates)** – Toolbox for zkSNARKs on Ethereum using a high-level DSL.
- **[arkworks](https://github.com/arkworks-rs)** – Modular Rust ecosystem for building efficient zero-knowledge proof systems.
- **[halo2](https://github.com/privacy-scaling-explorations/halo2)** – zk-SNARK library developed by the Electric Coin Company (ECC).
- **[circomlib](https://github.com/iden3/circomlib)** – Standard circuits and cryptographic primitives for use with circom.
## Languages and DSLs
- **[Circom](https://docs.circom.io/)** – Circuit compiler language for writing zk-SNARK circuits.
- **[Leo](https://github.com/AleoHQ/leo)** – Programming language for private applications using zero-knowledge proofs on Aleo.
- **[Noir](https://github.com/noir-lang/noir)** – A domain-specific language for writing ZK circuits developed by Aztec.
- **[ZoKrates DSL](https://github.com/Zokrates/ZoKrates)** – High-level language for creating zk-SNARK circuits on Ethereum.
## Prover/Verifier Tools
- **[gnark](https://github.com/ConsenSys/gnark)** – Efficient Go library for zk-SNARKs.
- **[plonky2](https://github.com/mir-protocol/plonky2)** – zk-SNARK system optimized for recursive proofs.
- **[Winterfell](https://github.com/novifinancial/winterfell)** – STARK prover/verifier written in Rust.
- **[Cairo](https://github.com/starkware-libs/cairo)** – Language and virtual machine for writing STARK-compatible programs.
## Learning Resources
- **[Zero-Knowledge Proofs Explained](https://z.cash/technology/zksnarks/)** – Educational resource from the Zcash Foundation.
- **[ZKProof.org](https://zkproof.org/)** – Open community standardizing and promoting zero-knowledge proofs.
- **[ZK Whiteboard Sessions](https://www.zkwhiteboard.com/)** – A YouTube series explaining zero-knowledge topics visually.
- **[ZKDocs](https://zkdocs.com/)** – A hub for zero-knowledge developers and educational materials.
## Research Papers
- [Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture (2013)](https://eprint.iacr.org/2013/879.pdf)
- [Scalable, transparent, and post-quantum secure computational integrity (2018)](https://eprint.iacr.org/2018/046.pdf)
- [Halo: Recursive Proof Composition without a Trusted Setup (2019)](https://eprint.iacr.org/2019/1021.pdf)
- [PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge](https://eprint.iacr.org/2019/953.pdf)
## Projects and Implementations
- **[Tornado Cash](https://github.com/tornadocash/tornado-core)** – Privacy solution on Ethereum using zkSNARKs.
- **[Mina Protocol](https://minaprotocol.com/)** – Lightweight blockchain using recursive zk-SNARKs for scalability.
- **[Aztec Protocol](https://github.com/AztecProtocol)** – Ethereum-based privacy protocol using zk-SNARKs.
- **[Aleo](https://www.aleo.org/)** – Zero-knowledge blockchain for private apps using the Leo language.
- **[zkSync](https://zksync.io/)** – Layer 2 scaling solution using zero-knowledge rollups.
## Communities and Organizations
- **[ZKProof Community](https://zkproof.org/)** – Standardization effort for zero-knowledge proofs.
- **[Privacy Scaling Explorations](https://github.com/privacy-scaling-explorations)** – Research group supporting Halo2 and other ZKP advancements.
- **[0xPARC](https://0xparc.org/)** – Supporting infrastructure and R&D for ZK and cryptographic tools.
- **[ZK Community](https://twitter.com/zk_community)** – Twitter account for ZK events, research, and discussion.
## Contribute
Contributions are welcome!
## License
[](http://creativecommons.org/licenses/by-sa/4.0/)