Advanced Topics in Cryptography

Lecture 1: Interactive Proofs and the Sum-Check Protocol

Topics

• Definition of interactive proofs (IP)
• The sum-check protocol.
• Interactive proof for #SAT

Readings

J. Thaler, “Proofs, Arguments, and Zero-Knowledge (PDF),” chapters 3.1,  4.1, and 4.2.

Lecture Videos

Part 1

Part 2