research
∙
10/11/2022
Commitments to Quantum States
What does it mean to commit to a quantum state? In this work, we propose...
share
research
∙
06/29/2022
Succinct Classical Verification of Quantum Computation
We construct a classically verifiable succinct interactive argument for ...
research
∙
11/24/2021
Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably)
A major difficulty in quantum rewinding is the fact that measurement is ...
research
∙
03/15/2021
Post-Quantum Succinct Arguments
We prove that Kilian's four-message succinct argument system is post-qua...
research
∙
11/26/2020
One-Way Functions Imply Secure Computation in a Quantum World
We prove that quantum-hard one-way functions imply simulation-secure qua...
research
∙
11/23/2020