How to Encrypt a Functionality
summary
Claims a concrete candidate for indistinguishability obfuscation built from a new “algebraic jigsaw puzzle” instantiation of approximate multilinear maps: polynomials mod X^N+1 and a large prime q, a small secret G, noisy encodings and a restricted zero‑testing element. It shows how to evaluate NC1 via Barrington’s matrix trick, bootstraps to general circuits with FHE, proves security against natural algebraic attacks, reports huge polynomial overhead so it is impractical now, and notes no known quantum attacks.
AI-written summary · about
chapters (13)
- 0:00Intro
- 1:55Explanation
- 3:44Examples
- 11:18Encryption Analogy
- 13:00Encrypting Functionality
- 17:18Definitions
- 20:36Indistinguishable Obfuscation
- 26:58Functionality Encryption
- 39:24Puzzle Pieces
- 43:39Puzzle Piece
- 49:00Encrypting Functions
- 55:18Conclusion
- 57:48In principle
related talks
01h 06mObfuscation: Past, Present, and Possible Futures
01h 02mObfuscation II
58mObfuscation I
58mObfuscation 2
46mIndistinguishability Obfuscation from Bilinear Maps and LPN Variants
01h 03mLockable Obfuscation
01h 15mThe Journey Towards Program Obfuscation
01h 04mCryptanalysis of Candidate Program Obfuscators
