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

v1v2v3 (latest)

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

24 August 2017

Andrea Coladangelo

ArXiv (abs)PDF HTML

Papers citing "Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources"

14 / 14 papers shown

Title
Robust Self-testing for Synchronous Correlations and Games Prem Nigam Kar LRM 39 0 0 30 Mar 2025
Quantum delegation with an off-the-shelf device Anne Broadbent Arthur Mehta Yuming Zhao 37 2 0 07 Apr 2023
Parallel remote state preparation for fully device-independent verifiable blind quantum computation Sean A. Adamson 48 0 0 11 Dec 2022
Classical verification of quantum depth Nai-Hui Chia S. Hung 36 6 0 10 May 2022
Classical Verification of Quantum Computations in Linear Time Jiayu Zhang 73 11 0 28 Feb 2022
Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more A. Gheorghiu Tony Metger Alexander Poremba 53 19 0 31 Jan 2022
Constant-round Blind Classical Verification of Quantum Sampling Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu 117 10 0 09 Dec 2020
Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center T. Morimae 49 6 0 24 Mar 2020
Non-interactive classical verification of quantum computation G. Alagic Andrew M. Childs A. Grilo S. Hung 79 53 0 19 Nov 2019
QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge Anne Broadbent A. Grilo 100 37 0 18 Nov 2019
QFactory: classically-instructed remote secret qubits preparation Alexandru Cojocaru Léo Colisson E. Kashefi P. Wallden 69 35 0 12 Apr 2019
Verification of quantum computation: An overview of existing approaches A. Gheorghiu Theodoros Kapourniotis E. Kashefi 59 166 0 20 Sep 2017
Quantum Fully Homomorphic Encryption With Verification G. Alagic Y. Dulek Christian Schaffner F. Speelman 64 45 0 30 Aug 2017
Simple and tight device-independent security proofs Rotem Arnon Friedman R. Renner Thomas Vidick 68 115 0 06 Jul 2016