awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
https://github.com/matter-labs/awesome-zero-knowledge-proofs
Last synced: 4 days ago
JSON representation
-
General introduction
- On Interactive Proofs and Zero-Knowledge: A Primer
- A Non-Mathematical Introduction to Zero Knowledge Proof - a ZKP primer for those who flunked algebra
- ZK whiteboard sessions by ZK Hack
- 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
- https://zkp.science
- Zero-Knowledge Proofs Starter Pack
- Zero Knowledge Proofs: An illustrated primer by Matthew Green
- Demystifying zero-knowledge proofs - heavy, awesome introduction into underlying cryptography)
- Introduction to SNARKs/STARKs by Eli Ben-Sasson
- ZK Basics Cheatsheet - a "for (not too much) dummies" poster, trying to not miss core concepts despite the simplified approach and topics selection
- Part 1: What is a SNARK?
- Part 2: Building a SNARK (Part 1):
-
Applications
-
Other blockchains
- Mina Protocol: A Constant-Size Blockchain
- Forums
- YouTube introduction
- Monero: Private Digital Currency
- Zcash: Privacy-Protecting Digital Currency
- Community Chat
- Grin: Simple, privacy-focused, scalable MimbleWimble chain implementation
- Beam: Private and Scalable Coin based on MimbleWimble
- Zcash: Privacy-Protecting Digital Currency
- Monero: Private Digital Currency
- IronFish: Privacy-Preserving Regulatory-Friendly Cryptocurrency Platform - SNARKs)
- Whitepaper
- Community Chat
- YouTube Channel
- Community Chat
- Namada: Asset Agnostic, Multichain privacy
- Youtube Introduction
- Specs Documentation
- Youtube Introduction
-
Ethereum
- ZK Sync - labs.io)
- Dark Forest: zkSNARK space warfare strategy game
- ZK SDK
- Gnosis dFusion: DEX on SNARKs
- Loopring DEX Protocol (v3)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
- ZK Sync - labs.io)
-
Non-blockchain
-
-
Courses
-
Bulletproofs
-
Non-blockchain
- Introduction and collection of resources
- Bulletproofs - succinct and complete description of the protocol
-
Proof system implementations
-
Halo
-
-
SNARKs
-
Learn
- Introduction to zk-SNARKs with examples
- What are zk-SNARKs (Zcash blog)
- The MoonMath Manual to zk-SNARKs (A free learning resource for beginners to experts)
- Why and How zk-SNARK Works 1: Introduction & the Medium of a Proof
- Why and How zk-SNARK Works 2: Proving Knowledge of a Polynomial
- Why and How zk-SNARK Works 3: Non-interactivity & Distributed Setup
- Why and How zk-SNARK Works 4: General-Purpose Computation
- Why and How zk-SNARK Works 5: Variable Polynomials
- Why and How zk-SNARK Works 7: Constraints and Public Inputs
- Why and How zk-SNARK Works 8: Zero-Knowledge 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: Zk-SNARKs: Under the Hood
- zkSNARKs in a Nutshell
- Groth16 protocol
- Zcash Sapling protocol spec - sheet of all cryptography used)
- Zcash Sapling protocol spec - sheet of all cryptography used)
- Circom
- Halo2
-
Try
-
Multi-Party Ceremony (MPC) for Trusted Setup
-
-
Social media
-
SNORKs
-
Sonic
-
PLONK
-
Marlin
-
-
STARKS
-
Learn
-
FRI-STARKs
- Transparent Succinct Arguments by Alessandro Chiesa (Oct 2018)
- State of the STARK by Eli Ben-Sasson (Devcon IV, Oct 2018)
- Introduction to ZK-STARKs by [email protected]
- Part I: Proofs with Polynomials
- Part II: Thank Goodness It's FRI-day
- Part III: Into the Weeds
- The STARK paper
- starkware.co
- Part I: Proofs with Polynomials
- Part II: Thank Goodness It's FRI-day
- Part III: Into the Weeds
-
SuperSonic
-
Fractal
-
Categories
Sub Categories