awesome-zero-knowledge-proofs
by matter-labs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
AI summary
Zero-Knowledge Proof resource
A curated list of resources and knowledge on Zero-Knowledge Proofs for developers to learn about this cryptographic technique.
- stars
- 5.3K
- forks
- 850
- watching
- 185
- awesome lists
- 8
- entries
- 140
What's in the list
140 links in 44 sections, with live GitHub stats.activeno commit in 2y
General introduction
- Demystifying zero-knowledge proofs
( ) (math-heavy, awesome introduction into underlying cryptography)
ZK Basics Cheatsheet
a "for (not too much) dummies" poster, trying to not miss core concepts despite the simplified approach and topics selection
- A Non-Mathematical Introduction to Zero Knowledge Proof
a ZKP primer for those who flunked algebra
Courses
Use cases
Awesome Privacy on BlockchainsApplications / Ethereum
- ZK Sync
by
Applications / Ethereum / ZK Sync
Applications / Ethereum
SNARK-based permissioned database: rollup by BarryWhitehat
Gnosis dFusion: DEX on SNARKs
Loopring DEX Protocol (v3)
zkPoD: A Practical Decentralized System for Data ExchangeApplications / Other blockchains
Applications / Other blockchains / Zcash: Privacy-Protecting Digital Currency
Applications / Other blockchains
- Monero: Private Digital Currency
(Bulletproofs)
- Mina Protocol: A Constant-Size Blockchain
(recursive SNARKs)
Applications / Other blockchains / Mina Protocol: A Constant-Size Blockchain
Applications / Other blockchains
Applications / Other blockchains / Namada: Asset Agnostic, Multichain privacy
Applications / Other blockchains
- IronFish: Privacy-Preserving Regulatory-Friendly Cryptocurrency Platform
(Groth16 zk-SNARKs)
Applications / Other blockchains / IronFish: Privacy-Preserving Regulatory-Friendly Cryptocurrency Platform
Applications / Other blockchains
Applications / Other blockchains / succinct: Write ZKPs with Rust using SP1, a performant, open-source zkVM and generate proofs in 1-click on Succinct’s decentralized prover network
Applications / Other blockchains
Valida： Valida is a STARK-based virtual machine，The VM has a RISC-inspired instruction set，The VM is designed to be customizable. It can easily be extended to include an arbitrary number of user-defined instructionsApplications / Non-blockchain
awesome-zkml
Zero-Knowledge Machine Learning -
Proof of Passport
SemaphoreBulletproofs
From Zero (Knowledge) to Bulletproofs
a long and very nice gradual explanation
- Bulletproofs
succinct and complete description of the protocol
Bulletproofs / Try
Implementation in Haskell
Implementation in Rust
Implementation in CBulletproofs / Proof system implementations
Bulletproofs / Halo
SNARKs / Learn
- Groth16 protocol
(original paper)
Zcash Sapling protocol spec
(very useful as detailed cheat-sheet of all cryptography used)
BabySNARK- The simplest possible SNARK for NP. You know, for kids!SNARKs / Try
libsnark (C++)SNARKs / Try / libsnark (C++)
great tutorialSNARKs / Try
bellman (rust)SNARKs / Try / bellman (rust)
demo circuitSNARKs / Try
jsnark (Java, bindings to libsnark)
snarky (Ocaml, from O(1) labs, team behind Mina Protocol)
zokrates (toolbox for zkSNARKs on Ethereum)SNARKs / Try / zokrates (toolbox for zkSNARKs on Ethereum)
SNARKs / Try
ethsnarks by HarryR (alternative toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop)
gnark - library for zero-knowledge proof protocols written in Go
circom and snarkjs tutorialSNARKs / Try / circom and snarkjs tutorial
Roll-up tutorial using Circom and SnarkJS by Ying Tong
A circuit and zk-snark implement using Circom and SnarkJS by LuozhuSNARKs / Try
SNARKs / Scaling the prover
SnarkyGPU: distributed GPU based zkSNARKs prover
(work in progress)
SNARKs / Multi-Party Ceremony (MPC) for Trusted Setup
SNARKs / Multi-Party Ceremony (MPC) for Trusted Setup / Implementation of ZCash MPC Ceremony, Part I: "Powers of Tau"
Archived independent implementation in GoSNARKs / Multi-Party Ceremony (MPC) for Trusted Setup
SNORKs / Sonic
SNORKs / PLONK
Awesome PLONK
: A curated list of awesome things related to plonk proof system
SNORKs / Marlin
STARKS / Learn
STARKS / FRI-STARKs
libstark implementationSTARKS / SuperSonic
STARKS / Fractal
Social media
Nothing in this list matches your filter.
Featured in 8 awesome lists
Each link jumps to the spot where the list mentions awesome-zero-knowledge-proofs.
