Skip to content

A curated list of awesome things related to learning zero knowledge proofs

License

Notifications You must be signed in to change notification settings

0xKarl98/awesome-zero-knowledge-proofs

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 

Repository files navigation

Awesome zero knowledge proofs (zkp)

Awesome A curated list of awesome things related to learning zero knowledge proofs

Contents

General introduction

Zero-Knowledge Proofs Starter Pack: alternative introductory list for beginners (more videos).

More complete curated list of implementations and scientific ressources: https://zkp.science

Applications

Ethereum

Other blockchains

Comparison of the most popular zkp systems

SNARKs STARKs Bulletproofs
Algorithmic complexity: prover O(N * log(N)) O(N * poly-log(N)) O(N * log(N))
Algorithmic complexity: verifier ~O(1) O(poly-log(N)) O(N)
Communication complexity (proof size) ~O(1) O(poly-log(N)) O(log(N))
- size estimate for 1 TX Tx: 200 bytes, Key: 50 MB 45 kB 1.5 kb
- size estimate for 10.000 TX Tx: 200 bytes, Key: 500 GB 135 kb 2.5 kb
Ethereum/EVM verification gas cost ~600k (Groth16) ~2.5M (estimate, no impl.) N/A
Trusted setup required? YES 😒 NO 😄 NO 😄
Post-quantum secure NO 😒 YES 😄 NO 😒
Crypto assumptions Strong 😒 Collision resistant hashes 😄 Discrete log 😏

SNARKs

Learn

Get started:

Zcash blog series:

Vitalik Buterin's blog series on SNARKs:

Protocol descriptions:

Try

Scaling the prover

Multi-Party Ceremony (MPC) for Trusted Setup

Sonic

STARKS

Introduction:

Vitalik Buterin's blog series on STARKs:

A Hands-On Tutorial for Zero-Knowledge Proofs by Shir Peled (StarkWare):

Academic ressources:

More ressources available at starkware.co

Bulletproofs

Proof system implementations:

Social media

Stay tuned!

About

A curated list of awesome things related to learning zero knowledge proofs

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published