The Journey Towards Program Obfuscation

on YouTube ↗01h 15m

" summary

Survey traces concrete reductions: IO reduces to functional encryption, then to semi‑succinct FE for NC0, then to a compressed notion XIO/functional encoding; early heuristics use noisy multilinear maps and suffer repeated linearization breaks, while the recent construction replaces exotic maps with lattice assumptions (LWE/LPN) and a new degree‑2.5 PRG to build a short encoding. The claim: obfuscation becomes plausible from standard assumptions; the build succeeds under specified sub‑exponential security regimes.

AI-written summary · about

" chapters (9)

1. 0:00Start
2. 1:59Introduction
3. 14:18Weaker Definitions
4. 22:25Multilinear Maps
5. 38:07What a Functional Encryption Is
6. 39:05Succinctless Requirement
7. 59:16Functional Encryption
8. 1:06:31How Do You Know that You'Re Not Wasting Your Time
9. 1:10:54Why Do You Keep Working on Something That Seems like Waste of Time

" related talks

• 01h 04mTutorial on obfuscationRachel Lin · Minimal Complexity Assumptions for Cryptography 2023
• 38mRecent Advances on Foundations of Program ObfuscationRachel Lin · Lattices: New Cryptographic Capabilities 2020
• 01h 12mApplications of Obfuscation ICraig Gentry · Cryptography Boot Camp 2015
• 58mObfuscation 2Aayush Jain · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 08mExpedition to Obfustopia: Indistinguishability Obfuscation from Well-Studied Assumptions to New...Rachel Lin · Obfuscation
• 51mObfuscation via GGH15 Encodings, 10 Years LaterHoeteck Wee · Obfuscation
• 01h 06mObfuscation: Past, Present, and Possible FuturesAmit Sahai · Securing Computation (Simons Institute, June 2015)
• 01h 03mLockable ObfuscationVenkata Koppula · Lattices: New Cryptographic Capabilities 2020