Awesome zero knowledge proofs (zkp) / General introduction 
Zero Knowledge Proofs: An illustrated primer by Matthew Green    
Demystifying zeroknowledge proofs    ( ) (mathheavy, awesome introduction into underlying cryptography) 
Introduction to SNARKs/STARKs by Eli BenSasson    (YouTube) 
On Interactive Proofs and ZeroKnowledge: A Primer    
ZK Basics Cheatsheet  117  about 1 year ago  a "for (not too much) dummies" poster, trying to not miss core concepts despite the simplified approach and topics selection 
A NonMathematical Introduction to Zero Knowledge Proof    a ZKP primer for those who flunked algebra 
Part 1: What is a SNARK?    
Part 2: Building a SNARK (Part 1):    
Part 3: Building a SNARK (Part 2)    
Part 4: SNARKS vs. STARKS    
Part 5: PLONK and Custom Gates with Adrian Hamelink    
Part 6: Lookup Arguments for Performance Optimisation    
Part 7: Zero Knowledge Virtual Machines (zkVM)    
Part 8: Achieving Decentralised Private Computation    
Part 9: Introduction to zkRollups    
Part I    
Part II    
Part III    
Appendix    
Part I    
Part II    
Awesome zero knowledge proofs (zkp) / Courses 
The 9th BIU Winter School on Cryptography: Zero Knowledge    
UIUC: ECE498AC/CS498AM: Applied Cryptography, Fall 2019    
Zero Knowledge Proof, MOOC Spring 2023    
[MIT IAP 2023] Modern Zero Knowledge Cryptography    
Awesome zero knowledge proofs (zkp) / Use cases 
Awesome Privacy on Blockchains  259  10 months ago  
Awesome zero knowledge proofs (zkp) / Applications / Ethereum 
ZK Sync    by 
Awesome zero knowledge proofs (zkp) / Applications / Ethereum / ZK Sync 
ZK SDK    
ZK Sync code  4,878  3 months ago  
Awesome zero knowledge proofs (zkp) / Applications / Ethereum 
SNARKbased permissioned database: rollup by BarryWhitehat  360  over 1 year ago  
Gnosis dFusion: DEX on SNARKs  90  almost 3 years ago  
Loopring DEX Protocol (v3)  329  1 day ago  
zkPoD: A Practical Decentralized System for Data Exchange  204  over 1 year ago  
Dark Forest: zkSNARK space warfare strategy game    
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains 
Zcash: PrivacyProtecting Digital Currency    (SNARKs) 
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains / Zcash: PrivacyProtecting Digital Currency 
Community Chat    
Forums    
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains 
Monero: Private Digital Currency    (Bulletproofs) 
Mina Protocol: A ConstantSize Blockchain    (recursive SNARKs) 
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains / Mina Protocol: A ConstantSize Blockchain 
YouTube introduction    
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains 
Grin: Simple, privacyfocused, scalable MimbleWimble chain implementation    (Bulletproofs) 
Beam: Private and Scalable Coin based on MimbleWimble    
Namada: Asset Agnostic, Multichain privacy    (SNARKs) 
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains / Namada: Asset Agnostic, Multichain privacy 
Youtube Introduction    
Specs Documentation    
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains 
IronFish: PrivacyPreserving RegulatoryFriendly Cryptocurrency Platform    (Groth16 zkSNARKs) 

Whitepaper    
Community Chat    
YouTube Channel    
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains 
succinct: Write ZKPs with Rust using SP1, a performant, opensource zkVM and generate proofs in 1click on Succinct’s decentralized prover network    

