Lecture: Compressing Proofs Using Cryptography

Yael Tauman Kalai

Imagine if you could take a proof and make it significantly shorter. In this talk, we will see how this can be done using cryptographic magic! We will begin with a brief overview of the evolution of proofs in computer science. We will then show how this beautiful theory, when combined with cryptographic methods, can be used to compress proofs.

---