Learn · MIT OpenCourseWare

A woman lecturing standing in front of the blackboard with a chalk in her right hand, pointing to the blackboard

Course6.563017 lectures

Advanced Topics in Cryptography

Prof. Yael Tauman Kalai · Massachusetts Institute of Technology

Start with lecture 1 At MIT OpenCourseWare

About

This course is about the evolution of proofs in computer science. We will learn about the power of interactive proofs, multi-prover interactive proofs, and probabilistically checkable proofs. We will then show how to use cryptography to convert these powerful proof systems into computationally sound non-interactive arguments (SNARGs).

Lectures

Lecture Videos

  1. Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1 Video
  2. Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2 Video
  3. Lecture 2: Doubly Efficient Interactive Proofs, Part 1 Video
  4. Lecture 2: Doubly Efficient Interactive Proofs, Part 2 Video
  5. Lecture 3: Continuation of the GKR Protocol and Corollaries Video
  6. Lecture 4: PCP via GKR and Interactive Arguments, Part 1 Video
  7. Lecture 4: PCP via GKR and Interactive Arguments, Part 2 Video
  8. Lecture 5: The Kilian-Micali Protocol, Part 1 Video
  9. Lecture 5: The Kilian-Micali Protocol, Part 2 Video
  10. Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 1 Video
  11. Lecture 6: Fiat-Shamir Paradigm and Zero-Knowledge Proofs, Part 2 Video
  12. Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 1 Video
  13. Lecture 7: Soundness of the Fiat-Shamir Paradigm in the Standard Model, Part 2 Video
  14. Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1 Video
  15. Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 2 Video
  16. Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 1 Video
  17. Lecture 9: BARGs Implies SNARGs and Connection to Non-Signaling PCPs, Part 2 Video

Syllabus and materials

At MIT OpenCourseWare, as the course publishes them.

Credits and licence

Institution
Massachusetts Institute of Technology
Department
Electrical Engineering and Computer Science
Teacher
Prof. Yael Tauman Kalai
Term
Fall 2023
Level
Graduate
Language
English
Subjects
Computer science, Engineering
Source
MIT OpenCourseWare
Licence
CC BY-NC-SA 4.0, as MIT OpenCourseWare states it. Non-commercial use only. MIT OpenCourseWare's terms
Attribution
Prof. Yael Tauman Kalai. Advanced Topics in Cryptography. Fall 2023. Massachusetts Institute of Technology: MIT OpenCourseWare, https://ocw.mit.edu/. License: Creative Commons BY-NC-SA.
Who can watch
MIT OpenCourseWare gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed