Details
Inselhalle
Main Hall
Compressing Proofs Using Cryptography
Thursday, 28 August 2025
18:15 - 19:00 CEST
Inselhalle
Main Hall
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.