- Prerequisite understanding questions
- Introduction
- Vitalik's blogs for STARKs
- zkSNARKs in a nutshell
- Comments on paper: zkSNARKs in a Nutshell by Aaron
- An approximate introduction to how zk-SNARKs are possible
- 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
- Important landmarks for zk-SNARKs
- 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
- Zcash: a privacy-protecting, digital currency
- Manta: a Plug and Play Private DeFi Stack
- Mina: a payment system using a succinct blockchain
- SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges
- CoinJoin: an open-source way to mix bitcoins
- Tornado Cash: Introducing Private Transactions On Ethereum
- ZkLink: cross chain amm swap protocol powered by ZK-Rollup
- Mystiko Network: Anonymous Protocol for a Cross-Chain Network
- Penumbra: a shielded, cross-chain network
- Zecrey: Bringing Cross-chain Privacy to Digital Assets
- StealthDrop: Anonymous Airdrops using ZK proofs
- Immutable X: the first layer-2 scaling solution for NFTs on Ethereum
- Understanding PLONK
- Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge