Lockable Obfuscation

on YouTube ↗01h 03m

" summary

Constructs lockable obfuscation from LWE for compute-and-compare programs: builds an NC^1 obfuscator using GGH15 encodings of permutation branching programs, tensors with random blocks, and relies on GPV/GPV-style trapdoors plus a permutation-LWE step; then bootstraps to arbitrary circuits with an FHE whose decryption is low-depth. Produces working primitives — anonymous public-key encryption, one-sided predicate encryption, and circular-security separations — with concrete reductions; proves correctness and indistinguishability under the stated lattice assumptions.

AI-written summary · about

" chapters (12)

1. 0:00Introduction to obfuscation
2. 4:32Compute and compare programs
3. 7:56Security definitions
4. 13:58Applications: Anonymity
5. 18:22Encryption schemes construction
6. 21:51Security proof overview
7. 27:27Advanced encryption applications
8. 32:22Construction methodology
9. 35:41Bootstrapping technique
10. 40:51Lattice-based construction
11. 50:20Encoding and evaluation
12. 56:27Conclusion and future work

" related talks

• 51mObfuscation via GGH15 Encodings, 10 Years LaterHoeteck Wee · Obfuscation
• 58mObfuscation 2Aayush Jain · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 29mLattices, Multilinear Maps and Program ObfuscationYilei Chen · Lattices: Algorithms, Complexity, and Cryptography Boot Camp 2020
• 01h 04mTutorial on obfuscationRachel Lin · Minimal Complexity Assumptions for Cryptography 2023
• 01h 07mLattices and Encrypted ComputationVinod Vaikuntanathan · Lattices: Algorithms, Complexity, and Cryptography Boot Camp 2020
• 01h 15mThe Journey Towards Program ObfuscationYael Tauman Kalai · Simons Institute Workshop: New Developments in Obfuscation
• 01h 26mObfuscation 1Amit Sahai · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 36mDiamond iO: Lattice-Based Obfuscation without Bootstrapping from Functional Encryption, toward...Sora Suegami · Obfuscation