Home > Resources > books > Thaler-Proofs-Arguments-ZK

Proofs, Arguments, and Zero-Knowledge

URL: https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf

Summary

The definitive textbook on zero-knowledge proofs. Covers interactive proofs, sumcheck protocol, GKR, polynomial commitments, SNARKs, and STARKs from first principles. Free PDF available from the author. Essential reading for understanding the theory behind modern ZKP systems.

Topics Covered

• Sumcheck protocol and GKR
• Polynomial interactive oracle proofs (PIOPs)
• Commitment schemes (KZG, IPA, FRI)
• SNARK constructions
• STARK constructions

Resources

• PDF: https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf

Related resources

• Algebraic Methods for Interactive Proof Systems (paper, 1992)
• The Knowledge Complexity of Interactive Proof Systems (GMR85) (paper, 1985)