Biography
Miryam Mi-Ying Huang is a Ph.D. student in Computer Science at the University of Southern California, where she is advised by Dr. Jiapeng Zhang. She worked with Dr. Kai-Min Chung during college and before her Ph.D. Her research primarily focuses on cryptography and complexity theory, with an emphasis on quantum and post-quantum cryptography as well as communication complexity.
Abstract
Program obfuscation aims to hide a program’s internal structure while preserving its functionality. In the quantum world, whether one can obfuscate general quantum circuits has remained a central open question. Previous works achieved obfuscation only for highly restricted classes of quantum programs, leaving a significant gap toward obfuscation of full quantum computation . We close this gap through a sequence of results. We first show how to obfuscate unitary quantum programs with quantum inputs and outputs in the classical oracle model—removing the earlier pseudo-deterministic restriction and handling genuinely quantum behavior. We then build on this foundation to obtain the first quantum ideal obfuscation scheme for arbitrary quantum circuits, encompassing general completely positive trace-preserving (CPTP) maps. Our constructions rely solely on post-quantum one-way functions in the classical oracle model and develop new techniques, including functional quantum authentication and subspace-preserving pseudorandom unitaries. Together, these results resolve a series of open problems and establish the first obfuscation scheme for general quantum circuits with quantum inputs and outputs in the classical oracle model.