Classical Verification of Quantum Computations in Linear Time

28 February 2022

Papers citing "Classical Verification of Quantum Computations in Linear Time"

14 / 14 papers shown

Title
Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more A. Gheorghiu Tony Metger Alexander Poremba 25 19 0 31 Jan 2022
Constant-round Blind Classical Verification of Quantum Sampling Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu 79 10 0 09 Dec 2020
Classical Verification of Quantum Computations with Efficient Verifier Nai-Hui Chia Kai-Min Chung Takashi Yamakawa 31 37 0 02 Dec 2019
Non-interactive classical verification of quantum computation G. Alagic Andrew M. Childs A. Grilo S. Hung 31 53 0 19 Nov 2019
Computationally-secure and composable remote state preparation A. Gheorghiu Thomas Vidick 15 73 0 12 Apr 2019
QFactory: classically-instructed remote secret qubits preparation Alexandru Cojocaru Léo Colisson E. Kashefi P. Wallden 31 35 0 12 Apr 2019
Delegating Quantum Computation in the Quantum Random Oracle Model Jiayu Zhang 20 5 0 11 Oct 2018
Verification of quantum computation: An overview of existing approaches A. Gheorghiu Theodoros Kapourniotis E. Kashefi 20 166 0 20 Sep 2017
Quantum Fully Homomorphic Encryption With Verification G. Alagic Y. Dulek Christian Schaffner F. Speelman 25 44 0 30 Aug 2017
Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources Andrea Coladangelo A. Grilo S. Jeffery Thomas Vidick 20 80 0 24 Aug 2017
Classical Homomorphic Encryption for Quantum Circuits U. Mahadev 39 159 0 07 Aug 2017
Blind quantum computing with two almost identical states Vedran Dunjko E. Kashefi 23 34 0 06 Apr 2016
Post hoc verification of quantum computation J. Fitzsimons Michal Hajdusek 22 91 0 14 Dec 2015
Random Oracles in a Quantum World Dan Boneh Özgür Dagdelen M. Fischlin Anja Lehmann Christian Schaffner Mark Zhandry 56 480 0 05 Aug 2010