Crypto Seminar
— 5:30pm
Location:
In Person and Virtual - ET
-
Blelloch-Skees Conference Room, Gates Hillman 8115 and Zoom
Speaker:
JAMES BARTUSEK
,
Ph.D. Student, Theory Group, Computer Science Division, University of California, Berkeley
https://sites.google.com/view/jamesbartusek
Obfuscation of Pseudo-Deterministic Quantum Circuits
We will show how to obfuscate pseudo-deterministic quantum circuits in the classical oracle model, assuming the quantum hardness of learning with errors. Instantiating the classical oracle with a candidate post-quantum indistinguishability obfuscator, we obtain the first candidate construction of indistinguishability obfuscation for a class of circuits that is powerful enough to implement Shor's algorithm.
Along the way, we construct a publicly-verifiable classical verification of quantum computation scheme for quantum “partitioning” circuits, which can be used to verify the evaluation procedure of Mahadev's quantum fully-homomorphic encryption scheme. We achieve this by constructing a type of publicly-decodable “Pauli functional commitment” scheme, which must satisfy a notion of binding against committers that have access to both of the receiver's standard and Hadamard basis decoding functionalities. Based on joint work with Fuyuki Kitagawa, Ryo Nishimaki, and Takashi Yamakawa.
The Crypto Seminar is graciously sponsored by the Algorand Foundation.
Event Website:
https://sites.google.com/view/crypto-seminar/home