CryptoDB
Invited Talk: Compressing Proofs using Cryptography: A Triumph of Theory and Practice
| Authors: | |
|---|---|
| Download: | |
| Presentation: | Slides |
| Honor: | Invited talk |
| Abstract: | Compressing Proofs using Cryptography: A Triumph of Theory and PracticeIn this talk, I will survey a line of work that demonstrates how to take a long proof and make it succinct using cryptographic magic. I will highlight the deep and ongoing interplay between theoretical advancements, practical implementations, and real-world deployment, showcasing key milestones and addressing the challenges encountered along the way. |
| Video: | https://youtu.be/AjKGurJp1_U |
BibTeX
@misc{rwc-2025-35858,
title={Invited Talk: Compressing Proofs using Cryptography: A Triumph of Theory and Practice},
note={Video at \url{https://youtu.be/AjKGurJp1_U}},
howpublished={Talk given at RWC 2025},
author={Yael Kalai},
year=2025
}