Invidious

MIT 6.5630 Advanced Topics in Cryptography, Fall 2023

 Subscribe
 RSS
MIT OpenCourseWare | 17 videos | Updated 6 months ago
View playlist on YouTube | Switch Invidious Instance
Instructor: Yael T. Kalai View the complete course: ocw.mit.edu/courses/6-5630-advanced-topics-in-cryp… YouTube Playlist: youtube.com/playlist?list=PLUl4u3cNGP61EZllk7zwgvP… 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). License: Creative Commons BY-NC-SA More information at ocw.mit.edu/terms More courses at ocw.mit.edu Support OCW at ow.ly/a1If50zVRlQ We encourage constructive comments and discussion on OCW’s YouTube and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at ocw.mit.edu/comments.

1:31:16

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

MIT OpenCourseWare

1:06:11

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

MIT OpenCourseWare

1:53:23

Lecture 2: Doubly Efficient Interactive Proofs, Part 1

MIT OpenCourseWare

42:30

Lecture 2: Doubly Efficient Interactive Proofs, Part 2

MIT OpenCourseWare

1:21:47

Lecture 3: Continuation of the GKR Protocol and Corollaries

MIT OpenCourseWare

1:29:42

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

MIT OpenCourseWare

1:10:48

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

MIT OpenCourseWare

1:44:35

Lecture 5: The Kilian-Micali Protocol, Part 1

MIT OpenCourseWare

56:41

Lecture 5: The Kilian-Micali Protocol, Part 2

MIT OpenCourseWare

1:32:46

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

MIT OpenCourseWare

1:08:59

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

MIT OpenCourseWare

1:33:40

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

MIT OpenCourseWare

1:04:59

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

MIT OpenCourseWare

1:21:37

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

MIT OpenCourseWare

1:14:14

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

MIT OpenCourseWare

1:27:28

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

MIT OpenCourseWare

1:14:16

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

MIT OpenCourseWare