awesome-zk
by ventali
awesome listpushed almost 2 years ago
A curated list of awesome ZK resources, libraries, tools and more.
AI summary
ZKP resource hub
A curated collection of resources and information on Zero-Knowledge Proofs (ZKPs) and related technologies.
- stars
- 1.5K
- forks
- 210
- watching
- 66
- awesome lists
- 5
- entries
- 325
What's in the list
325 links in 52 sections, with live GitHub stats.activeno commit in 2y
Basics
Basics / Introduction
Basics / Vitalik's blogs for STARKs
Basics / Explaining STARKs
Basics
Basics / Explaining SNARKs
Basics / Important landmarks for zk-SNARKs
- Succinct ZK
K92
Basics / Circuit optimization
Basics / Introduction to Layer 2
Basics / Mathematical Foundations
Introduction to Mathematical CryptographyProjects / Zk-EVM
- Scroll
and their
- ConsenSys zkEVM
and their
Appliedzkp: Circuits for zkEVM
TinyZKEVMProjects / Zk-VM
- Delphinus zkWASM
and their
- zkMove: bytecode VM
and their
zkRiscV: RV32I Risc-V instruction set
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 librariesProjects / Zk-Layer1
Aleo: A SDK for Zero-Knowledge Transactions
quark: decentralized state machine with STARK proofsProjects / Zk-Layer2
Projects / Privacy Layer
Projects / Transpiler
Starlight: Generate a zApp from a Solidity contract
Warp: transpile Ethereum smart contracts to Cairo
zkay: A Language for Private Smart Contracts on EthereumProjects / Computing Infrastructure
=nil;'s zkLLVM: LLVM-based zero-knowledge proof systems compiler
CirC: Compiler Infrastructure for Cryptosystems and Verification
SuccinctX: Infrastructure for zk-app developmentProjects / Framework / SDK
Projects / Zk-Applications
ZKP Private Airdrop
and their
Zordle: the first end-to-end web app built using Halo 2 ZK proofs
zkSNARK-Sudoku: Sudoku verifier using zkSNARK and circom.
ZETH: Integrating Zerocash on Ethereum
Juicer Protocol: trusted and secure
Privacy pools: Opt-in or Opt-out Anonymity Sets
Proof of Passport: Privacy Preserving Passport Proving
ZkLink: cross chain amm swap protocol powered by ZK-Rollup
zkPoD: A decentralized system for data exchange
zk-SQL: ZK-based engine for self-sovereign SQL queries
zk-MNIST: web frontend app + Jupyter notebook with ML model generation
zkCNN: GKR-based zero-knowledge proof protocol for CNN model inference
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
StealthDrop: Anonymous Airdrops using ZK proofs
zk-NftMint: Mint an NFT if you know a secret
Scaffold-ETH: Prove Membership with Circom and Zero Knowledge
Zero Knowledge Message Board by nulven, yush_g
Double Blind: semi-anonymously sign messages for a group of peopleProjects / Hardware Acceleration
Projects / Trusted Execution Environment (TEE) Based Projects
Projects / Fully Homomorphic Encryption (FHE) Based Projects
Programming Languages
https://github.com/starkware-libs/cairo-lang
https://github.com/Zokrates/ZoKrates
https://github.com/iden3/circom
https://github.com/noir-lang/noir
https://github.com/o1-labs/snarky
https://github.com/matter-labs/zinc
https://github.com/anoma/juvix
https://github.com/brownie/cashlib
https://github.com/stellar/slingshot/tree/main/zkvm
https://github.com/lurk-lang/lurk-rsProgramming Languages / Language examples
zk-languages: A repo with basic example of most ZK languagesProgramming Libraries
https://github.com/scipr-lab/libsnark
https://github.com/dalek-cryptography/bulletproofs
https://github.com/zkcrypto/bellman
https://github.com/ConsenSys/gnark
https://github.com/elibensasson/libSTARK
https://github.com/mir-protocol/plonky2
https://github.com/dusk-network/plonk
https://github.com/microsoft/Spartan
https://github.com/EspressoSystems/jellyfish
https://github.com/Plonky3/Plonky3Tools / Plonk
plonkit: zkSNARK toolkit to work with circom DSL in PLONK proof system
Plonk: A pure Rust PLONK implementationTools / ECDSA
Spartan ECDSA: Fast in-browser ECDSA verificationTools / Circuit Building Library
Tools / Formal Verification
Ecne: an engine for verifying the soundness of R1CS constraints
Picus: Symbolic Virtual Machine for Automated R1CS VerificationTools / Other Tools
crrl: Rust library for cryptographic researchAuditing and Consulting
Validator Services
Books
- Proofs, Arguments, and Zero-Knowledge
(Justin Thaler, 2022)
- A Graduate Course in Applied Cryptography
(Dan Boneh and Victor Shoup, 2020)
Discussions
Communities
- ZKHack Discord
: Read, discuss, and implement ZK in Rust/Python (Fridays at 11:30ET)
- ZKP Discussion Group Chat by Delendum
: idea sharing, seeking advice/review/co-publish
Advanced Topics / PLONK
Advanced Topics / Groth16
Advanced Topics / Halo
Advanced Topics / Probabilistic Proof Systems
Advanced Topics / Pinocchio
Advanced Topics / Bulletproofs
Advanced Topics / Hash Functions
Advanced Topics / Systems
Advanced Topics / Quadratic Span Programs
Advanced Topics / Zether
Advanced Topics / Anonymous Zether
Advanced Topics / Quisquis
Advanced Topics / Zk-VM
Advanced Topics / Elliptic Curve
Advanced Topics / Slush: Fractal Scaling
Advanced Topics / DIZK: Distributed ZKP
Advanced Topics / Network Privacy
Nothing in this list matches your filter.
Featured in 5 awesome lists
Each link jumps to the spot where the list mentions awesome-zk.