document    
Awesome zero knowledge proofs (zkp) / Applications / Other blockchains 
Valida： Valida is a STARKbased virtual machine，The VM has a RISCinspired instruction set，The VM is designed to be customizable. It can easily be extended to include an arbitrary number of userdefined instructions  279  3 months ago  
Nexus zkVM: Nexus is a modular, extensible, opensource, highlyparallelized, proveroptimized, contributorfriendly, zkVM written in Rust, focused on performance and security.    
Awesome zero knowledge proofs (zkp) / Applications / Nonblockchain 
awesomezkml  790  2 months ago  ZeroKnowledge Machine Learning  
zkemail    
Proof of Passport  321  2 days ago  
Semaphore  901  9 days ago  
Awesome zero knowledge proofs (zkp) / Bulletproofs 
Introduction and collection of resources    
From Zero (Knowledge) to Bulletproofs  156  over 1 year ago  a long and very nice gradual explanation 
Bulletproofs    succinct and complete description of the protocol 
Awesome zero knowledge proofs (zkp) / Bulletproofs / Try 
Implementation in Haskell  533  almost 2 years ago  
Implementation in Rust  1,035  3 months ago  
Implementation in C  1,120  17 days ago  
Awesome zero knowledge proofs (zkp) / Bulletproofs / Proof system implementations 
Programmable Constraint Systems for Bulletproofs    
Awesome zero knowledge proofs (zkp) / Bulletproofs / Halo 
Halo: Recursive bullet proof composition    
Awesome zero knowledge proofs (zkp) / SNARKs / Learn 
Introduction to zkSNARKs with examples    
What are zkSNARKs (Zcash blog)    
BabySNARK The simplest possible SNARK for NP. You know, for kids!  229  5 months ago  
The MoonMath Manual to zkSNARKs (A free learning resource for beginners to experts)    
Why and How zkSNARK Works 1: Introduction & the Medium of a Proof    
Why and How zkSNARK Works 2: Proving Knowledge of a Polynomial    
Why and How zkSNARK Works 3: Noninteractivity & Distributed Setup    
Why and How zkSNARK Works 4: GeneralPurpose Computation    
Why and How zkSNARK Works 5: Variable Polynomials    
Why and How zkSNARK Works 6: Verifiable Computation Protocol    
Why and How zkSNARK Works 7: Constraints and Public Inputs    
Why and How zkSNARK Works 8: ZeroKnowledge Computation    
ZkStudyClub Part 1: Polynomial Commitments with Justin Drake    
ZkStudyClub Part 2: Polynomial Commitments with Justin Drake    
ZkStudyClub Part 3: Polynomial Commitments with Justin Drake    
Explaining SNARKs Part I: Homomorphic Hidings    
Explaining SNARKs Part II: Blind Evaluation of Polynomials    
Explaining SNARKs Part III: The Knowledge of Coefficient Test and Assumption    
Explaining SNARKs Part IV: How to make Blind Evaluation of Polynomials Verifiable    
Explaining SNARKs Part V: From Computations to Polynomials    
Explaining SNARKs Part VI: The Pinocchio Protocol    
Explaining SNARKs Part VII: Pairings of Elliptic Curves    
Part 1: Quadratic Arithmetic Programs: from Zero to Hero    
Part 2: Exploring Elliptic Curve Pairings    
Part 3: ZkSNARKs: Under the Hood    
zkSNARKs in a Nutshell    
Groth16 protocol    (original paper) 
Zcash Sapling protocol spec  274  10 days ago  (very useful as detailed cheatsheet of all cryptography used) 
Circom    
Halo2    
Awesome zero knowledge proofs (zkp) / SNARKs / Try 
libsnark (C++)  1,823  8 months ago  
Awesome zero knowledge proofs (zkp) / SNARKs / Try / libsnark (C++) 
great tutorial  189  over 3 years ago  
Awesome zero knowledge proofs (zkp) / SNARKs / Try 
bellman (rust)  1,004  3 months ago  
Awesome zero knowledge proofs (zkp) / SNARKs / Try / bellman (rust) 
demo circuit  8  about 6 years ago  
Awesome zero knowledge proofs (zkp) / SNARKs / Try 
jsnark (Java, bindings to libsnark)  208  almost 2 years ago  
snarky (Ocaml, from O(1) labs, team behind Mina Protocol)  495  19 days ago  
zokrates (toolbox for zkSNARKs on Ethereum)  1,816  2 months ago  

