Learn · Advanced Topics in Cryptography

Lecture 9 of 17Lecture Videos

Lecture 5: The Kilian-Micali Protocol, Part 2

Prof. Yael Tauman Kalai · Massachusetts Institute of Technology

At MIT OpenCourseWare Transcript

Credits and licence

From
Advanced Topics in Cryptography, Massachusetts Institute of Technology (at MIT OpenCourseWare)
Licence
CC BY-NC-SA 4.0, as MIT OpenCourseWare states it. Non-commercial use only.
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
Tweens profiles and older. How courses are placed

All the lectures

  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