Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources

DOI10.1007/978-3-030-17659-4_9OpenAlexW2962977579MaRDI QIDQ2292697

Thomas Vidick, Andrea Coladangelo, Stacey Jeffery, Alex Bredariol Grilo

Publication date: 4 February 2020

Full work available at URL: https://arxiv.org/abs/1708.07359

Mathematics Subject Classification ID

Quantum computation (81P68) Cryptography (94A60) Quantum coherence, entanglement, quantum correlations (81P40) Quantum control (81Q93)

Related Items (8)

Almost synchronous quantum correlations ⋮ Constant-round blind classical verification of quantum sampling ⋮ Unnamed Item ⋮ Simple and Tight Device-Independent Security Proofs ⋮ Unnamed Item ⋮ Sumcheck-based delegation of quantum computing to rational server ⋮ Verification of quantum computation: an overview of existing approaches ⋮ QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge

This page was built for publication: Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources