Yael Tauman Kalai

Compressing Proofs Using Cryptography

Thursday, 28 August 2025
18:15 - 19:00 CEST

Details

Inselhalle

Main Hall

Abstract

Imagine if you could take a mathematical 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.

Related Laureates