6.5630 | Fall 2023 | Graduate

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

Course Info

As Taught In
Fall 2023
Level
Learning Resource Types
Lecture Videos