Encrypting to a Mathematical Fact | Theoretically Speaking @SimonsInstitute
Encrypting to a Mathematical Fact | Theoretically Speaking  @SimonsInstitute
Uploaded July 2026 | Updated September 2026, 2 weeks ago
Sanjam Garg (UC Berkeley)
https://simons.berkeley.edu/events/encrypting-mathematical-fact-theoretically-speaking
Theoretically Speaking

When people think of encryption, they typically imagine a plaintext being encrypted so that only someone with the correct cryptographic key can decrypt it. In this talk, Sanjam Garg will discuss a different kind of encryption scheme, where a plaintext can be encrypted to a puzzle or, more generally, to any mathematical fact. Anyone who can solve the puzzle or prove the fact can recover the plaintext. This talk traces the evolution of this idea and highlights recent developments that are making such techniques increasingly practical and relevant to real-world deployments.

Sanjam Garg is an Associate Professor at UC Berkeley. His research interests are in cryptography and its applications to security and privacy. He obtained his PhD from UCLA in 2013 and his undergraduate degree from the Indian Institute of Technology Delhi in 2008. Garg is the recipient of various honors such as the ACM Doctoral Dissertation Award, the Sloan Research Fellowship, and the IIT Delhi Graduates of Last Decade Award. Garg's research has been recognized with a Test of Time Award at FOCS 2023, and best paper awards at EUROCRYPT 2013, CRYPTO 2017, EUROCRYPT 2018, and TCC 2025. Past students and postdoctoral researchers from Garg's research group are now faculty/researchers at top institutions, such as Columbia University, Brown University, the University of Toronto, and Microsoft Research.

_______________________

Theoretically Speaking is a lecture series highlighting exciting advances in theoretical computer science for a broad general audience. Events are free and open to the public, with first-come, first-served seating. No special background is assumed. Registration is required. This lecture will be viewable afterward on this page and on our YouTube channel, following captioning.
Encrypting to a Mathematical Fact | Theoretically SpeakingScale Learning and Reasoning Across Heterogeneous Gradients and SemanticsCoboundary Expansion and Locally Testable CodesTalk by Max Hopkins (Institute for Advanced Study)Symbiotic Relations between Decoupled Training, Optimization, and Federated LearningSparse Random Graphs and Random Matrix StatisticsNatural behavior is learned through dopamine-mediated reinforcementRandom hyperbolic surfacesFrom the Ball-proximal (Broximal) Point Method to Efficient Training of LLMPrivacy of Decentralized Machine LearningLightning Talks!Tutorial: Federated Optimization, Part I
Simons Institute for the Theory of Computing |

Encrypting to a Mathematical Fact | Theoretically Speaking

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER