Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Explore the fundamental concepts of cryptographic proof systems and the Fiat-Shamir heuristic in this 75-minute lecture delivered by Alex Lombardi from Princeton University as part of the Simons Institute's "Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp." Delve into the critical question of interaction in cryptographic protocols, examining when and why interaction is necessary or can be eliminated in proof systems. Learn about the Fiat-Shamir heuristic, a powerful technique for converting interactive proof systems into non-interactive ones, and understand its applications, limitations, and security implications in modern cryptography. Gain insights into the theoretical foundations that underpin many contemporary cryptographic constructions, including their role in obfuscation and secure computation protocols.
