Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources

Andrea Coladangelo, Alex B. Grilo, Stacey Jeffery, Thomas Vidick. Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources. Theory of Computing, 20:1-87, 2024. [doi]

Abstract

Abstract is missing.