Open Course Space

Advanced Topics in Cryptography

Massachusetts Institute of TechnologyUnited States6.5630
Free, no sign-up neededFall 2023English
Go to course on MIT OpenCourseWare

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

Description from MIT OpenCourseWare.

Where to take this course