{"id":29112883,"url":"https://github.com/awesomelistsio/awesome-zero-knowledge-proofs","last_synced_at":"2025-06-29T11:05:00.572Z","repository":{"id":301440838,"uuid":"1008520831","full_name":"awesomelistsio/awesome-zero-knowledge-proofs","owner":"awesomelistsio","description":"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.","archived":false,"fork":false,"pushed_at":"2025-06-26T21:37:36.000Z","size":9,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-06-26T23:09:36.870Z","etag":null,"topics":["awesome","awesome-list","awesome-lists","decentralized-finance","zero-knowledge","zero-knowledge-proof","zero-knowledge-proofs"],"latest_commit_sha":null,"homepage":"https://awesome.himpfen.com/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/awesomelistsio.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":null,"code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null},"funding":{"ko_fi":"awesomelists","custom":["https://paypal.me/brandonhimpfen"]}},"created_at":"2025-06-25T17:10:09.000Z","updated_at":"2025-06-26T21:37:39.000Z","dependencies_parsed_at":"2025-06-26T23:09:56.819Z","dependency_job_id":"3e86bfca-1de3-447e-aea3-e69f2401051f","html_url":"https://github.com/awesomelistsio/awesome-zero-knowledge-proofs","commit_stats":null,"previous_names":["awesomelistsio/awesome-zero-knowledge-proofs"],"tags_count":0,"template":false,"template_full_name":"awesomelistsio/awesome-list","purl":"pkg:github/awesomelistsio/awesome-zero-knowledge-proofs","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awesomelistsio%2Fawesome-zero-knowledge-proofs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awesomelistsio%2Fawesome-zero-knowledge-proofs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awesomelistsio%2Fawesome-zero-knowledge-proofs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awesomelistsio%2Fawesome-zero-knowledge-proofs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/awesomelistsio","download_url":"https://codeload.github.com/awesomelistsio/awesome-zero-knowledge-proofs/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/awesomelistsio%2Fawesome-zero-knowledge-proofs/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262581283,"owners_count":23331910,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["awesome","awesome-list","awesome-lists","decentralized-finance","zero-knowledge","zero-knowledge-proof","zero-knowledge-proofs"],"created_at":"2025-06-29T11:04:47.806Z","updated_at":"2025-06-29T11:05:00.549Z","avatar_url":"https://github.com/awesomelistsio.png","language":"Python","funding_links":["https://ko-fi.com/awesomelists","https://paypal.me/brandonhimpfen","https://www.paypal.com/donate/?hosted_button_id=3LLKRXJU44EJJ"],"categories":["Other Lists"],"sub_categories":["TeX Lists"],"readme":"# Awesome Zero-Knowledge Proofs [![Awesome Lists](https://srv-cdn.himpfen.io/badges/awesome-lists/awesomelists-flat.svg)](https://github.com/awesomelistsio/awesome)\n\n[![Ko-Fi](https://srv-cdn.himpfen.io/badges/kofi/kofi-flat.svg)](https://ko-fi.com/awesomelists) \u0026nbsp; [![PayPal](https://srv-cdn.himpfen.io/badges/paypal/paypal-flat.svg)](https://www.paypal.com/donate/?hosted_button_id=3LLKRXJU44EJJ) \u0026nbsp; [![Stripe](https://srv-cdn.himpfen.io/badges/stripe/stripe-flat.svg)](https://tinyurl.com/e8ymxdw3) \u0026nbsp; [![X](https://srv-cdn.himpfen.io/badges/twitter/twitter-flat.svg)](https://x.com/ListsAwesome) \u0026nbsp; [![Facebook](https://srv-cdn.himpfen.io/badges/facebook-pages/facebook-pages-flat.svg)](https://www.facebook.com/awesomelists)\n\n\u003e 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.\n\n## Contents\n\n- [Libraries and Frameworks](#libraries-and-frameworks)\n- [Languages and DSLs](#languages-and-dsls)\n- [Prover/Verifier Tools](#proververifier-tools)\n- [Learning Resources](#learning-resources)\n- [Research Papers](#research-papers)\n- [Projects and Implementations](#projects-and-implementations)\n- [Communities and Organizations](#communities-and-organizations)\n\n## Libraries and Frameworks\n\n- **[snarkjs](https://github.com/iden3/snarkjs)** – JavaScript library for generating and verifying zk-SNARKs.\n- **[libsnark](https://github.com/scipr-lab/libsnark)** – C++ library for zk-SNARKs; one of the earliest implementations.\n- **[zokrates](https://github.com/Zokrates/ZoKrates)** – Toolbox for zkSNARKs on Ethereum using a high-level DSL.\n- **[arkworks](https://github.com/arkworks-rs)** – Modular Rust ecosystem for building efficient zero-knowledge proof systems.\n- **[halo2](https://github.com/privacy-scaling-explorations/halo2)** – zk-SNARK library developed by the Electric Coin Company (ECC).\n- **[circomlib](https://github.com/iden3/circomlib)** – Standard circuits and cryptographic primitives for use with circom.\n\n## Languages and DSLs\n\n- **[Circom](https://docs.circom.io/)** – Circuit compiler language for writing zk-SNARK circuits.\n- **[Leo](https://github.com/AleoHQ/leo)** – Programming language for private applications using zero-knowledge proofs on Aleo.\n- **[Noir](https://github.com/noir-lang/noir)** – A domain-specific language for writing ZK circuits developed by Aztec.\n- **[ZoKrates DSL](https://github.com/Zokrates/ZoKrates)** – High-level language for creating zk-SNARK circuits on Ethereum.\n\n## Prover/Verifier Tools\n\n- **[gnark](https://github.com/ConsenSys/gnark)** – Efficient Go library for zk-SNARKs.\n- **[plonky2](https://github.com/mir-protocol/plonky2)** – zk-SNARK system optimized for recursive proofs.\n- **[Winterfell](https://github.com/novifinancial/winterfell)** – STARK prover/verifier written in Rust.\n- **[Cairo](https://github.com/starkware-libs/cairo)** – Language and virtual machine for writing STARK-compatible programs.\n\n## Learning Resources\n\n- **[Zero-Knowledge Proofs Explained](https://z.cash/technology/zksnarks/)** – Educational resource from the Zcash Foundation.\n- **[ZKProof.org](https://zkproof.org/)** – Open community standardizing and promoting zero-knowledge proofs.\n- **[ZK Whiteboard Sessions](https://www.zkwhiteboard.com/)** – A YouTube series explaining zero-knowledge topics visually.\n- **[ZKDocs](https://zkdocs.com/)** – A hub for zero-knowledge developers and educational materials.\n\n## Research Papers\n\n- [Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture (2013)](https://eprint.iacr.org/2013/879.pdf)\n- [Scalable, transparent, and post-quantum secure computational integrity (2018)](https://eprint.iacr.org/2018/046.pdf)\n- [Halo: Recursive Proof Composition without a Trusted Setup (2019)](https://eprint.iacr.org/2019/1021.pdf)\n- [PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge](https://eprint.iacr.org/2019/953.pdf)\n\n## Projects and Implementations\n\n- **[Tornado Cash](https://github.com/tornadocash/tornado-core)** – Privacy solution on Ethereum using zkSNARKs.\n- **[Mina Protocol](https://minaprotocol.com/)** – Lightweight blockchain using recursive zk-SNARKs for scalability.\n- **[Aztec Protocol](https://github.com/AztecProtocol)** – Ethereum-based privacy protocol using zk-SNARKs.\n- **[Aleo](https://www.aleo.org/)** – Zero-knowledge blockchain for private apps using the Leo language.\n- **[zkSync](https://zksync.io/)** – Layer 2 scaling solution using zero-knowledge rollups.\n\n## Communities and Organizations\n\n- **[ZKProof Community](https://zkproof.org/)** – Standardization effort for zero-knowledge proofs.\n- **[Privacy Scaling Explorations](https://github.com/privacy-scaling-explorations)** – Research group supporting Halo2 and other ZKP advancements.\n- **[0xPARC](https://0xparc.org/)** – Supporting infrastructure and R\u0026D for ZK and cryptographic tools.\n- **[ZK Community](https://twitter.com/zk_community)** – Twitter account for ZK events, research, and discussion.\n\n## Contribute\n\nContributions are welcome!\n\n## License\n\n[![CC0](https://mirrors.creativecommons.org/presskit/buttons/88x31/svg/by-sa.svg)](http://creativecommons.org/licenses/by-sa/4.0/)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fawesomelistsio%2Fawesome-zero-knowledge-proofs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fawesomelistsio%2Fawesome-zero-knowledge-proofs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fawesomelistsio%2Fawesome-zero-knowledge-proofs/lists"}