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

DOI10.1007/978-3-030-17659-4_9MaRDI QIDQ2292697zbMATH OpenOpenAlexFDO

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

Publication date 4 February 2020

Full work available at URL https://arxiv.org/abs/1708.07359, https://ir.cwi.nl/pub/28686

Mathematics Subject Classification ID

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

Recommendations

• Composable security of delegated quantum computation
• Verifying quantum computations at scale: a cryptographic leash on quantum devices
• How to Verify a Quantum Computation
• Classical verification of quantum computations
• Secure quantum computation with classical communication

Cited in

(26)

• Constant-round blind classical verification of quantum sampling
• Delegating quantum computation in the quantum random oracle model
• Verification of quantum computation: an overview of existing approaches
• Verification of quantum computation and the price of trust
• Public verifiable measurement-only blind quantum computation based on entanglement witnesses
• Composable security of delegated quantum computation
• Blindness and verification of quantum computation with one pure qubit
• Optimised resource construction for verifiable quantum computation
• Parallel self-testing of the GHZ state with a proof by diagrams
• Simple and tight device-independent security proofs
• A quantum linearity test for robustly verifying entanglement
• Almost synchronous quantum correlations
• A simple protocol for verifiable delegation of quantum computation in one round
• Robustness and device independence of verifiable blind quantum computing
• Verifying quantum computations at scale: a cryptographic leash on quantum devices
• Instantaneous non-local computation of low T-depth quantum circuits
• QMA-hardness of consistency of local density matrices with applications to quantum zero-knowledge
• Debates with small transparent quantum verifiers
• Sumcheck-based delegation of quantum computing to rational server
• Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
• Simple tests of quantumness also certify qubits
• Constant-sized robust self-tests for states and measurements of unbounded dimension
• Quantum delegation with an off-the-shelf device
• Compiled nonlocal games from any trapdoor claw-free function
• Self-testing of a single quantum device under computational assumptions
• Quantum interactive oracle proofs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292697)