Lunch In Theory This Thursday (12:00 PM, 03/05, GCS 302c)
3 views
Skip to first unread message
Devansh Gupta
3:51 AM (17 hours ago) 3:51 AM
to CS Theory Group, usc-t...@googlegroups.com, USC Theory Group
Hi all,
Please join us for Lunch in Theory this Thursday, 03/05 at 12:00 PM in GCS 302c. This week we have Miryam Huang presenting a talk on Obfuscating Quantum Circuits. Please find the title and abstract attached.
Reminder: Please bring your own lunch, as lunch will not be provided.
Best,
Devansh
Title: On Obfuscating Quantum Circuits Constructions and Applications
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.
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.
Devansh Gupta
3:12 PM (6 hours ago) 3:12 PM
to CS Theory Group, usc-t...@googlegroups.com, USC Theory Group
Hi all,
Please find attached the zoom link for today's meeting: https://usc.zoom.us/j/6555952212.
Best,
Devansh
Reply all
Reply to author
Forward
0 new messages