An Introduction to Quantum Obfuscation

on YouTube ↗59m

" summary

Survey of what is known: obfuscation is now achievable for limited quantum classes under classical-to-quantum obfuscator constructions in the classical-oracle model — e.g., polynomial-size unitaries with ≤O(log T) non‑Clifford gates — by combining quantum FHE with classical, verifiable proofs built from publicly decodable x-measurable commitments (using quantum public parameters). A second line builds LM-homomorphic authentication (CSS codes, CNOT homomorphism, magic states) to verify steps via a classical oracle. Constructions work in the oracle/heuristic setting; plain‑model and fully general quantum obfuscation remain open.

AI-written summary · about

" chapters (9)

1. 0:00Quantum obfuscation intro
2. 0:22What is quantum obfuscation
3. 1:08Known results and research
4. 8:04First positive results
5. 11:02Classical oracle model
6. 22:01Verifiable quantum FHE
7. 31:19Verifiable quantum commitments
8. 44:58Authenticated quantum computation
9. 56:47Summary and challenges

" 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 26mQuantum FHEUrmila Mahadev · Lattices: New Cryptographic Capabilities 2020
• 59mQuantum cryptography and quantum complexityWilliam Kretschmer · Summer Cluster on Quantum Computing 2025
• 01h 04mHow to Encrypt a FunctionalityAmit Sahai · Quantum Games and Protocols
• 01h 12mApplications of Obfuscation ICraig Gentry · Cryptography Boot Camp 2015
• 38mRecent Advances on Foundations of Program ObfuscationRachel Lin · Lattices: New Cryptographic Capabilities 2020
• 48mBlack-Box Separations in Quantum CryptographyMohammad Mahmoody · Minimal Complexity Assumptions for Cryptography 2023