Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems

Silvio Micali · 1:03:26

Building on the concept of computational hardness, this lecture introduces interactive proof systems and the revolutionary idea of zero-knowledge proofs, demonstrating how interaction can verify knowledge without revealing it.

IP = PSPACE

Ryan O'Donnell · 1:18:47

Expanding on interactive proofs, this lecture delves into the IP = PSPACE theorem, showcasing the immense power of interactive systems and their theoretical equivalence to polynomial space computations, which is crucial for advanced cryptographic protocols.

The Birch-Swinnerton-Dyer Conjecture: A Millennium Prize Problem at 25

Chris Skinner · 52:16

Transitioning from theoretical complexity, this lecture introduces elliptic curves through the Birch-Swinnerton-Dyer Conjecture, providing the mathematical foundation for modern public-key cryptography, including ECC.

Introduction to Hash-based Post-quantum Cryptography (PQC)

Christof Paar · 1:40:59

Following the mathematical foundations of public-key cryptography, this lecture addresses the critical challenge of quantum computing by introducing hash-based post-quantum cryptography, preparing learners for future cryptographic paradigms.

What Can the Theory of Cryptography Tell Us About AI Verification?

Shafi Goldwasser · 1:02:15

Finally, this lecture applies cryptographic principles to the cutting-edge domain of AI verification, demonstrating how interactive proofs and adversarial guarantees can ensure the security and trustworthiness of machine learning systems.