Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation
summary
A summer 2025 Simons program focuses on three concrete advances and remaining gaps: general-purpose obfuscation from well-studied assumptions exists but current constructions are astronomically inefficient and not post-quantum; secure multiparty computation now achieves sublinear communication without relying solely on FHE and sees major FHE efficiency gains plus sublinear-time PIR protocols; cryptographic proofs produce non-interactive zero-knowledge that is post-quantum secure and succinct proofs for many NP subclasses, with practical deployments and lingering assumption/efficiency open questions.
AI-written summary · about
chapters (8)
- 0:002025 cryptography program intro
- 1:402015 Simons Institute success
- 2:232025 program themes
- 3:05Program obfuscation
- 4:51Secure multiparty computation
- 6:39Cryptographic proof properties
- 8:48Theory and applied synergy
- 10:00Closing remarks
