Recent Advances on Foundations of Program Obfuscation

on YouTube ↗38m

" summary

Proposes a route to indistinguishability obfuscation from standard ingredients: LWE plus bilinear maps and homomorphic encryption, using a new degree-2.5 noise generator (public seed degree 1, private degree 2) together with a special homomorphic encoding and a compact single-key functional encryption. Shows degree 1 impossible, degree 2 attacks exist, degree 3 suffices and is compressed to 2.5; builds FE that outputs group-exponent values requiring brute-force discrete log so outputs must be polynomially small; security is only partial hiding, giving weak IO under those assumptions.

AI-written summary · about

" chapters (10)

1. 0:00Introduction
2. 0:51Program obfuscation concepts
3. 3:21Low-degree noise generators
4. 5:38Partial hiding and security
5. 8:39Constructing degree 2.5 generators
6. 13:07Decomposition of assumptions
7. 17:46Functional encryption overview
8. 22:04Decryption strategies
9. 27:37Special homomorphic encoding
10. 31:53Conclusion and Q&A

" related talks

• 58mObfuscation 2Aayush Jain · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 15mThe Journey Towards Program ObfuscationYael Tauman Kalai · Simons Institute Workshop: New Developments in Obfuscation
• 46mIndistinguishability Obfuscation from Bilinear Maps and LPN VariantsNeekon Vafa · Obfuscation
• 01h 04mTutorial on obfuscationRachel Lin · Minimal Complexity Assumptions for Cryptography 2023
• 01h 26mObfuscation 1Amit Sahai · 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
• 01h 06mObfuscation: Past, Present, and Possible FuturesAmit Sahai · Securing Computation (Simons Institute, June 2015)
• 50mApplications of Obfuscation IICraig Gentry · Cryptography Boot Camp 2015