Circularity Based IO, Part 2

on YouTube ↗37m

" summary

Claims a construction of indistinguishability obfuscation from LWE plus a strong circular SRL (Shielded Randomness Leakage) heuristic, proving GSW is SRL-secure under LWE and then using SRL circular security for a GSW↔packed-Regev key cycle to get IO. Key tools are the split-FHE blueprint, proxy re-encryption of CRS LHE strings into rounded LHE, refreshing evaluated ciphertexts to break correlations, and smudging noise; requires sub-exponential modulus. The result is conditional and heuristic rather than an unconditional proof.

AI-written summary · about

" chapters (6)

1. 0:00Intro
2. 1:55Circular Security
3. 11:19Circular SRL Security
4. 19:58Application of (plain) SRL security
5. 27:13Our Result
6. 31:50Conclusion

" related talks

• 01h 04mLattice-Based Post-Quantum iO from Circular Security with Random Opening AssumptionYao Ching Hsieh · Obfuscation
• 01h 04mFully Homomorphic Encryption IIShai Halevi · Cryptography Boot Camp 2015
• 51mObfuscation via GGH15 Encodings, 10 Years LaterHoeteck Wee · Obfuscation
• 01h 03mLockable ObfuscationVenkata Koppula · Lattices: New Cryptographic Capabilities 2020
• 01h 12mApplications of Obfuscation ICraig Gentry · Cryptography Boot Camp 2015
• 45mFully Homomorphic Encryption IShai Halevi · Cryptography Boot Camp 2015
• 58mObfuscation 2Aayush Jain · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 01h 05mObfuscation from Noisy Linear FEShweta Agrawal · Lattices: New Cryptographic Capabilities 2020