Obfuscation of Unitary Quantum Programs

on YouTube ↗46m

" summary

Claims an ideal obfuscation for unitary functionalities in the classical-oracle model and constructs an obfuscator that outputs authenticated ciphertexts, EPR halves and classical oracles. Uses a functional quantum authentication scheme, homomorphic CNOT+Hadamard measurements, teleportation for quantum I/O, and one-time tokenized signatures to enforce input consistency. Proves simulation security and that auxiliary states are restorable so the obfuscated program is reusable across evaluations. Leaves open extending to isometries, removing auxiliary states, and weakening assumptions.

AI-written summary · about

" chapters (7)

1. 0:00Quantum program obfuscation intro
2. 1:01What is quantum obfuscation
3. 8:52Ideal obfuscation for unitary programs
4. 17:26Constructing unitary obfuscation
5. 30:29Handling quantum inputs and outputs with teleportation
6. 37:05Reusing obfuscated programs
7. 39:24Summary and open problems

" related talks

• 32mQuantum Obfuscation of Classical CircuitsPaul Christiano · Quantum Games and Protocols
• 01h 08mNew Quantum Cryptographic Primitives IIMark Zhandry · Quantum and Lattices Joint Reunion Workshop
• 01h 04mHow to Encrypt a FunctionalityAmit Sahai · Quantum Games and Protocols
• 01h 12mApplications of Obfuscation ICraig Gentry · Cryptography Boot Camp 2015
• 01h 04mTutorial on obfuscationRachel Lin · Minimal Complexity Assumptions for Cryptography 2023
• 17mProofs of Quantumness from Trapdoor PermutationsTomoyuki Morimae, Takashi Yamakawa · ITCS 2023
• 01h 13mQuantum 3Dakshita Khurana · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 56mQuantum 4Dakshita Khurana · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025