Now showing
MIT 6.5630 Advanced Topics in Cryptography, Fall 2023
About this film
Instructor: Yael T. Kalai View the complete course: https://ocw.mit.edu/courses/6-5630-advanced-topics-in-cryptography-fall-2023/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61EZllk7zwgvPbI4kbnKhWz 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 https://ocw.mit.edu/terms More courses at https://ocw.mit.edu Support OCW at http://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 https://ocw.mit.edu/comments .
Directors & creators
MIT OpenCourseWare
Subjects
interactive proofs, multi-prover, probabilistically checkable proofs, cryptography, proof systems, sound non-interactive arguments, SNARGs
More from this pool