ZoKrates Remix plugin tutorial    
Zero Knowledge Proof Application Demo, with libsnarks, truffle and docker    
Awesome zero knowledge proofs (zkp) / SNARKs / Try 
ethsnarks by HarryR (alternative toolkit for viable zkSNARKS on Ethereum, Web, Mobile and Desktop)  240  about 4 years ago  
gnark  library for zeroknowledge proof protocols written in Go  1,411  4 days ago  
circom and snarkjs tutorial  472  over 1 year ago  

Rollup tutorial using Circom and SnarkJS by Ying Tong  30  about 5 years ago  
A circuit and zksnark implement using Circom and SnarkJS by Luozhu  61  almost 2 years ago  
Awesome zero knowledge proofs (zkp) / SNARKs / Try 
SnarkyJS  a TypeScript framework for writing zkSNARKs in the browser and developing Snapps for Mina Protocol by O(1) labs  WIP  507  1 day ago  
Awesome zero knowledge proofs (zkp) / SNARKs / Scaling the prover 
DIZK: Java library for distributed zero knowledge proof systems with Apache Spark  232  over 2 years ago  (see the ) 
SnarkyGPU: distributed GPU based zkSNARKs prover  23  about 6 years ago  (work in progress) 
Awesome zero knowledge proofs (zkp) / SNARKs / MultiParty Ceremony (MPC) for Trusted Setup 
“Powers of Tau” protocol for scalable generation of structured reference string    
Implementation of ZCash MPC Ceremony, Part I: "Powers of Tau"  140  over 3 years ago  
Awesome zero knowledge proofs (zkp) / SNARKs / MultiParty Ceremony (MPC) for Trusted Setup / Implementation of ZCash MPC Ceremony, Part I: "Powers of Tau" 
Archived independent implementation in Go  33  over 6 years ago  
Awesome zero knowledge proofs (zkp) / SNARKs / MultiParty Ceremony (MPC) for Trusted Setup 
Implementation of ZCash MPC Ceremony, Part I: "Sapling Circuit"  30  over 1 year ago  
Awesome zero knowledge proofs (zkp) / SNORKs / Sonic 
Introducing Sonic: A Practical zkSNARK with a Nearly Trustless Setup    
Sonic: ZeroKnowledge SNARKs from LinearSize Universal and Updateable Structured Reference Strings    
Sonic MPC implementation by Matter Labs  23  over 5 years ago  
Awesome zero knowledge proofs (zkp) / SNORKs / PLONK 
Awesome PLONK  226  about 2 months ago  : A curated list of awesome things related to plonk proof system 
Understanding PLONK by Vitalik Buterin    
Ignition: Trusted Setup MPC Ceremony for PLONK    
Permutations over Lagrangebases for Oecumenical Noninteractive arguments of Knowledge    
Awesome zero knowledge proofs (zkp) / SNORKs / Marlin 
A Marlin is One of the Fastest SNARKs in the Ocean    
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS    
Awesome zero knowledge proofs (zkp) / STARKS / Learn 
STARK @ Home {video playlist}    
Awesome zero knowledge proofs (zkp) / STARKS / FRISTARKs 
Transparent Succinct Arguments by Alessandro Chiesa (Oct 2018)    
State of the STARK by Eli BenSasson (Devcon IV, Oct 2018)    ( ) 
Introduction to ZKSTARKs by [email protected]    
Part I: Proofs with Polynomials    
Part II: Thank Goodness It's FRIday    
Part III: Into the Weeds    
The STARK paper    
libstark implementation  503  over 1 year ago  
Awesome zero knowledge proofs (zkp) / STARKS / SuperSonic 
Transparent SNARKs from DARK Compilers (Dec 2019)    
Introducing Sonic: A Practical zkSNARK with a Nearly Trustless Setup    
Awesome zero knowledge proofs (zkp) / STARKS / Fractal 
Fractal: PostQuantum and Transparent Recursive Proofs from Holography    

Awesome zero knowledge twitter list    
Zeroknowledge podcast    
ZKProof, an academic and industry initiative for standardizing Zero Knowledge Proofs    