Advanced Topics in Cryptography

3-0-9 units · Graduate

In-depth exploration of recent results in cryptography.

Fall 2023

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

Prerequisites & course information

Prereq: 6.5620[J] G (Spring) 3-0-9 units Can be repeated for credit.

Sources

Course catalogue ↗2026–2027
MIT OpenCourseWare ↗Fall 2023
MIT OCW syllabus ↗
Historical MIT OpenCourseWare offering. Named reading entries and schedule topics are automatically extracted from the linked source pages.