awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
https://github.com/ventali/awesome-zk
Last synced: 4 days ago
JSON representation
-
Basics
-
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Prerequisite understanding questions
- ZKP Overview: History, Proving Systems, Circuits, Compilers
- Understanding ZKPs Through Illustrated Examples
- Understanding zero-knowledge proofs without cryptography background
- A Non-Mathematical Introduction to Zero Knowledge Proof
- Zero Knowledge Proofs: An Illustrated Primer
- What are zk-SNARKs?
- ZKPs for Engineers: Introduction
- Privacy in Cryptocurrencies: An Overview
- Zero Knowledge virtual machine step by step
- Part 1: Proofs with Polynomials
- Part 2: Thank Goodness It's FRI-day
- Part 3: Into the Weeds
- Part I: STARK Overview
- Part II: Basic Tools
- Part II: FRI
- Part IV: The STARK Polynomial IOP
- Part V: A Rescue-Prime STARK
- Part VI: Speeding Things Up
- Brainfuck STARK Tutorial
- zkSNARKs in a nutshell
- The RareSkills Book of Zero Knowledge
- The MoonMath Manual to zk-SNARKs
- An approximate introduction to how zk-SNARKs are possible
- Part I: Homomorphic Hidings
- Part II: Blind Evaluation of Polynomials
- Part III: The Knowledge of Coefficient Test and Assumption
- Part IV: How to make Blind Evaluation of Polynomials Verifiable
- Part V: From Computations to Polynomials
- Part VI: The Pinocchio Protocol
- Part VII: Pairings of Elliptic Curves
- Succinct ZK - K92
- Succinct Non-Interactive ZK - M94
- Succinct NIZK without the PCP Theorem - Groth10
- Verifiable Delay Function
- Circuit Optimisation Handout
- An Incomplete Guide to Rollups
- Why rollups + data shards are the only sustainable solution for high scalability
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Validity Proofs vs. Fraud Proofs
- A Pre-consensus Mechanism by Leohio
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- “SNARK” terminology and characterization of existence - BCCT11
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
- Understanding ZKPs Through Illustrated Examples
-
Mathematical Foundations
- Introduction to Mathematical Cryptography - %20Hoffstein%2C%20Pipher%2C%20Silverman.pdf)
- Modern Computer Algebra
- Explicit-Formulas Database
- Abstract Algebra
- Algebraic Number Theory
- Computational Introduction to Number Theory and Algebra
- A Graduate Course in Applied Cryptography
- Lattice Cryptography
- The Design of Rijndael
- Elliptic Curves Number Theory And Cryptography
- Pairings for Beginners
- Succint Proofs and Linear Algebra
- Elliptic Curves Number Theory And Cryptography
-
-
Projects
-
Zk-EVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Hermez zkEVM
- Scroll
- ConsenSys zkEVM
- Sovereign Labs: zkEVM on Risc0
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
- Matter Labs zkEVM
-
Zk-Applications
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Dark Forest: an MMO space-conquest game - init-circuit)
- Crypto Maze: action-packed MMO
- Zordle: the first end-to-end web app built using Halo 2 ZK proofs
- zkSNARK-Sudoku: Sudoku verifier using zkSNARK and circom.
- Leela vs the World: the first zkAI game
- Zcash: a privacy-protecting, digital currency
- Monero: private, decentralized cryptocurrency
- Manta: a Plug and Play Private DeFi Stack
- SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges
- Dark Forest: an MMO space-conquest game - init-circuit)
- Isaac: a physics-powered onchain reality on Starknet - isaac-defcon)
- Crypto Maze: action-packed MMO
- Zcash: a privacy-protecting, digital currency
- Manta: a Plug and Play Private DeFi Stack
- SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges
- Anoma: A protocol for private, asset-agnostic digital cash - recursive-zkp/)
- Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs
- Tornado Cash: Introducing Private Transactions On Ethereum
- Mobius: Trustless Tumbling for Transaction Privacy
- TumbleBit: An Untrusted Bitcoin-Compatible Anonymous Payment Hub
- Mixcoin: Anonymity for Bitcoin with accountable mixes
- Zef: Low-latency, Scalable, Private Payments
- Anoma: A protocol for private, asset-agnostic digital cash - recursive-zkp/)
- ZETH: Integrating Zerocash on Ethereum
- Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs
- CoinJoin: an open-source way to mix bitcoins
- Tornado Cash: Introducing Private Transactions On Ethereum
- Otter Cash: A privacy layer for the Solana ecosystem
- Mobius: Trustless Tumbling for Transaction Privacy
- Mixcoin: Anonymity for Bitcoin with accountable mixes
- CashShuffle: background coin shuffling for Bitcoin Cash
- Privacy pools: Opt-in or Opt-out Anonymity Sets
- zkKYC: A solution concept for KYC without knowing your customer
- zkID.app: A Privacy-Preserving Passport to the Web 3.0 World
- Notebook: a zero-knowledge B2B2C identity protocol
- Iden3: future-proof tech stack for self-sovereign identity
- Sealance: building financial compliance into digital currencies
- Humanode: biologically verified human nodes for a fair financial system
- OutDID: your zero-knowledge, decentralized KYC filter of blockchain users
- IdentityBlockchain: state-certified electronic identities to establish blockchain identities
- Worldcoin: Privacy-Preserving Proof-of-Personhood Protocol
- zCloak: Privacy-first DID and verifiable computation infrastructure
- Everest ID: Your global everything account
- Proof of Passport: Privacy Preserving Passport Proving
- Zkopru: Affordable Ethereum Privacy Wallet
- Wasabi Wallet: non-custodial, privacy-focused Bitcoin wallet
- =nil; Foundation's Solana and Mina to Ethereum zkBridge
- Succinct Labs: the trust-minimized interoperability layer
- Mystiko Network: Anonymous Protocol for a Cross-Chain Network
- Penumbra: a shielded, cross-chain network
- Zecrey: Bringing Cross-chain Privacy to Digital Assets
- Suez: move Eth to the Starknet ecosystem
- ZKCross: a trustworthy cross-chain protocol built with multichain zkRollup
- Electron Labs: ZK Light Clients for NEAR Rainbow Bridge
- ZeroPool: a fully private multi-blockchain solution
- Raze Network: Multichain Privacy Middleware
- Zendoo: A zk-SNARK enabled verifiable cross-chain transfer protocol - Sidechain-Zendoo-A_zk-SNARK-Verifiable-Cross-Chain-Transfer-Protocol.pdf)
- DarkFi: applications and shielded cross-chain assets utilizing Halo 2
- =nil; Foundation's Proof Market: a decentralized proof market protocol
- Modulo Zero: on-chain solution for private data exchange
- Ruby Protocol: Building a Cross-chain Cryptographic Infrastructure for Data Monetization
- CashShuffle: background coin shuffling for Bitcoin Cash
- MicroMix: A noncustodial Ethereum mixer
- Juicer Protocol: trusted and secure
- Privacy pools: Opt-in or Opt-out Anonymity Sets
- zkKYC: A solution concept for KYC without knowing your customer
- zkID.app: A Privacy-Preserving Passport to the Web 3.0 World
- Notebook: a zero-knowledge B2B2C identity protocol
- Iden3: future-proof tech stack for self-sovereign identity
- Sealance: building financial compliance into digital currencies
- Humanode: biologically verified human nodes for a fair financial system
- OutDID: your zero-knowledge, decentralized KYC filter of blockchain users
- IdentityBlockchain: state-certified electronic identities to establish blockchain identities
- Worldcoin: Privacy-Preserving Proof-of-Personhood Protocol
- ZeroBiometrics: Privacy Preserving and Data Protection Face Authentication
- zCloak: Privacy-first DID and verifiable computation infrastructure
- Everest ID: Your global everything account
- Proof of Passport: Privacy Preserving Passport Proving
- Argent: smart contract wallet based on zkSync
- Numio: Layer 2 focused wallet built on zkSync
- Zkopru: Affordable Ethereum Privacy Wallet
- Wasabi Wallet: non-custodial, privacy-focused Bitcoin wallet
- Particle Network: Zero Knowledge Wallet-as-a-Service, confidential social logins and transactions
- =nil; Foundation's Solana and Mina to Ethereum zkBridge
- Overeality: Infrastructure for Web3 Interoperability
- ZkLink: cross chain amm swap protocol powered by ZK-Rollup
- Mystiko Network: Anonymous Protocol for a Cross-Chain Network
- Penumbra: a shielded, cross-chain network
- Zecrey: Bringing Cross-chain Privacy to Digital Assets
- Suez: move Eth to the Starknet ecosystem
- ZKCross: a trustworthy cross-chain protocol built with multichain zkRollup
- Electron Labs: ZK Light Clients for NEAR Rainbow Bridge
- ZeroPool: a fully private multi-blockchain solution
- Raze Network: Multichain Privacy Middleware
- Zendoo: A zk-SNARK enabled verifiable cross-chain transfer protocol - Sidechain-Zendoo-A_zk-SNARK-Verifiable-Cross-Chain-Transfer-Protocol.pdf)
- =nil; Foundation's Proof Market: a decentralized proof market protocol
- Ruby Protocol: Building a Cross-chain Cryptographic Infrastructure for Data Monetization
- FirstBatch: create a representation of your identity from your social data
- Interep: verify users' reputation without exposing their identities
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Filecoin: Zero Knowledge and the Filecoin Network
- zk-SQL: ZK-based engine for self-sovereign SQL queries
- Ladder: KYC on-ramp solution implementing an oraclized peer-to-peer protocol
- FirstBatch: create a representation of your identity from your social data
- Interep: verify users' reputation without exposing their identities
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Filecoin: Zero Knowledge and the Filecoin Network
- Nectar Protocol: Web3 infrastructure for healthcare
- Relic Protocol: the first provably secure source of historical data on chain
- Axiom: generate proofs for various computations completed previously on chain
- Checks and balances: Machine Learning and zero-knowledge proofs
- zk-MNIST: web frontend app + Jupyter notebook with ML model generation
- zkCNN: GKR-based zero-knowledge proof protocol for CNN model inference
- Modulus Labs: bringing powerful ML models on-chain
- ZKML: Bridging AI/ML and Web3 with Zero-Knowledge Proofs
- zkonduit: inference for deep learning models and other computational graphs in a zk-snark
- ZK Machine Learning: truly private machine learning, with zk-SNARKs and blockchain
- Panther Protocol
- Loopring Launches zkRollup Exchange
- Railgun: brings privacy to cryptocurrencies
- ZigZag: ZK Rollup order book DEX
- Mute: a ZK-Rollup based AMM exchange
- StealthDrop: Anonymous Airdrops using ZK proofs
- Immutable X: the first layer-2 scaling solution for NFTs on Ethereum
- zkC.R.E.A.M: Confidential Reliable Ethereum Anonymous Mixer
- Cabal: create credibly pseudonymous channels based on members' Ethereum activity
- OVOTE: Offchain Voting with Onchain Trustless Execution - present-ovote-offchain-voting-with-onchain-trustless-execution/3603)
- Scaffold-ETH: Prove Membership with Circom and Zero Knowledge
- Vocdoni: A decentralized self sovereign governance platform
- Waku: a suite of privacy-preserving, peer-to-peer messaging protocols
- Zero Knowledge Message Board by nulven, yush\_g
- zkDocs: information attestation and verification workflows
- Hyper Oracle: Programmable zkOracle network with zkIndexing and zkAutomation
- Relic Protocol: the first provably secure source of historical data on chain
- Axiom: generate proofs for various computations completed previously on chain
- Checks and balances: Machine Learning and zero-knowledge proofs
- zk-MNIST: web frontend app + Jupyter notebook with ML model generation
- Modulus Labs: bringing powerful ML models on-chain
- ZKML: Bridging AI/ML and Web3 with Zero-Knowledge Proofs
- zkonduit: inference for deep learning models and other computational graphs in a zk-snark
- ZK Machine Learning: truly private machine learning, with zk-SNARKs and blockchain
- Panther Protocol
- Loopring Launches zkRollup Exchange
- Railgun: brings privacy to cryptocurrencies
- EdgeSwap: Ethereum-based layer 2 trading protocol
- ZigZag: ZK Rollup order book DEX
- Mute: a ZK-Rollup based AMM exchange
- ZKP Private Airdrop - merkle-airdrop-lib)
- zk-NftMint: Mint an NFT if you know a secret
- Immutable X: the first layer-2 scaling solution for NFTs on Ethereum
- Semaphore: a privacy gadget built on Ethereum
- zkC.R.E.A.M: Confidential Reliable Ethereum Anonymous Mixer
- OVOTE: Offchain Voting with Onchain Trustless Execution - present-ovote-offchain-voting-with-onchain-trustless-execution/3603)
- Scaffold-ETH: Prove Membership with Circom and Zero Knowledge
- Vocdoni: A decentralized self sovereign governance platform
- Waku: a suite of privacy-preserving, peer-to-peer messaging protocols
- Zero Knowledge Message Board by nulven, yush\_g
- Double Blind: semi-anonymously sign messages for a group of people - blind.xyz/docs/#/)
- zkDocs: information attestation and verification workflows
- Relic Protocol: the first provably secure source of historical data on chain
- Axiom: generate proofs for various computations completed previously on chain
- Panther Protocol
- ZigZag: ZK Rollup order book DEX
- Immutable X: the first layer-2 scaling solution for NFTs on Ethereum
- zkC.R.E.A.M: Confidential Reliable Ethereum Anonymous Mixer
- OVOTE: Offchain Voting with Onchain Trustless Execution - present-ovote-offchain-voting-with-onchain-trustless-execution/3603)
- Scaffold-ETH: Prove Membership with Circom and Zero Knowledge
- Vocdoni: A decentralized self sovereign governance platform
- Dark Forest: an MMO space-conquest game - init-circuit)
- SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges
- Mobius: Trustless Tumbling for Transaction Privacy
- zkID.app: A Privacy-Preserving Passport to the Web 3.0 World
- Notebook: a zero-knowledge B2B2C identity protocol
- Iden3: future-proof tech stack for self-sovereign identity
- Humanode: biologically verified human nodes for a fair financial system
- IdentityBlockchain: state-certified electronic identities to establish blockchain identities
- Everest ID: Your global everything account
- Zecrey: Bringing Cross-chain Privacy to Digital Assets
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Ruby Protocol: Building a Cross-chain Cryptographic Infrastructure for Data Monetization
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Hyper Oracle: Programmable zkOracle network with zkIndexing and zkAutomation
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Isaac: a physics-powered onchain reality on Starknet - isaac-defcon)
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- Bunkyr: zero‑knowledge security without seed phrases or backup codes
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
- =nil; \`DROP DATABASE \*: A database management system for blockchains enhanced by provable SQL
-
Zk-VM
- Delphinus zkWASM
- zkMove: bytecode VM - rocks/zkmove)
- zkRiscV: RV32I Risc-V instruction set
- OlaVM: An Ethereum compatible ZKVM
- Tritron VM
- Tritron VM
- Risc0: a general purpose zkVM based on RISCV
- Risc0: a general purpose zkVM based on RISCV
- Miden: STARK-based zero-knowledge virtual machine
- Valida: A zkVM with an LLVM frontend
- Delphinus zkWASM
- zkMove: bytecode VM - rocks/zkmove)
- zkRiscV: RV32I Risc-V instruction set
- ZK System Benchmarking: compare the performance of different zero-knowledge proof libraries
- ZK-Bench: Benchmarks for popular ZK frameworks, continuously updated
- zk-Harness: a comprehensive benchmarking framework for zk SNARKs
- ZK System Benchmarking: compare the performance of different zero-knowledge proof libraries
- ZK-Bench: Benchmarks for popular ZK frameworks, continuously updated
- zk-Harness: a comprehensive benchmarking framework for zk SNARKs
- Delphinus zkWASM
- zkMove: bytecode VM - rocks/zkmove)
- OlaVM: An Ethereum compatible ZKVM
-
Zk-Layer1
- Mir Protocol
- Iron Fish: the universal privacy layer for crypto
- Mina: a payment system using a succinct blockchain
- Zeeka Network: a light and scalable blockchain using ZKPs
- quark: decentralized state machine with STARK proofs
- Lelantus: transaction confidentiality and anonymity
- Neptune: a new privacy layer-one blockchain
- DarkFi: a new Layer 1 blockchain, designed with anonymity at the forefront
- Espresso Systems: single-shot scaling & privacy solution
- Mir Protocol
- Aleo: A SDK for Zero-Knowledge Transactions
- Iron Fish: the universal privacy layer for crypto
- Mina: a payment system using a succinct blockchain
- Celo: EVM compatible proof-of-stake layer-1 - 2/)
- Zeeka Network: a light and scalable blockchain using ZKPs
- quark: decentralized state machine with STARK proofs
- Lelantus: transaction confidentiality and anonymity
- Neptune: a new privacy layer-one blockchain
- DarkFi: a new Layer 1 blockchain, designed with anonymity at the forefront
- Espresso Systems: single-shot scaling & privacy solution
- Mir Protocol
- Zeeka Network: a light and scalable blockchain using ZKPs
- quark: decentralized state machine with STARK proofs
- Neptune: a new privacy layer-one blockchain
-
Zk-Layer2
- Aztec: Scalable Privacy on Ethereum
- StarkNet: permissionless decentralized ZK-Rollup
- Scroll: an EVM-equivalent zkRollup
- Polygon Zero: a layer 2 scaling solution for Ethereum
- Polygon Miden: a STARK-based zkRollup
- Taikocha: a zkEVM-based general-purpose zkRollup
- Twilight: Layer 2 for Private Computation
- Orbis: A Layer 2 ZK-Rollup Scaling Solution Built on Cardano
- Radius: MEV-resistant ZK-Rollups with Practical VDE (PVDE)
- ZEXE on Plasma: An implementation of ZEXE on Ethereum
- Nightfall: Private Token Transaction on Ethereum
- StarkNet: permissionless decentralized ZK-Rollup
- Scroll: an EVM-equivalent zkRollup
- Polygon Miden: a STARK-based zkRollup
- Twilight: Layer 2 for Private Computation
- Orbis: A Layer 2 ZK-Rollup Scaling Solution Built on Cardano
- Radius: MEV-resistant ZK-Rollups with Practical VDE (PVDE)
- ZEXE on Plasma: An implementation of ZEXE on Ethereum
- StarkNet: permissionless decentralized ZK-Rollup
- Scroll: an EVM-equivalent zkRollup
- Orbis: A Layer 2 ZK-Rollup Scaling Solution Built on Cardano
-
Privacy Layer
-
Transpiler
- Starlight: Generate a zApp from a Solidity contract
- Warp: transpile Ethereum smart contracts to Cairo
- zkay: A Language for Private Smart Contracts on Ethereum
- Starlight: Generate a zApp from a Solidity contract
- Warp: transpile Ethereum smart contracts to Cairo
- Starlight: Generate a zApp from a Solidity contract
-
Computing Infrastructure
- =nil;'s zkLLVM: LLVM-based zero-knowledge proof systems compiler
- CirC: Compiler Infrastructure for Cryptosystems and Verification
- Trustless Labs: ZK-friendly Multi-rollup Architecture for Web3 Applications
- SuccinctX: Infrastructure for zk-app development
- CirC: Compiler Infrastructure for Cryptosystems and Verification
- Trustless Labs: ZK-friendly Multi-rollup Architecture for Web3 Applications
- SuccinctX: Infrastructure for zk-app development
- Trustless Labs: ZK-friendly Multi-rollup Architecture for Web3 Applications
-
Framework / SDK
-
Hardware Acceleration
- Ingonyama: building a ZK processing unit
- ZKAccel: Accelerated ZKP as a Service
- DZK: decentralized zero-knowledge proof platform
- Cysic: Hardware Accelerating Zero-Knowledge Proof
- Hardware for ZKPs & VDFs with Supranational - based VDF](https://zkproof.org/2021/11/24/practical-snark-based-vdf/)
- PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
- Ingonyama: building a ZK processing unit
- ZKAccel: Accelerated ZKP as a Service
- Cysic: Hardware Accelerating Zero-Knowledge Proof
- Ingonyama: building a ZK processing unit
- ZKAccel: Accelerated ZKP as a Service
-
Trusted Execution Environment (TEE) Based Projects
-
Fully Homomorphic Encryption (FHE) Based Projects
-
-
Discussions
-
Other Tools
- 10 zkApps Use Cases on Mina Protocol
- Why Dark Forest Matters: A Good Game, not a Crypto Game
- Six Moonshot ZK Applications
- A Socratic Dialogue to Come Up With a Secure ZK Message Board Architecture
- The Strongest Crypto Gaming Thesis
- Hardware Acceleration for Zero Knowledge Proofs
- How do trusted setups work?
- 10 zkApps Use Cases on Mina Protocol
- Programming Languages in ZKP
- Why Dark Forest Matters: A Good Game, not a Crypto Game
- Six Moonshot ZK Applications
- A Socratic Dialogue to Come Up With a Secure ZK Message Board Architecture
- The Strongest Crypto Gaming Thesis
- Hardware Acceleration for Zero Knowledge Proofs
- How do trusted setups work?
- 10 zkApps Use Cases on Mina Protocol
- Programming Languages in ZKP
- Six Moonshot ZK Applications
- A Socratic Dialogue to Come Up With a Secure ZK Message Board Architecture
- The Strongest Crypto Gaming Thesis
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
- 10 zkApps Use Cases on Mina Protocol
-
-
Tools
-
Plonk
-
ECDSA
-
Circuit Building Library
- Circom: zkSnark circuit compiler
- Circom: zkSnark circuit compiler
- Arkworks: an ecosystem for developing with zkSNARKs
- ZoKrates: a toolbox for zkSNARKs on Ethereum
- Snarkjs: zkSNARK implementation in JavaScript & WASM
- RCC: Rust Circuit Compiler
- Chiquito: DSL for Halo2 circuits
- Arkworks: an ecosystem for developing with zkSNARKs
- ZoKrates: a toolbox for zkSNARKs on Ethereum
- Snarkjs: zkSNARK implementation in JavaScript & WASM
- Chiquito: DSL for Halo2 circuits
- ZoKrates: a toolbox for zkSNARKs on Ethereum
-
Formal Verification
- The State of Current Progress
- Ecne: an engine for verifying the soundness of R1CS constraints
- Picus: Symbolic Virtual Machine for Automated R1CS Verification
- Papyrus: A Symbolic Execution Tool for Cairo
- Ecne: an engine for verifying the soundness of R1CS constraints
- Picus: Symbolic Virtual Machine for Automated R1CS Verification
-
Other Tools
-
-
Auditing and Consulting
-
Books
-
Communities
-
Other Tools
- Zero Knowledge University
- ZK Hash Bounties
- Zero Knowledge Forum
- 0xPARC: Program for Applied Research in Cryptography
- ZPrize: accelerate zero-knowledge cryptography
- ZKHack Discord
- ZKP Discussion Group Chat by Delendum - publish
- Harmony zkDAO
- Zero Knowledge University
- ZK Hash Bounties
- Zero Knowledge Forum
- 0xPARC: Program for Applied Research in Cryptography
- ZPrize: accelerate zero-knowledge cryptography
- zkMesh: a monthly newsletter
- ZKHack Discord
- ZKP Discussion Group Chat by Delendum - publish
- Zero Knowledge University
-
-
Advanced Topics
-
PLONK
-
Halo
-
Probabilistic Proof Systems
-
Pinocchio
-
Bulletproofs
-
Hash Functions
-
Systems
-
Zether
-
Anonymous Zether
-
Quisquis
-
Zk-VM
-
Elliptic Curve
-
Slush: Fractal Scaling
-
DIZK: Distributed ZKP
-
Network Privacy
-
Groth16
-
Quadratic Span Programs
-
-
Validator Services
-
Other Tools
-
Categories
Sub Categories
Zk-Applications
220
Other Tools
95
Zk-EVM
55
Zk-VM
27
Zk-Layer1
24
Zk-Layer2
21
Mathematical Foundations
13
Circuit Building Library
12
Hardware Acceleration
11
Trusted Execution Environment (TEE) Based Projects
11
Computing Infrastructure
8
Formal Verification
6
Elliptic Curve
6
Transpiler
6
Bulletproofs
4
ECDSA
4
Network Privacy
4
Hash Functions
3
Framework / SDK
3
Halo
3
Zether
3
PLONK
3
Fully Homomorphic Encryption (FHE) Based Projects
3
Systems
2
Quisquis
2
Anonymous Zether
2
Privacy Layer
2
Probabilistic Proof Systems
2
Pinocchio
2
DIZK: Distributed ZKP
2
Plonk
2
Slush: Fractal Scaling
2
Groth16
1
Quadratic Span Programs
1