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
 Zitieren
 Teilen
 Zugehöriges Material
 Herunterladen
 Bestellen
Logo von Heidelberg Laureate Forum FoundationHeidelberg Laureate Forum Foundation
 Kalai, Yael Tauman

Formale Metadaten

Titel
Lecture: Compressing Proofs Using Cryptography
Serientitel
Anzahl der Teile
11
Autor
Lizenz
Keine Open-Access-Lizenz:
Es gilt deutsches Urheberrecht. Der Film darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
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