Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
