Proofs - Theory of Cryptographic Systems

In this 1 hour 15 minute lecture, Yael Kalai from MIT and Microsoft Research explores the theoretical foundations of proofs as part of the "Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp" at the Simons Institute. Delve into the mathematical underpinnings of proof systems and their applications in modern cryptography, examining how theoretical proof constructs form the backbone of secure computation protocols and cryptographic obfuscation techniques.