v220921

Kurt Pan’s Awesome Zero-Knowledge Proofs (2022)

Textbooks & Courses

• Proofs, Arguments, and Zero-Knowledge Justin Thaler

• CS294: Foundations of Probabilistic Proofs (F2020) Alessandro Chiesa

• Foundations and Frontiers of Probabilistic Proofs Alessandro Chiesa , Tom Gur

• The 9th BIU Winter School on Cryptography: Zero Knowledge

• 0xPARC’s ZK Learning Group #2: All Materials

• An Intensive Introduction to Cryptography (Lecture 14) Boaz Barak

• The Foundations of Cryptography - Volume 1 Chapter 4, Oded Goldreich

Surveys

• Lectures on NIZKs: A Concrete Security Treatment Mihir Bellare

• zk-SNARKs: A Gentle Introduction Anca Nitulescu

• A Review of zk-SNARKs CLKL

• Why and How zk-SNARK Works: Definitive Explanation Maksym Petkus

• zkSNARKs in a Nutshell Christian Reitwießner

• On Σ-protocols Ivan Damgard

• How To Simulate It – A Tutorial on the Simulation Proof Technique , Section 5 , Yehuda Lindell

• A survey of elliptic curves for proof systems AHG22

• 简洁非交互零知识证明综述 李威翰,张宗洋,周子博,邓燚22

Other Aggregators

• Zero Knowledge Canon

• ZKP Knowledge Base

• Awesome Zero Knowledge

• ZK Research

• zkp.science

• matter-labs: Awesome zero knowledge proofs (zkp)

• awesome-zkevm

• Awesome PLONK

• Awesome HALO2

• Zero-Knowledge Proofs Starter Pack

Papers

2022

• VERI-ZEXE

• Nova (Crypto 2022)

• Gimini (Eurocrypt 2022)

• Caulk

• ECLIPSE

2021

• Brakedown

• Limbo (CCS 2021)

• QuickSilver (CCS 2021)

• Mystique (USENIX Security 2021)

2020 and before

• Pinocchio (2013)

• C∅C∅ (2015)

• GGPR13 (2013)

• Groth16 (2016)

• Aurora (2018)

• STARK (2018)

• Sonic (2019)

• Marlin (2019)

• PLONK (2019)

• REDSHIFT (2019)

• Halo (2019)

• FRACTAL (2020)

• Spartan (2020)

• Quarks (2020)

• ZEXE (S&P 2020)

Index	Title	Author
IKO07	Efficient Arguments without Short PCPs	Yuval Ishai, Eyal Kushilevitz, and Rafail Ostrovsky
GGPR13	Quadratic Span Programs and Succinct NIZKs without PCPs	Rosario Gennaro, Craig Gentry, Bryan Parno, and Mariana Raykova
Groth16	On the Size of Pairing-based Non-interactive Arguments	Jens Groth
Marlin/CHM+19	Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS	Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, and Nicholas Ward
PlonK/GWC19	PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge	Ariel Gabizon, Zachary Williamson, and Oana Ciobotaru

Posts

• Interactive zero knowledge 3-colorability demonstration

• Demonstration of Zero-Knowledge Proof for Sudoku Using Standard Playing Cards

• Zero Knowledge Proofs: An illustrated primer

• A Primer on Cryptographic Proof Systems

• Introduction to zk-SNARKs

• Zero-Knowledge Proofs for Engineers: Introduction, A look at the Dark Forest ZKPs

• The Hunting of the SNARK: 1, 2, 3

• KZG polynomial commitments

• Inner Product Arguments

• Anatomy of a STARK

• A Cambrian Explosion of Crypto Proofs Eli Ben-Sasson

• Vitalik Buterin’s series on SNARKs: 1 2 3 and STARKs: 1 2 3, PLONK

• The Art of Zero Knowledge

  • Zero-Knowledge Proofs for Set Membership

  • The Unreasonable Power of the Sum-Check Protocol

  • Inductive Proof Systems and Recursive SNARKs

  • Zero-Knowledge Proofs from Information-Theoretic Proof Systems : Part I, Part II

  • Playing with Randomness and Interactions to Prove Theorems

  • HashWires: Range Proofs from Hash Functions

  • Zebra: Zcash Zero-Knowledge Proofs at Scale

  • Setup Ceremonies

  • Darlin: Proof-carrying data based on Marlin

  • Practical SNARK-based VDF

• StarkWare’s STARK Math blog series:

  • STARK Math: The Journey Begins

  • Arithmetization : I, II

  • Low Degree Testing

  • A Framework for Efficient STARKs

• A Practical Guide To Building Zero Knowledge dApps

Videos & Podcasts

• Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED

• Introduction to Zero Knowledge Proofs Elena Nadolinski

• Dystopia Labs: Demystifying Zero Knowledge Proofs

• ZK HACK

• zkSummit

• zkStudyClub

• zkSessions

• ZKProof Workshop : 4,3,2,1

• ZK Podcasts

Docs

• ZKDocs

• ZKProof Community Reference document

• ZK Jargon Decoder

• zkEVM (Community Edition) Documentation

• The halo2 Book

• ZoKrates

• The Noir Programming Language

Libraries

• https://github.com/orgs/zkcrypto/repositories

• zkp libraries in Rust

• arkworks Rust

• bellman Rust

• halo2 Rust

• Plonky2 Rust

• Winterfell Rust

• jellyfish Rust

• libsnark C++

• Circom JS

• snarkjs JS

• zkREPL

Name	Language	Features
arkworks	Rust	full
libsnark	C++	gadget

Projects

• zkRollup Directory

• Mina

• Aleo

• RISC Zero

Newsletters

• zkMesh

• reSync: zkSync Biweekly

• StarkNet Roundup

• Kurt Pan’s Crypto Weekly

Programs & Organizations

• zkHack

• zeroknowledge.fm

• ZKProof Standards

• 0xPARC

• ZPrize