Awesome ZKP
Awesome ZKP
Search
Awesome ZKP
Awesome ZKP

Awesome ZKP

Bilingual ZK Community. One-Stop Database
Bilingual ZK Community. One-Stop Database
 
 
Glossary｜术语表
Glossary｜术语表
 

Popularizing｜科普

Popularizing｜科普文章
A Developer’s Guide to the zkGalaxy
A Developer’s Guide to the zkGalaxy
A Developer’s Guide to the zkGalaxy
零知识证明开发人员指南
Ryan Spoule
An Introduction to Zero-Knowledge Machine Learning (ZKML)
An Introduction to Zero-Knowledge Machine Learning (ZKML)
An Introduction to Zero-Knowledge Machine Learning (ZKML)
零知识机器学习（ZKML）介绍
Worldcoin
 

Education｜教育

Education｜教育
MIT IAP 2023
MIT IAP 2023
ZKP Mooc
ZKP Mooc
Applied ZK Learning Group
Applied ZK Learning Group
ZK Whiteboard Sessions
ZK Whiteboard Sessions
 

Technology Stacks｜技术栈

Primitives｜原语

Primitives｜原语
Math
3
Cryptography
1
IOP
5
PCS
4
FFT｜快速傅立叶变换
MSM｜多标量乘法
Group｜群
Pairings｜配对
IOP｜交互式谕示证明
Poly-IOP｜交互式概率可验证证明
PCP｜概率可验证证明
Linear-PCP｜线性概率可验证证明
IPCP｜交互式概率可验证证明
KZG
FRI
IPA
DARK

Proving Systems｜证明系统

Proving Systems｜证明系统
STARK
STARK IOP
Vigro
deVirgo
Placeholder
Pickles
Kimchi
Marlin
Groth 16
Linear-PCP
Plonk
Plonky2
Plonk IOP
Halo
Halo2(Zcash)
Plonk IOP
Halo2(Scroll)
Plonk IOP
dePlonk
UltraPlonk
HyperPlonk
HyperPlonk IOP
Bulletproofs
Sonic
SuperSonic
FFLonk
NOVA
GKR
Caulk
 

Acceleration｜硬件加速

Acceleration
PipeZK
PipeZK
CycloneMSM
CycloneMSM
 

Library / Repo｜库

Library / Repo
Repo
Proving Systems
Team
Language
Github
bulletproofs
Bulletproofs
dalek
rust
https://github.com/dalek-cryptography/bulletproofs
groth16
Groth 16
arkworks
rust
https://github.com/arkworks-rs/groth16
bellman
Groth 16
zkcrypto
rust
https://github.com/zkcrypto/bellman
gnark
Groth 16
Plonk
Consensys
Go
https://github.com/consensys/gnark
snarkjs
Groth 16
Plonk
iden3
Javascript
https://github.com/iden3/snarkjs
halo2
Halo2(Zcash)
ZCash
Rust
https://github.com/zcash/halo2
snarkyjs
Kimchi
O(1) Labs
Javascript
https://github.com/o1-labs/snarkyjs
marlin
Marlin
arkworks
rust
https://github.com/arkworks-rs/marlin
libsnark
Plonk
SCIPR Labs
C++
https://github.com/scipr-lab/libsnark

Tools | 工具

Tools | 工具
Name
Intro
Tags
Github
zkalc
zkalc
A cryptographic calculator
https://zka.lc/
https://github.com/asn-d6/zkalc
 

Papers｜论文

