6.5630 | Fall 2023 | Graduate

Advanced Topics in Cryptography

Course Description

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 …
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).

Course Info

Learning Resource Types
Lecture Videos
A woman lecturing standing in front of the blackboard with a chalk in her right hand, pointing to the blackboard
In 6.5630, students learn how to use cryptography to convert powerful proof systems into computationally sound, non-interactive arguments. (Image courtesy of Jeff Jackowski on Flickr. License: CC BY-NC-SA.)
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2025 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2025 Massachusetts Institute of Technology