We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Lecture: Compressing Proofs Using Cryptography

8
 Cite
 Share
 Related Material
 Download
 Purchase
Logo of Heidelberg Laureate Forum FoundationHeidelberg Laureate Forum Foundation
 Kalai, Yael Tauman

Formal Metadata

Title
Lecture: Compressing Proofs Using Cryptography
Title of Series
Number of Parts
11
Author
License
No Open Access License:
German copyright law applies. This film may be used for your own use but it may not be distributed via the internet or passed on to external parties.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
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. The 11th Heidelberg Laureate Forum took place from September 22–27, 2024. #HLF24