From Program Obfuscation to Unclonable Cryptography

on YouTube ↗01h 03m

" summary

Claims new obfuscation variants and reductions that tie indistinguishability obfuscation plus injective one‑way functions to unclonable primitives: a subspace-hiding obfuscation that, combined with coset/subspace states and parallel Hadamards (QFT), yields public‑key quantum money and copy‑protection; information‑theoretic lemmas show ket A resists cloning even given larger subspaces; a construction of quantum one‑time programs for constraint/puncturable functionalities using n coset states; and a new abstraction unclonable puncturable obfuscation with constructions under iO/LWE or stronger quantum assumptions.

AI-written summary · about

" chapters (18)

1. 0:00Introduction
2. 1:28Quantum money and copy protection
3. 5:05Obfuscation aids unclonable crypto
4. 10:03Subspace hiding obfuscation
5. 15:50Public key quantum money from iO
6. 18:23iO applications in unclonable crypto
7. 22:23Quantum one-time programs
8. 27:57Coset states and one-time programs
9. 33:42Security proof for one-time programs
10. 40:56Coset states vs subspace states
11. 46:22Limitations of obfuscation
12. 47:45Unclonable puncturable obfuscation
13. 51:15Potential of UPO
14. 53:24Formal definition of copy protection
15. 57:17Copy-protecting puncturable functions
16. 58:44Variants of unclonable puncturable obfuscation
17. 59:46Open problems
18. 1:01:14Future directions

" related talks

• 01h 08mNew Quantum Cryptographic Primitives IIMark Zhandry · Quantum and Lattices Joint Reunion Workshop
• 01h 12mApplications of Obfuscation ICraig Gentry · Cryptography Boot Camp 2015
• 32mQuantum Obfuscation of Classical CircuitsPaul Christiano · Quantum Games and Protocols
• 50mApplications of Obfuscation IICraig Gentry · Cryptography Boot Camp 2015
• 38mRecent Advances on Foundations of Program ObfuscationRachel Lin · Lattices: New Cryptographic Capabilities 2020
• 01h 06mObfuscation: Past, Present, and Possible FuturesAmit Sahai · Securing Computation (Simons Institute, June 2015)
• 48mTales of Obfuscation in Bounded Arithmetic, Metacomplexity, and Differential PrivacyRahul Ilango · Minimal Complexity Assumptions for Cryptography 2023
• 31mObfuscation of Probabilistic Circuits and ApplicationsHuijia Lin · Securing Computation (Simons Institute, June 2015)