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

MIT 6.5630 Advanced Topics in Cryptography, Fall 2023 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 lecture covers the topics, including definition of interactive proofs (IP), the sum-check Protocol, and the application of interactive proof for #SAT. 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. Speakers: Yael T. Kalai