Lecture Videos | Advanced Topics in Cryptography | Electrical Engineering and Computer Science | MIT OpenCourseWare

Lecture Videos

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2

Lecture 2: Doubly Efficient Interactive Proofs, Part 1

Lecture 2: Doubly Efficient Interactive Proofs, Part 2

Lecture 3: Continuation of the GKR Protocol and Corollaries

Lecture 4: PCP via GKR and Interactive Arguments, Part 1

Lecture 4: PCP via GKR and Interactive Arguments, Part 2

Lecture 5: The Kilian-Micali Protocol, Part 1

Lecture 5: The Kilian-Micali Protocol, Part 2

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1

Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1

Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 2

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1

Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 2

Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 1

Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 2

Course Info

Instructor

Prof. Yael Tauman Kalai

Departments

Electrical Engineering and Computer Science

As Taught In

Fall 2023

Level

Graduate

Course Info

Instructor

Prof. Yael Tauman Kalai

Departments

Electrical Engineering and Computer Science

As Taught In

Fall 2023

Level

Graduate

Topics

Engineering
- Computer Science
  - Cryptography

Topics

Learning Resource Types

Lecture Videos

Download Course

MIT Open Learning

Over 2,500 courses & materials

Freely sharing knowledge with learners and educators around the world. Learn more

© 2001–2026 Massachusetts Institute of Technology

Accessibility

Creative Commons License

Terms and Conditions

Proud member of:

© 2001–2026 Massachusetts Institute of Technology