{"id":13421526,"url":"https://github.com/ventali/awesome-zk","last_synced_at":"2026-02-06T06:02:08.481Z","repository":{"id":37387932,"uuid":"430532919","full_name":"ventali/awesome-zk","owner":"ventali","description":"A curated list of awesome ZK resources, libraries, tools and more.  ","archived":false,"fork":false,"pushed_at":"2024-10-15T06:58:06.000Z","size":506,"stargazers_count":1572,"open_issues_count":7,"forks_count":211,"subscribers_count":58,"default_branch":"main","last_synced_at":"2026-02-05T13:25:13.702Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"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/ventali.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}},"created_at":"2021-11-22T02:07:32.000Z","updated_at":"2026-02-04T11:06:10.000Z","dependencies_parsed_at":"2023-11-15T10:38:26.193Z","dependency_job_id":"82d42aff-c458-4beb-8b52-229ee1b50fc6","html_url":"https://github.com/ventali/awesome-zk","commit_stats":null,"previous_names":["ventali08/awesome-zk"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/ventali/awesome-zk","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ventali%2Fawesome-zk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ventali%2Fawesome-zk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ventali%2Fawesome-zk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ventali%2Fawesome-zk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ventali","download_url":"https://codeload.github.com/ventali/awesome-zk/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ventali%2Fawesome-zk/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29153140,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-06T02:39:25.012Z","status":"ssl_error","status_checked_at":"2026-02-06T02:37:22.784Z","response_time":59,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":[],"created_at":"2024-07-30T23:00:23.778Z","updated_at":"2026-02-06T06:02:08.463Z","avatar_url":"https://github.com/ventali.png","language":null,"funding_links":[],"categories":["Awesome List","Index","ZKPs","Others","GitHub Repositories","Roadmap","Other Lists","Related Lists","Zero-Knowledge-Proofs","网站外链","Applications","一、入门核心：Web3 基础概念与资源库","Awesome Lists ✨","ZKP-based Solutions"],"sub_categories":["Other awesomes","Curated Lists for ZKPs","Cairo","TeX Lists","Zero-Knowledge Proofs","Grin/Beam","隐私相关领域法规/条例","Other app directories","Basic Zero-knowledge Proofs"],"readme":"\u003cdiv align=\"center\"\u003e\n  \u003ch1 align=\"center\"\u003eAwesome Zero Knowledge\u003c/h1\u003e\n  \u003cp align=\"center\"\u003e\n    \u003ca href=\"https://github.com/sindresorhus/awesome\"\u003e\n      \u003cimg alt=\"awesome list badge\" src=\"https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg\"\u003e\n    \u003c/a\u003e\n    \u003ca href=\"https://github.com/ventali/awesome-zk/graphs/contributors\"\u003e\n      \u003cimg alt=\"GitHub contributors\" src=\"https://img.shields.io/github/contributors/ventali/awesome-zk\"\u003e\n    \u003c/a\u003e\n    \u003ca href=\"http://makeapullrequest.com\"\u003e\n      \u003cimg alt=\"pull requests welcome badge\" src=\"https://img.shields.io/badge/PRs-welcome-brightgreen.svg?style=flat\"\u003e\n    \u003c/a\u003e\n  \u003c/p\u003e\n\n  \u003cp align=\"center\"\u003eA curated list of awesome ZK resources, libraries, tools and more. For a ZK knowledge base, please see https://github.com/delendum-xyz/zk-knowledge \u003c/p\u003e\n\u003c/div\u003e\n\n### Telegram Group\nJoin the discussion [group chat](https://t.me/+9WAAmCpPRadjOTNh) with other developers and researchers\n\n### Fellowship Program\nIf you are interested in working together with top experts to explore practical use cases of new research ideas, consider applying to our [fellowship program](https://delendum.xyz/fellow). \n\nTable of Contents\n=================\n\n* [Basics](#basics)\n  * [Mathematical Foundations](#mathematical-foundations)\n* [Projects](#projects)\n  * [Zk\\-VM](#zk-vm)\n  * [Zk\\-Layer1](#zk-layer1)\n  * [Zk\\-Layer2](#zk-layer2)\n  * [Transpiler](#transpiler)\n  * [Computing Infrastructure](#computing-infrastructure)\n  * [Framework / SDK](#framework--sdk)\n  * [Zk\\-Applications](#zk-applications)\n  * [Hardware Acceleration](#hardware-acceleration)\n  * [TEE Based Projects](#trusted-execution-environment-tee-based-projects)\n* [Programming Languages](#programming-languages)\n* [Programming Libraries](#programming-libraries)\n* [Developer Tools](#tools)\n* [Auditing and Consulting](#auditing-and-consulting)\n* [Validator Services](#validator-services)\n* [Books](#books)\n* [Discussions](#discussions)\n* [Communities](#communities)\n* [Advanced Topics](#advanced-topics)\n\n## Basics\n\n- [Prerequisite understanding questions](https://0xparc.notion.site/Prerequisite-understanding-questions-c5ebb77a5cc049f39577ec9a7fb7b22c)\n- [ZKP Overview: History, Proving Systems, Circuits, Compilers](https://zkp.science)\n- Introduction\n  - [Understanding ZKPs Through Illustrated Examples](https://blog.goodaudience.com/understanding-zero-knowledge-proofs-through-simple-examples-df673f796d99)\n  - [Understanding zero-knowledge proofs without cryptography background](https://medium.com/@grehovodovbo/guide-to-understanding-guides-on-zero-knowledge-proofs-9ec4e8c4dff2)\n  - [A Non-Mathematical Introduction to Zero Knowledge Proof](https://mirror.xyz/krinza.eth/5_Cr91cBK3XdkeHPQ9yjc7z_4NoTNxyqBiM4Jz4d5VE)\n  - [Zero Knowledge Proofs: An Illustrated Primer](https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/)\n  - [What are zk-SNARKs?](https://z.cash/technology/zksnarks/)\n  - [ZKPs for Engineers: Introduction](https://blog.zkga.me/intro-to-zksnarks)\n  - [Privacy in Cryptocurrencies: An Overview](https://medium.com/@yi.sun/privacy-in-cryptocurrencies-d4b268157f6c)\n  - [Zero Knowledge virtual machine step by step](https://blog.adaptframework.solutions/2023/06/30/zero-knowledge-virtual-machine-step-by-step)\n- Vitalik's blogs for STARKs\n  - [Part 1: Proofs with Polynomials](https://vitalik.eth.limo/general/2017/11/09/starks_part_1.html)\n  - [Part 2: Thank Goodness It's FRI-day](https://vitalik.eth.limo/general/2017/11/22/starks_part_2.html)\n  - [Part 3: Into the Weeds](https://vitalik.eth.limo/general/2018/07/21/starks_part_3.html)\n- Explaining STARKs\n  - [Part I: STARK Overview](https://aszepieniec.github.io/stark-anatomy/overview)\n  - [Part II: Basic Tools](https://aszepieniec.github.io/stark-anatomy/basic-tools)\n  - [Part II: FRI](https://aszepieniec.github.io/stark-anatomy/fri)\n  - [Part IV: The STARK Polynomial IOP](https://aszepieniec.github.io/stark-anatomy/stark)\n  - [Part V: A Rescue-Prime STARK](https://aszepieniec.github.io/stark-anatomy/rescue-prime)\n  - [Part VI: Speeding Things Up](https://aszepieniec.github.io/stark-anatomy/faster)\n  - [Brainfuck STARK Tutorial](https://neptune.cash/learn/brainfuck-tutorial/)\n- [zkSNARKs in a nutshell](https://blog.ethereum.org/2016/12/05/zksnarks-in-a-nutshell/)\n- [The RareSkills Book of Zero Knowledge](https://www.rareskills.io/zk-book)\n- [The MoonMath Manual to zk-SNARKs](https://leastauthority.com/community-matters/moonmath-manual/)\n- [Comments on paper: zkSNARKs in a Nutshell by Aaron](https://github.com/ventali/awesome-zk/tree/main/zk-intro)\n- [An approximate introduction to how zk-SNARKs are possible](https://vitalik.eth.limo/general/2021/01/26/snarks.html)\n- Explaining SNARKs\n  - [Part I: Homomorphic Hidings](https://electriccoin.co/blog/snark-explain/)\n  - [Part II: Blind Evaluation of Polynomials](https://electriccoin.co/blog/snark-explain2/)\n  - [Part III: The Knowledge of Coefficient Test and Assumption](https://electriccoin.co/blog/snark-explain3/)\n  - [Part IV: How to make Blind Evaluation of Polynomials Verifiable](https://electriccoin.co/blog/snark-explain4/)\n  - [Part V: From Computations to Polynomials](https://electriccoin.co/blog/snark-explain5/)\n  - [Part VI: The Pinocchio Protocol](https://electriccoin.co/blog/snark-explain6/)\n  - [Part VII: Pairings of Elliptic Curves](https://electriccoin.co/blog/snark-explain7/)\n- Important landmarks for zk-SNARKs\n  - [Succinct ZK](https://people.csail.mit.edu/vinodv/6892-Fall2013/efficientargs.pdf) - K92\n  - [Succinct Non-Interactive ZK](https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf) - M94\n  - [“SNARK” terminology and characterization of existence](https://eprint.iacr.org/2011/443.pdf) - BCCT11\n  - [Succinct NIZK without the PCP Theorem](http://www0.cs.ucl.ac.uk/staff/J.Groth/ShortNIZK.pdf) - Groth10\n  - [Succinct NIZK without PCP Theorem \u0026 Quasi-linear prover time](https://eprint.iacr.org/2012/215.pdf) - GGPR13\n  - [Verifiable Delay Function](https://eprint.iacr.org/2018/601.pdf)\n- Circuit optimization\n  - [Circuit Optimisation Handout](https://docs.google.com/document/d/1aZ1GUAJOBFuqD4GOo9HqAH8w4xJo7HM4Bjte5-wkdnU/edit)\n- Introduction to Layer 2\n  - [An Incomplete Guide to Rollups](https://vitalik.eth.limo/general/2021/01/05/rollup.html)\n  - [Why rollups + data shards are the only sustainable solution for high scalability](https://polynya.medium.com/why-rollups-data-shards-are-the-only-sustainable-solution-for-high-scalability-c9aabd6fbb48)\n  - [Introducing zkSync: the missing link to mass adoption of Ethereum](https://medium.com/matter-labs/introducing-zk-sync-the-missing-link-to-mass-adoption-of-ethereum-14c9cea83f58)\n  - [Validity Proofs vs. Fraud Proofs](https://starkware.medium.com/validity-proofs-vs-fraud-proofs-4ef8b4d3d87a)\n  - [A Pre-consensus Mechanism by Leohio](https://ethresear.ch/t/a-pre-consensus-mechanism-to-secure-instant-finality-and-long-interval-in-zkrollup/8749)\n\n### Mathematical Foundations\n\n- [Introduction to Mathematical Cryptography](https://github.com/isislovecruft/library--/blob/master/cryptography%20%26%20mathematics/An%20Introduction%20to%20Mathematical%20Cryptography%20(2014)%20-%20Hoffstein%2C%20Pipher%2C%20Silverman.pdf)\n- [Modern Computer Algebra](https://maths-people.anu.edu.au/~brent/pd/mca-cup-0.5.9.pdf)\n- [Explicit-Formulas Database](http://hyperelliptic.org/EFD/)\n- [Abstract Algebra](http://abstract.ups.edu/download/aata-20220728.pdf)\n- [Algebraic Number Theory](https://kashanu.ac.ir/Files/Content/ANT.pdf)\n- [Computational Introduction to Number Theory and Algebra](https://shoup.net/ntb/ntb-v2.pdf)\n- [A Graduate Course in Applied Cryptography](https://crypto.stanford.edu/~dabo/cryptobook/BonehShoup_0_4.pdf)\n- [Lattice Cryptography](https://eprint.iacr.org/2015/939.pdf)\n- [The Design of Rijndael](https://cs.ru.nl/~joan/papers/JDA_VRI_Rijndael_2002.pdf)\n\nMore specific to ZK:\n\n- [Elliptic Curves Number Theory And Cryptography](https://people.cs.nctu.edu.tw/~rjchen/ECC2012S/Elliptic%20Curves%20Number%20Theory%20And%20Cryptography%202n.pdf)\n- [Pairings for Beginners](https://static1.squarespace.com/static/5fdbb09f31d71c1227082339/t/5ff394720493bd28278889c6/1609798774687/PairingsForBeginners.pdf)\n- [Succint Proofs and Linear Algebra](https://eprint.iacr.org/2023/1478.pdf)\n- [Proofs, Arguments, and Zero-Knowledge](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf)\n\n## Projects\n\n### Zk-EVM\n\n- [Matter Labs zkEVM](https://blog.matter-labs.io/unisync-a-port-of-uniswap-v2-on-the-zkevm-b12954748504)\n- [Hermez zkEVM](https://blog.hermez.io/introducing-hermez-zkevm/)\n- [Scroll](https://hackmd.io/@yezhang/S1sJ2cEWY) and their [zkEVM](https://hackmd.io/@yezhang/S1_KMMbGt)\n- [Appliedzkp: Circuits for zkEVM](https://github.com/appliedzkp/zkevm-circuits)\n- [ConsenSys zkEVM](https://ethresear.ch/uploads/short-url/3DM8kjFfIG6PHXu4qpYpmujXgme.pdf) and their [gnark library](https://github.com/consensys/gnark)\n- [TinyZKEVM](https://github.com/leonardoalt/tinyzkevm)\n- [Sovereign Labs: zkEVM on Risc0](https://github.com/Sovereign-Labs/ethereum-vpm)\n\n### Zk-VM\n\n- [Delphinus zkWASM](https://delphinuslab.com/zk-wasm/) and their [github](https://github.com/DelphinusLab/zkWasm)\n- [zkMove: bytecode VM](https://www.zkmove.net/) and their [github](https://github.com/young-rocks/zkmove)\n- [zkRiscV: RV32I Risc-V instruction set](https://github.com/lucasgleba/zkRiscV)\n- [OlaVM: An Ethereum compatible ZKVM](https://olavm.org/)\n- [Tritron VM](https://github.com/TritonVM/triton-vm)\n- [Risc0: a general purpose zkVM based on RISCV](https://github.com/risc0/risc0)\n- [Miden: STARK-based zero-knowledge virtual machine](https://github.com/0xPolygonMiden/miden-vm)\n- [Valida: A zkVM with an LLVM frontend](https://github.com/delendum-xyz/valida)\n\n#### Benchmarking\n\n- [ZK System Benchmarking: compare the performance of different zero-knowledge proof libraries](https://github.com/delendum-xyz/zk-benchmarking)\n- [ZK-Bench: Benchmarks for popular ZK frameworks, continuously updated](https://zkbench.dev)\n- [zk-Harness: a comprehensive benchmarking framework for zk SNARKs](https://www.zk-bench.org/)\n\n### Zk-Layer1\n\n- [Mir Protocol](https://mirprotocol.org/blog/Introducing-Mir)\n- [Aleo: A SDK for Zero-Knowledge Transactions](https://github.com/AleoHQ/aleo)\n- [Iron Fish: the universal privacy layer for crypto](https://ironfish.network/)\n- [Mina: a payment system using a succinct blockchain](https://minaprotocol.com/wp-content/uploads/technicalWhitepaper.pdf)\n- [Celo: EVM compatible proof-of-stake layer-1](https://celo.org/) and their [Light clients with ZKPs](https://zeroknowledge.fm/93-2/)\n- [Zeeka Network: a light and scalable blockchain using ZKPs](https://hackmd.io/_Sw5u2lUR9GfBV5vwtoMSQ#Zeeka-Network---Whitepaper)\n- [quark: decentralized state machine with STARK proofs](https://github.com/liamzebedee/quark-blockchain/blob/master/whitepaper.md)\n- [Lelantus: transaction confidentiality and anonymity](https://lelantus.io)\n- [Neptune: a new privacy layer-one blockchain](https://neptune.cash/)\n- [DarkFi: a new Layer 1 blockchain, designed with anonymity at the forefront](https://dark.fi)\n- [Espresso Systems: single-shot scaling \u0026 privacy solution](http://espressosys.com)\n\n### Zk-Layer2\n\n- [Aztec: Scalable Privacy on Ethereum](https://aztec.network/)\n- [StarkNet: permissionless decentralized ZK-Rollup](https://starkware.co/starknet/)\n- [Scroll: an EVM-equivalent zkRollup](https://scroll.io/)\n- [zkSync: an EVM-compatible zkRollup](https://zksync.io)\n- [Polygon Zero: a layer 2 scaling solution for Ethereum](https://polygon.technology/solutions/polygon-zero/)\n- [Polygon Miden: a STARK-based zkRollup](https://polygon.technology/solutions/polygon-miden/)\n- [Taikocha: a zkEVM-based general-purpose zkRollup](https://taikocha.in/)\n- [Twilight: Layer 2 for Private Computation](https://twilight.finance/)\n- [Orbis: A Layer 2 ZK-Rollup Scaling Solution Built on Cardano](https://linktr.ee/orbisprotocol)\n- [Radius: MEV-resistant ZK-Rollups with Practical VDE (PVDE)](https://ethresear.ch/t/mev-resistant-zk-rollups-with-practical-vde-pvde/12677)\n- [ZEXE on Plasma: An implementation of ZEXE on Ethereum](https://devpost.com/software/zexe-on-ethereum)\n- [Nightfall: Private Token Transaction on Ethereum](https://github.com/EYBlockchain/nightfall/blob/master/doc/whitepaper/nightfall-v1.pdf)\n\n### Privacy Layer\n\n- [Light Protocol: DeFi Privacy Infrastructure on Solana](https://www.lightprotocol.com/)\n\n### Transpiler\n\n- [Starlight: Generate a zApp from a Solidity contract](https://github.com/EYBlockchain/starlight/blob/master/doc/WRITEUP.md)\n- [Warp: transpile Ethereum smart contracts to Cairo](https://github.com/NethermindEth/warp)\n- [zkay: A Language for Private Smart Contracts on Ethereum](https://github.com/eth-sri/zkay)\n\n### Computing Infrastructure\n\n- [=nil;'s zkLLVM: LLVM-based zero-knowledge proof systems compiler](https://github.com/nilfoundation/zkllvm)\n- [CirC: Compiler Infrastructure for Cryptosystems and Verification](https://github.com/circify/circ)\n- [Trustless Labs: ZK-friendly Multi-rollup Architecture for Web3 Applications](https://trustless.org/)\n- [SuccinctX: Infrastructure for zk-app development](https://github.com/succinctlabs/succinctx)\n\n### Framework / SDK\n\n- [Adapt Framework: a toolkit for building end-to-end decentralized systems](https://www.adaptframework.solutions)\n- [Atlas Protocol: Zero-Knowlege Blockchain Development Platform](http://atlaszk.com/ide)\n\n### Zk-Applications\n\n#### Gaming\n\n- [Dark Forest: an MMO space-conquest game](https://blog.zkga.me/announcing-darkforest) and their [ZK Circuit Walkthrough](https://blog.zkga.me/df-init-circuit)\n- [Isaac: a physics-powered onchain reality on Starknet](https://topology.gg/) and their [blog](https://www.guiltygyoza.xyz/2022/05/topology-isaac-defcon)\n- [Crypto Maze: action-packed MMO](https://www.cryptomaze.app/)\n- [Zordle: the first end-to-end web app built using Halo 2 ZK proofs](https://github.com/nalinbhardwaj/zordle)\n- [zkSNARK-Sudoku: Sudoku verifier using zkSNARK and circom.](https://github.com/web3-master/zksnark-sudoku)\n- [Leela vs the World: the first zkAI game](https://twitter.com/VsLeela)\n\n#### Payment\n\n- [Zcash: a privacy-protecting, digital currency](https://z.cash/technology/)\n- [Monero: private, decentralized cryptocurrency](https://www.getmonero.org/)\n- [Manta: a Plug and Play Private DeFi Stack](https://www.manta.network/)\n- [SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges](https://eprint.iacr.org/2021/631.pdf)\n- [Zef: Low-latency, Scalable, Private Payments](https://zefchain.com/) and their [Slides](https://zefchain.com/papers/zef_slides.pdf)\n- [Anoma: A protocol for private, asset-agnostic digital cash](https://anoma.net/) and their [use of recursive zkps](https://anoma.net/blog/demystifying-recursive-zkp/)\n- [ZETH: Integrating Zerocash on Ethereum](https://github.com/clearmatics/zeth)\n- [Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs](https://eprint.iacr.org/2023/1082.pdf)\n\n#### Mixer\n\n- [CoinJoin: an open-source way to mix bitcoins](https://coinjoin.io/en)\n- [Tornado Cash: Introducing Private Transactions On Ethereum](https://tornado-cash.medium.com/introducing-private-transactions-on-ethereum-now-69fb059a14a1)\n- [Otter Cash: A privacy layer for the Solana ecosystem](https://otter.cash/)\n- [Mobius: Trustless Tumbling for Transaction Privacy](https://eprint.iacr.org/2017/881.pdf)\n- [TumbleBit: An Untrusted Bitcoin-Compatible Anonymous Payment Hub](https://eprint.iacr.org/2016/575)\n- [Mixcoin: Anonymity for Bitcoin with accountable mixes](https://eprint.iacr.org/2014/077.pdf)\n- [CashShuffle: background coin shuffling for Bitcoin Cash](https://cashshuffle.com)\n- [MicroMix: A noncustodial Ethereum mixer](https://github.com/privacy-scaling-explorations/mixer)\n- [Juicer Protocol: trusted and secure](https://github.com/wasmjuicer/juicer)\n- [Privacy pools: Opt-in or Opt-out Anonymity Sets](https://github.com/ameensol/privacy-pools)\n\n#### Identity\n\n- [zkKYC: A solution concept for KYC without knowing your customer](https://eprint.iacr.org/2021/907.pdf)\n- [zkID.app: A Privacy-Preserving Passport to the Web 3.0 World](https://zkid.app/)\n- [Notebook: a zero-knowledge B2B2C identity protocol](https://notebook-6.gitbook.io/notebook-docs-1.0/)\n- [Iden3: future-proof tech stack for self-sovereign identity](https://iden3.io/)\n- [Polygon ID: identity system with programmable privacy](https://polygon.technology/polygon-id/)\n- [Sealance: building financial compliance into digital currencies](https://www.sealance.io/)\n- [Humanode: biologically verified human nodes for a fair financial system](https://humanode.io/)\n- [OutDID: your zero-knowledge, decentralized KYC filter of blockchain users](https://www.outdid.io/)\n- [IdentityBlockchain: state-certified electronic identities to establish blockchain identities](https://github.com/IdentityBlockchain)\n- [Worldcoin: Privacy-Preserving Proof-of-Personhood Protocol](https://worldcoin.org/)\n- [ZeroBiometrics: Privacy Preserving and Data Protection Face Authentication](https://zerobiometrics.com/)\n- [zCloak: Privacy-first DID and verifiable computation infrastructure](https://zcloak.network/#/)\n- [Everest ID: Your global everything account](https://everest.org/)\n- [Proof of Passport: Privacy Preserving Passport Proving](https://github.com/zk-passport/proof-of-passport)\n\n#### Wallet\n\n- [Argent: smart contract wallet based on zkSync](https://www.argent.xyz/)\n- [Numio: Layer 2 focused wallet built on zkSync](https://www.numio.one/)\n- [Zkopru: Affordable Ethereum Privacy Wallet](https://zkopru.network/)\n- [Bunkyr: zero‑knowledge security without seed phrases or backup codes](https://bunkyr.com/)\n- [Wasabi Wallet: non-custodial, privacy-focused Bitcoin wallet](https://wasabiwallet.io)\n- [Particle Network: Zero Knowledge Wallet-as-a-Service, confidential social logins and transactions](https://blog.particle.network/zkwaas-private-social-logins-and-transactions-dapps)\n\n#### Trustless Bridge\n\n- [=nil; Foundation's Solana and Mina to Ethereum zkBridge](https://nil.foundation)\n- [Succinct Labs: the trust-minimized interoperability layer](https://www.succinct.xyz/)\n- [Overeality: Infrastructure for Web3 Interoperability](https://overeality.io/home) and their [paper](https://overeality.io/zkBridge.pdf)\n\n#### Crosschain\n\n- [ZkLink: cross chain amm swap protocol powered by ZK-Rollup](https://github.com/zkLinkProtocol/zklink-contracts)\n- [Mystiko Network: Anonymous Protocol for a Cross-Chain Network](https://mystiko.network/whitepaper.pdf)\n- [Penumbra: a shielded, cross-chain network](https://penumbra.zone/)\n- [Zecrey: Bringing Cross-chain Privacy to Digital Assets](https://www.zecrey.com/)\n- [Suez: move Eth to the Starknet ecosystem](https://suez.dev/)\n- [ZKCross: a trustworthy cross-chain protocol built with multichain zkRollup](https://www.zkcross.org/)\n- [Electron Labs: ZK Light Clients for NEAR Rainbow Bridge](https://electronlabs.org/)\n- [ZeroPool: a fully private multi-blockchain solution](https://zeropool.network/)\n- [Raze Network: Multichain Privacy Middleware](https://www.raze.network/)\n- [Zendoo: A zk-SNARK enabled verifiable cross-chain transfer protocol](https://www.horizen.io/zendoo/) and their [whitepaper](https://www.horizen.io/assets/files/Horizen-Sidechain-Zendoo-A_zk-SNARK-Verifiable-Cross-Chain-Transfer-Protocol.pdf)\n- [DarkFi: applications and shielded cross-chain assets utilizing Halo 2](https://darkrenaissance.github.io/darkfi/architecture/overview.html)\n\n#### Marketplace\n\n- [=nil; Foundation's Proof Market: a decentralized proof market protocol](https://proof.market.nil.foundation)\n- [Modulo Zero: on-chain solution for private data exchange](https://modulozero.xyz/) and their [Repo](https://github.com/nulven/EthDataMarketplace)\n- [Ruby Protocol: Building a Cross-chain Cryptographic Infrastructure for Data Monetization](https://wiki.ruby.io/)\n- [zkPoD: A decentralized system for data exchange](https://github.com/sec-bit/zkPoD-node)\n\n#### Fiat On-ramp\n\n- [Ladder: KYC on-ramp solution implementing an oraclized peer-to-peer protocol](https://www.ladderpay.xyz/)\n\n#### User Profiling\n\n- [FirstBatch: create a representation of your identity from your social data](https://firstbatch.xyz/)\n- [Interep: verify users' reputation without exposing their identities](https://github.com/interep-project)\n\n#### Data Infrastructure\n\n- [=nil; \\`DROP DATABASE \\*: A database management system for blockchains enhanced by provable SQL](https://dbms.nil.foundation)\n- [Filecoin: Zero Knowledge and the Filecoin Network](https://filecoin.io/blog/posts/zero-knowledge-and-the-filecoin-network/)\n- [Nectar Protocol: Web3 infrastructure for healthcare](https://nectar.haus/) and their [documentation](https://github.com/NectarProtocol/documentation)\n- [zk-SQL: ZK-based engine for self-sovereign SQL queries](https://github.com/timoth-y/zk-SQL)\n- [Hyper Oracle: Programmable zkOracle network with zkIndexing and zkAutomation](https://hyperoracle.io/)\n\n#### State Attestation\n\n- [Relic Protocol: the first provably secure source of historical data on chain](https://relicprotocol.com/)\n- [Axiom: generate proofs for various computations completed previously on chain](https://www.axiomcrypto.xyz/)\n\n#### Machine Learning\n\n- [Checks and balances: Machine Learning and zero-knowledge proofs](https://a16zcrypto.com/posts/article/checks-and-balances-machine-learning-and-zero-knowledge-proofs/)\n- [zk-MNIST: web frontend app + Jupyter notebook with ML model generation](https://github.com/0xZKML/zk-mnist) and their [demo](https://zkmnist.netlify.app/)\n- [zkCNN: GKR-based zero-knowledge proof protocol for CNN model inference](https://github.com/TAMUCrypto/zkCNN) and their [paper](https://eprint.iacr.org/2021/673.pdf)\n- [Modulus Labs: bringing powerful ML models on-chain](https://www.moduluslabs.xyz/) and their [blogs](https://medium.com/@ModulusLabs)\n- [ZKML: Bridging AI/ML and Web3 with Zero-Knowledge Proofs](https://hackmd.io/@cathie/zkml)\n- [zkonduit: inference for deep learning models and other computational graphs in a zk-snark](https://github.com/zkonduit/ezkl)\n- [ZK Machine Learning: truly private machine learning, with zk-SNARKs and blockchain](https://github.com/zk-ml/demo)\n\n#### DeFi / DEX\n\n- [Panther Protocol](https://www.pantherprotocol.io/resources/panther-protocol-v-1-0-1.pdf)\n- [Loopring Launches zkRollup Exchange](https://medium.com/loopring-protocol/loopring-launches-zkrollup-exchange-loopring-io-d6a85beeed21)\n- [Railgun: brings privacy to cryptocurrencies](https://www.railgun.org/#/)\n- [EdgeSwap: Ethereum-based layer 2 trading protocol](https://www.edgeswap.io/)\n- [ZigZag: ZK Rollup order book DEX](https://docs.zigzag.exchange/)\n- [Mute: a ZK-Rollup based AMM exchange](https://mute.io/)\n\n#### Tokens / NFT\n\n- [StealthDrop: Anonymous Airdrops using ZK proofs](https://github.com/nalinbhardwaj/stealthdrop)\n- [ZKP Private Airdrop](https://github.com/a16z/zkp-merkle-airdrop-contracts) and their [Zk Merkle Airdrop Library](https://github.com/a16z/zkp-merkle-airdrop-lib)\n- [zk-NftMint: Mint an NFT if you know a secret](https://github.com/weijiekoh/zknftmint) and their [contract](https://goerli.etherscan.io/address/0xc4490d6407f81378c8d3620eA11092B2FC429Df2)\n- [Immutable X: the first layer-2 scaling solution for NFTs on Ethereum](https://www.immutable.com/)\n\n#### Voting / Participation\n\n- [Semaphore: a privacy gadget built on Ethereum](https://medium.com/coinmonks/to-mixers-and-beyond-presenting-semaphore-a-privacy-gadget-built-on-ethereum-4c8b00857c9b)\n- [zkC.R.E.A.M: Confidential Reliable Ethereum Anonymous Mixer](https://zkcre.am/)\n- [Cabal: create credibly pseudonymous channels based on members' Ethereum activity](https://www.cabal.xyz/)\n- [OVOTE: Offchain Voting with Onchain Trustless Execution](https://forum.aragon.org/t/we-present-ovote-offchain-voting-with-onchain-trustless-execution/3603) and their [document](https://forum.aragon.org/t/we-present-ovote-offchain-voting-with-onchain-trustless-execution/3603)\n- [Scaffold-ETH: Prove Membership with Circom and Zero Knowledge](https://github.com/scaffold-eth/scaffold-eth-examples/tree/zk-prove-membership)\n- [Vocdoni: A decentralized self sovereign governance platform](https://docs.vocdoni.io/) and their [architecture](https://docs.vocdoni.io/architecture/general.html)\n\n#### Communication\n\n- [Waku: a suite of privacy-preserving, peer-to-peer messaging protocols](https://waku.org)\n- [Zero Knowledge Message Board by nulven, yush\\_g](https://github.com/nulven/zk-message-board) and their [article](https://mirror.xyz/0x3FD6f213ae1B8a7B6bd8f14BE9BF316a5e5A5d28/VTGpmEYLKIslUPf66VQzHUneB0R7EhMpJJ_mGrMvTwY)\n- [Double Blind: semi-anonymously sign messages for a group of people](https://github.com/doubleblind-xyz/double-blind) and their [documentation](https://double-blind.xyz/docs/#/)\n\n#### Document Management\n\n- [zkDocs: information attestation and verification workflows](https://github.com/a16z/zkdocs)\n\n### Hardware Acceleration\n\n- [Hardware for ZKPs \u0026 VDFs with Supranational](https://www.supranational.net/) and their [Practical SNARK-based VDF](https://zkproof.org/2021/11/24/practical-snark-based-vdf/)\n- [PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture](https://www.microsoft.com/en-us/research/uploads/prod/2021/05/isca21_pizk-60a269dbb1310.pdf)\n- [Ingonyama: building a ZK processing unit](https://www.ingonyama.com/) and their [slides](https://drive.google.com/file/d/1VfLrC6CQinM3DCVfaAu_5qTOoc5eigue/view)\n- [ZKAccel: Accelerated ZKP as a Service](https://inaccel.com/)\n- [DZK: decentralized zero-knowledge proof platform](https://dzk.org/)\n- [Cysic: Hardware Accelerating Zero-Knowledge Proof](https://cysic.xyz)\n\n### Trusted Execution Environment (TEE) Based Projects\n\n- [Oasis Network](https://oasisprotocol.org/)\n- [Secret Network](https://scrt.network/)\n- [Obscuro](https://www.obscu.ro/)\n- [Phala](https://www.phala.network/en/)\n\n### Fully Homomorphic Encryption (FHE) Based Projects\n\n- [Zama](https://www.zama.ai/)\n\n## Programming Languages\n\n| Name  | Ecosystem | Type | GitHub | Documentation |\n| ------------- |:-------------:|:-------------:|:-------------:|:-------------:|\n| Cairo     | StarkNet    | STARK-provable programs for general computation  | https://github.com/starkware-libs/cairo-lang | https://cairo-lang.org/docs/ |\n| ZoKrates     | Python subset   | R1CS SNARKs Frontend | https://github.com/Zokrates/ZoKrates | https://zokrates.github.io |\n| Leo      | Aleo     | Functional, statically-typed  | https://github.com/AleoHQ/leo | https://developer.aleo.org/developer/language/layout/ |\n| Circom | Typed JS | Circuit compiler   | https://github.com/iden3/circom | https://docs.circom.io |\n| Noir | Aztec | Private contract language  | https://github.com/noir-lang/noir | https://noir-lang.github.io/book/index.html\n| Snarky | Mina | R1CS SNARKs OCaml frontend | https://github.com/o1-labs/snarky | / |\n| Zinc | zkSync | Turing-complete smart contract | https://github.com/matter-labs/zinc | / |\n| Juxiv | Anoma | Functional | https://github.com/anoma/juvix | https://juvix.readthedocs.io/en/latest/index.html |\n| ZKPDL | / | High-level | https://github.com/brownie/cashlib | http://cs.brown.edu/research/brownie/usenix10.pdf |\n| zkVM | / | Stack machine with a string of bytecode representing ZkVM instructions | https://github.com/stellar/slingshot/tree/main/zkvm | https://github.com/stellar/slingshot/files/3164245/zkvm-whitepaper-2019-05-09.pdf |\n| lurk | Protocol Labs | Lurk is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp | https://github.com/lurk-lang/lurk-rs | https://github.com/lurk-lang/lurk/blob/master/spec/v0-1.md |\n\n### Language examples\n\n- [zk-languages: A repo with basic example of most ZK languages](https://github.com/microbecode/zk-languages)\n\n## Programming Libraries\n\n| Name  | Host Language | Features | GitHub |\n| ------------- |:-------------:|:-------------:|:-------------:|\n| Libsnark     | C++    | General-purpose proof systems, gadget libraries | https://github.com/scipr-lab/libsnark |\n| Bulletproofs | Rust | Single-party proofs, online multi-party computation, R1CS  | https://github.com/dalek-cryptography/bulletproofs |\n| Bellman     | Rust   | Circuit traits, primitive structures, basic gadget implementations | https://github.com/zkcrypto/bellman |\n| gnark      | Go     | High level API with frontend and backend to design circuits | https://github.com/ConsenSys/gnark |\n| Arkworks | Rust | R1CS, curves, Groth16, finite field, curves | https://github.com/arkworks-rs |\n| Circomlib | Javascript | Circom templates | https://github.com/iden3/circomlib |\n| libSTARK | C++ | ZK-STARK library | https://github.com/elibensasson/libSTARK |\n| plonky2 | rust | SNARK implementation based on techniques from PLONK and FRI | https://github.com/mir-protocol/plonky2 |\n| plonk | rust | Pure Rust implementation of the PLONK ZKProof System | https://github.com/dusk-network/plonk |\n| Spartan | rust | High-speed zkSNARKs without trusted setup | https://github.com/microsoft/Spartan |\n| DIZK | Java | Distributed polynomial interpolation, Lagrange polynomials, multi-scalar multiplication | https://github.com/scipr-lab/dizk |\n| wasmsnark | Javascript | Generate zkSnark proofs and verify from web browser | https://github.com/iden3/wasmsnark |\n| jellyfish | rust | Rust Implementation of the PLONK ZKP System and Extensions | https://github.com/EspressoSystems/jellyfish |\n| libiop | C++ | IOP-based zkSNARKs | https://github.com/scipr-lab/libiop |\n| Nova | rust | Recursive SNARKs without trusted setup | https://github.com/microsoft/Nova |\n| plonky3 | rust | A toolkit for implementing polynomial IOPs (PIOPs), such as PLONK and STARKs | https://github.com/Plonky3/Plonky3 |\n\n## Tools\n\n### Plonk\n\n- [plonkit: zkSNARK toolkit to work with circom DSL in PLONK proof system](https://github.com/fluidex/plonkit)\n- [Plonk: A pure Rust PLONK implementation](https://github.com/ZK-Garage/plonk)\n\n### ECDSA\n\n- [zk-ECDSA: zkSNARKs for ECDSA](https://0xparc.org/blog/zk-ecdsa-1)\n- [Spartan ECDSA: Fast in-browser ECDSA verification](https://github.com/personaelabs/spartan-ecdsa)\n\n### Circuit Building Library\n\n- [Circom: zkSnark circuit compiler](https://github.com/iden3/circom)\n- [Arkworks: an ecosystem for developing with zkSNARKs](https://github.com/arkworks-rs)\n- [ZoKrates: a toolbox for zkSNARKs on Ethereum](https://zokrates.github.io/)\n- [Snarkjs: zkSNARK implementation in JavaScript \u0026 WASM](https://github.com/iden3/snarkjs)\n- [RCC: Rust Circuit Compiler](https://github.com/delendum-xyz/rcc)\n- [Chiquito: DSL for Halo2 circuits](https://github.com/privacy-scaling-explorations/chiquito)\n\n### Formal Verification\n\n- [The State of Current Progress](https://delendum.xyz/2022/09/04/formal-verification-zk-constraint-systems.html#the-state-of-current-progress)\n- [Ecne: an engine for verifying the soundness of R1CS constraints](https://github.com/franklynwang/EcneProject)\n- [Picus: Symbolic Virtual Machine for Automated R1CS Verification](https://github.com/Veridise/Picus)\n- [Papyrus: A Symbolic Execution Tool for Cairo](https://github.com/Veridise/Papyrus)\n\n### Other Tools\n\n- [zkREPL: an in-browser collaborative development environment](https://zkrepl.dev/)\n- [crrl: Rust library for cryptographic research](https://github.com/pornin/crrl)\n- [Shield: a development framework for circom developers](https://xord.notion.site/SHIELD-5306223ca4f745d19f54b9a5f4004cd6)\n\n## Auditing and Consulting\n\n- [ABDK](https://www.abdk.consulting/)\n- [Least Authority](https://leastauthority.com/)\n- [ZK Security](https://www.zksecurity.xyz/)\n- [Hashcloak](https://hashcloak.com/)\n- [Taurus](https://blog.taurushq.com/zero-knowledge-security/)\n- [Common Prefix](https://www.commonprefix.com/)\n- [ZK Labs](https://zklabs.io/#audits)\n- [Diligence](https://consensys.net/diligence/)\n- [Trail of Bits](https://www.trailofbits.com/)\n- [Kudelski Security](https://kudelskisecurity.com/)\n\n## Validator Services\n\n- [ZK Validator](https://zkvalidator.com/)\n\n## Books\n\n- [Proofs, Arguments, and Zero-Knowledge](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf) (Justin Thaler, 2022)\n- [A Graduate Course in Applied Cryptography](http://toc.cryptobook.us/book.pdf) (Dan Boneh and Victor Shoup, 2020)\n\n## Discussions\n\n- [Why Dark Forest Matters: A Good Game, not a Crypto Game](https://mirror.xyz/omarmezenner.eth/gFCfCVwTfUU91SDXeROEaDQe4984nbFBIgv9QSY0r1U)\n- [Six Moonshot ZK Applications](https://gubsheep.substack.com/p/six-moonshot-zk-applications?s=r)\n- [A Socratic Dialogue to Come Up With a Secure ZK Message Board Architecture](https://mirror.xyz/0x3FD6f213ae1B8a7B6bd8f14BE9BF316a5e5A5d28/VTGpmEYLKIslUPf66VQzHUneB0R7EhMpJJ_mGrMvTwY)\n- [The Strongest Crypto Gaming Thesis](https://gubsheep.substack.com/p/the-strongest-crypto-gaming-thesis?s=r)\n- [Hardware Acceleration for Zero Knowledge Proofs](https://www.paradigm.xyz/2022/04/zk-hardware)\n- [How do trusted setups work?](https://vitalik.eth.limo/general/2022/03/14/trustedsetup.html)\n- [10 zkApps Use Cases on Mina Protocol](https://blog.o1labs.org/10-snapps-use-cases-on-mina-83e646010e52)\n- [Programming Languages in ZKP](https://medium.com/@delendum/thoughts-of-programming-languages-in-zkp-c906e96f056e)\n\n## Communities\n\n- [Harmony zkDAO](https://harmonyone.notion.site/zkDAO-Succinct-Private-Fair-2f14d3d954264bd38091b418fd6b9bd5)\n- [ZK Hash Bounties](https://www.zkhashbounties.info/)\n- [Zero Knowledge Forum](https://zeroknowledge.fm/)\n- [0xPARC: Program for Applied Research in Cryptography](https://0xparc.org/blog/program-for-applied-research)\n- [ZPrize: accelerate zero-knowledge cryptography](https://www.zprize.io/)\n- [zkMesh: a monthly newsletter](https://zkmesh.substack.com/)\n- [ZKHack Discord](https://discord.com/invite/tHXyEbEqVN): Read, discuss, and implement ZK in Rust/Python (Fridays at 11:30ET)\n- [ZKP Discussion Group Chat by Delendum](https://t.me/+gucKN1RBchMxMjVh): idea sharing, seeking advice/review/co-publish\n\n## Advanced Topics\n\n### PLONK\n\n- [Understanding PLONK](https://vitalik.eth.limo/general/2019/09/22/plonk.html)\n- [Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge](https://eprint.iacr.org/2019/953.pdf)\n\n### Groth16\n\n- [On the Size of Pairing-based Non-interactive Arguments](https://eprint.iacr.org/2016/260.pdf)\n\n### Halo\n\n- [Vitalik Buterin: Halo and more: exploring incremental verification and SNARKs without pairings](https://vitalik.eth.limo/general/2021/11/05/halo.html) - Proof size reduction\n- [Recursive Proof Composition without a Trusted Setup](https://eprint.iacr.org/2019/1021.pdf)\n\n### Probabilistic Proof Systems\n\n- [Georgetown University COSC 544 Class Notes](https://people.cs.georgetown.edu/jthaler/COSC544.html)\n\n### Pinocchio\n\n- [Pinocchio: Nearly Practical Verifiable Computation](https://eprint.iacr.org/2013/279.pdf)\n\n### Bulletproofs\n\n- [Bulletproofs: Short Proofs for Confidential Transactions and More](https://eprint.iacr.org/2017/1066.pdf)\n- [Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger](https://eprint.iacr.org/2020/735)\n\n### Hash Functions\n\n- [POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems](https://eprint.iacr.org/2019/458.pdf)\n\n### Systems\n\n- [SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge](https://eprint.iacr.org/2013/507.pdf)\n\n### Quadratic Span Programs\n\n- [Quadratic Span Programs and Succinct NIZKs without PCPs](https://eprint.iacr.org/2012/215.pdf)\n\n### Zether\n\n- [Zether: Towards Privacy in a Smart Contract World](https://eprint.iacr.org/2019/191.pdf)\n\n### Anonymous Zether\n\n- [MANY-OUT-OF-MANY PROOFS](https://eprint.iacr.org/2020/293.pdf)\n\n### Quisquis\n\n- [Quisquis: A New Design for Anonymous Cryptocurrencies](https://eprint.iacr.org/2018/990.pdf)\n\n### Zk-VM\n\n- [ZKVM book](https://hackmd.io/@liangcc/zkvmbook)\n- [Introduction to zkEVM](https://hackmd.io/@yezhang/S1_KMMbGt)\n\n### Elliptic Curve\n\n- [2-chains of elliptic curves](https://eprint.iacr.org/2021/1359.pdf)\n- [A survey of elliptic curves for proof systems](https://eprint.iacr.org/2022/586.pdf)\n- [ECFFT: Fast Polynomial Algorithms over all Finite Fields](https://arxiv.org/abs/2107.08473)\n\n### Slush: Fractal Scaling\n\n- [Slush, a proposal for Fractal scaling](https://hackmd.io/@kalmanlajko/rkgg9GLG5#Our-trustless-bridging)\n\n### DIZK: Distributed ZKP\n- [DIZK: A Distributed Zero Knowledge Proof System](https://eprint.iacr.org/2018/691.pdf)\n\n### Network Privacy\n- [Dandelion: Redesigning the Bitcoin Network for Anonymity](https://arxiv.org/pdf/1701.04439.pdf)\n- [A Flexible Network Approach to Privacy of Blockchain Transactions](https://arxiv.org/pdf/1807.11338.pdf)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fventali%2Fawesome-zk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fventali%2Fawesome-zk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fventali%2Fawesome-zk/lists"}