Papers｜论文
Name
Author
Date
Download
Citation
Team
The Knowledge Complexity of Interactive Proof-systems
S Goldwasser
S Micali
C Rackoff
1985
https://dl.acm.org/doi/pdf/10.1145/22145.22178
GMR85
Non-interactive Zero-knowledge and Its Applications
Manuel Blum
Paul Feldman
Silvio Micali
1988
https://dl.acm.org/doi/pdf/10.1145/62212.62222
BFM88
Short Pairing-based Non-interactive Zero-Knowledge Arguments
Jens Groth
2010
https://www.iacr.org/archive/asiacrypt2010/6477323/6477323.pdf
Groth10
From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge
Nir Bitansky
Ran Canetti
Alessandro Chiesa
2011
https://eprint.iacr.org/2011/443.pdf
Quadratic Span Programs and Succinct NIZKs without PCPs
Rosario Gennaro
Craig Gentry
Bryan Parno
2012
https://eprint.iacr.org/2012/215.pdf
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno
Jon Howell
Craig Gentry
Mariana Raykova
2013
https://eprint.iacr.org/2013/279.pdf
On the Size of Pairing-based Non-interactive Arguments?
Jens Groth
2016
https://eprint.iacr.org/2016/260.pdf
Groth16
Bulletproofs: Short Proofs for Confidential Transactions and More
Benedikt B¨unz
Jonathan Bootle
Dan Boneh
Andrew Poelstra
2017
https://eprint.iacr.org/2017/1066.pdf
BBBPWM17
Scalable, transparent, and post-quantum secure computational integrity
Eli Ben-Sasson
Iddo Bentov
Yinon Horesh
Michael Riabzev
2018
https://eprint.iacr.org/2018/046.pdf
BBHR18
Starknet
Starknet
Halo: Recursive Proof Composition without a Trusted Setup
Sean Bowe
Jack Grigg
Daira Hopwood
2019
https://eprint.iacr.org/2019/1021.pdf
PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
Ariel Gabizon
Zachary J. Williamson
Oana Ciobotaru
2019
https://eprint.iacr.org/2019/953.pdf
Aztec
Aztec
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
Mary Maller
Sean Bowe
Markulf Kohlweiss
Sarah Meiklejohn
2019
https://eprint.iacr.org/2019/099.pdf
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
Alessandro Chiesa
Yuncong Hu
Mary Maller
Pratyush Mishra
2019
https://eprint.iacr.org/2019/1047.pdf
SuperSonic: Transparent SNARKs from DARK Compilers
Benedikt B¨unz
Ben Fisch
Alan Szepieniec
2019
https://eprint.iacr.org/2019/1229.pdf
PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture
Ye Zhang
Shuo Wang
Xian Zhang
2021
https://dl.acm.org/doi/abs/10.1109/ISCA52012.2021.00040
Scroll
Scroll
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates
Binyi Chen
Benedikt B¨unz
Dan Boneh
Zhenfei Zhang
2022
https://eprint.iacr.org/2022/1355.pdf
Espresso
Espresso
Scroll
Scroll
SuperNova: Proving universal machine executions without universal circuits
Abhiram Kothapalli
Srinath Setty
2022
https://eprint.iacr.org/2022/1758.pdf
FPGA Acceleration of Multi-Scalar Multiplication: CycloneMSM
Kaveh Aasaraai
Don Beaver
Emanuele Cesena
2022
https://eprint.iacr.org/2022/1396.pdf
PipeMSM: Hardware Acceleration for Multi-Scalar Multiplication
Charles. F. Xavier
2022
https://eprint.iacr.org/2022/999.pdf
Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets
Alex Ozdemir
Dan Boneh
2022
https://eprint.iacr.org/2021/1530.pdf
 

Application Protocols｜应用协议

Application Protocols｜应用协议
Aztec
Aztec
Aztec
Aleo
Aleo
Aleo
zkSync
zkSync
zkSync
PSE zkEVM
PSE zkEVM
PSE zkEVM
Scroll
Scroll
Scroll
Polygon zkEVM
Polygon zkEVM
Polygon zkEVM
Consensys zkEVM
Consensys zkEVM
Consensys zkEVM
Taiko
Taiko
Taiko
Starknet
Starknet
Starknet
Sismo
Sismo
Sismo
SealCred
SealCred
SealCred
Unirep
Unirep
Unirep
Semaphore
Semaphore
Semaphore
Interep
Interep
Interep
Axiom
Axiom
Axiom
=nil; Foundation
=nil; Foundation
=nil; Foundation
Mina
Mina
Mina
Risc Zero
Risc Zero
Risc Zero
Renegade
Renegade
Renegade
Slush
Slush
Slush
Worldcoin
Worldcoin
Worldcoin
RockyBot
Espresso
Espresso
Espresso
Ingonyama
Ingonyama
Ingonyama
Sovereign
Sovereign
Sovereign
 
 

Reference｜参考资料

  • Matter Labs:
  • Ventail: