Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources
From MaRDI portal
Publication:2292697
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
Quantum computation (81P68) Cryptography (94A60) Quantum coherence, entanglement, quantum correlations (81P40) Quantum control (81Q93)
Related Items
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
