Preprint
Sep 2026
Verifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation
We construct protocols for classically verifiable quantum advantage and classical verification of $\mathsf{BQP}$ computations using \emph{quantum indistinguishability obfuscation} (qiO). Specifically, given qiO and assuming a slightly stronger version of $\mathsf{BQP}\neq\mathsf{BPP}$, we construct a two-message quantu...
Alexandru Gheorghiu, A. Gupte, Vojtěch Havlíček et al.
· 0 citations