Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
https://github.com/ventali/awesome-zk
- 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
- “SNARK” terminology and characterization of existence - BCCT11
- Succinct NIZK without the PCP Theorem - Groth10
- Succinct NIZK without PCP Theorem & Quasi-linear prover time - GGPR13
- 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
- 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
- Proofs, Arguments, and Zero-Knowledge
- Matter Labs zkEVM
- Hermez zkEVM
- Scroll
- Appliedzkp: Circuits for zkEVM
- ConsenSys zkEVM
- TinyZKEVM
- Sovereign Labs: zkEVM on Risc0
- Delphinus zkWASM
- zkMove: bytecode VM - rocks/zkmove)
- zkRiscV: RV32I Risc-V instruction set
- OlaVM: An Ethereum compatible ZKVM
- Tritron VM
- Risc0: a general purpose zkVM based on RISCV
- Miden: STARK-based zero-knowledge virtual machine
- Valida: A zkVM with an LLVM frontend
- 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
- 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
- Aztec: Scalable Privacy on Ethereum
- StarkNet: permissionless decentralized ZK-Rollup
- Scroll: an EVM-equivalent zkRollup
- zkSync: an EVM-compatible 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
- Light Protocol: DeFi Privacy Infrastructure on Solana
- Starlight: Generate a zApp from a Solidity contract
- Warp: transpile Ethereum smart contracts to Cairo
- zkay: A Language for Private Smart Contracts on Ethereum
- =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
- Adapt Framework: a toolkit for building end-to-end decentralized systems
- Atlas Protocol: Zero-Knowlege Blockchain Development Platform
- Dark Forest: an MMO space-conquest game - init-circuit)
- Isaac: a physics-powered onchain reality on Starknet - isaac-defcon)
- 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
- 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
- TumbleBit: An Untrusted Bitcoin-Compatible Anonymous Payment Hub
- Mixcoin: Anonymity for Bitcoin with accountable mixes
- 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
- Polygon ID: identity system with programmable privacy
- 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
- Bunkyr: zero‑knowledge security without seed phrases or backup codes
- 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
- Succinct Labs: the trust-minimized interoperability layer
- 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)
- 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
- zkPoD: A decentralized system for data exchange
- 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
- zk-SQL: ZK-based engine for self-sovereign SQL queries
- 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
- 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
- EdgeSwap: Ethereum-based layer 2 trading protocol
- ZigZag: ZK Rollup order book DEX
- Mute: a ZK-Rollup based AMM exchange
- StealthDrop: Anonymous Airdrops using ZK proofs
- 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
- 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
- Double Blind: semi-anonymously sign messages for a group of people - blind.xyz/docs/#/)
- zkDocs: information attestation and verification workflows
- 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
- DZK: decentralized zero-knowledge proof platform
- Cysic: Hardware Accelerating Zero-Knowledge Proof
- Oasis Network
- Secret Network
- Obscuro
- Phala
- Zama
- zk-languages: A repo with basic example of most ZK languages
- plonkit: zkSNARK toolkit to work with circom DSL in PLONK proof system
- Plonk: A pure Rust PLONK implementation
- zk-ECDSA: zkSNARKs for ECDSA
- Spartan ECDSA: Fast in-browser ECDSA verification
- 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
- 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
- zkREPL: an in-browser collaborative development environment
- crrl: Rust library for cryptographic research
- Shield: a development framework for circom developers
- ABDK
- Least Authority
- ZK Security
- Hashcloak
- Taurus
- Common Prefix
- ZK Labs
- Diligence
- Trail of Bits
- Kudelski Security
- ZK Validator
- Proofs, Arguments, and Zero-Knowledge
- A Graduate Course in Applied Cryptography
- 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
- 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
- Understanding PLONK
- Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
- On the Size of Pairing-based Non-interactive Arguments
- Vitalik Buterin: Halo and more: exploring incremental verification and SNARKs without pairings - Proof size reduction
- Recursive Proof Composition without a Trusted Setup
- Georgetown University COSC 544 Class Notes
- Pinocchio: Nearly Practical Verifiable Computation
- Bulletproofs: Short Proofs for Confidential Transactions and More
- Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger
- POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems
- SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
- Quadratic Span Programs and Succinct NIZKs without PCPs
- Zether: Towards Privacy in a Smart Contract World
- MANY-OUT-OF-MANY PROOFS
- Quisquis: A New Design for Anonymous Cryptocurrencies
- ZKVM book
- Introduction to zkEVM
- 2-chains of elliptic curves
- A survey of elliptic curves for proof systems
- ECFFT: Fast Polynomial Algorithms over all Finite Fields
- Slush, a proposal for Fractal scaling
- DIZK: A Distributed Zero Knowledge Proof System
- Dandelion: Redesigning the Bitcoin Network for Anonymity
- A Flexible Network Approach to Privacy of Blockchain Transactions
Programming Languages
Keywords
zero-knowledge
13
cryptography
8
ethereum
5
privacy
5
rust
4
zero-knowledge-proofs
4
plonk
3
zk-snarks
3
circom
3
blockchain
3
stark
3
compiler
2
zksnarks
2
zksnark
2
confidentiality
2
data-exchange
2
decentralized-internet
2
fair-exchange
2
virtual-machine
2
cairo-lang
2
security
2
starknet
2
starkware
2
verification
2
risc-v
2
wordle
1
game
1
proof-system
1
llvm
1
zkml
1
programming-language
1
circomlib
1
zk-starks
1
evm
1
sdk
1
evm-bytecode
1
aleo
1
solidity
1
solidity-contracts
1
database
1
sql
1
defi
1
racket
1
rosette
1
symbolic-compilation
1
synthesis
1
zkrollup
1
layer2
1
dex
1
cross-chain
1