research
∙
07/25/2020
Multi-theorem (Malicious) Designated-Verifier NIZK for QMA
We present the first non-interactive zero-knowledge argument system for ...
research
∙
04/04/2020
Scalable Pseudorandom Quantum States
Efficiently sampling a quantum state that is hard to distinguish from a ...
research
∙
12/10/2019
Post-Quantum Zero Knowledge in Constant Rounds
We construct the first constant-round zero-knowledge classical argument ...
research
∙
06/25/2019