Articles & Tutorials
Get Started
- Zero-knowledge proof: Wikipedia
- What are zero-knowledge proofs?: Ethereum.org
- Zero-Knowledge Proofs: Binance
- Zero-Knowledge Proof: How it Works, Use Cases & Applications
- Prerequisite understanding questions
- ZKP Overview: History, Proving Systems, Circuits, Compilers
Introduction
- Understanding ZKPs Through Illustrated Examples
- Zero Knowledge Proofs: An Illustrated Primer
- ZKPs for Engineers: Introduction
- Privacy in Cryptocurrencies: An Overview
- What is layer 2?
- What are zk-SNARKs?
- Know The Difference Between Zk-SNARKS Vs. Zk-STARKS
- Polygon’s Zero Knowledge Strategy Explained
Introduction to Layer 2
- An Incomplete Guide to Rollups
- Why rollups + data shards are the only sustainable solution for high scalability
- Introducing zkSync: the missing link to mass adoption of Ethereum
- Validity Proofs vs. Fraud Proofs
- A Pre-consensus Mechanism by Leohio
Vitalik's blogs for STARKs
Explaining STARKs
- Part I: STARK Overview
- Part II: Basic Tools
- Part II: FRI
- Part IV: The STARK Polynomial IOP
- Part V: A Rescue-Prime STARK
- Part VI: Speeding Things Up
- Brainfuck STARK Tutorial
Explaining SNARKs
- Part I: Homomorphic Hidings
- Part II: Blind Evaluation of Polynomials
- Part III: The Knowledge of Coefficient Test and Assumption
- Part IV: How to make Blind Evaluation of Polynomials Verifiable
- Part V: From Computations to Polynomials
- Part VI: The Pinocchio Protocol
- Part VII: Pairings of Elliptic Curves