Post hoc verification of quantum computation

14 December 2015

Papers citing "Post hoc verification of quantum computation"

16 / 16 papers shown

Title
Parallel remote state preparation for fully device-independent verifiable blind quantum computation Sean A. Adamson 43 0 0 11 Dec 2022
Succinct Classical Verification of Quantum Computation James Bartusek Y. Kalai Alex Lombardi Fermi Ma Giulio Malavolta Vinod Vaikuntanathan Thomas Vidick Lisa Yang LRM 49 15 0 29 Jun 2022
Classical Verification of Quantum Computations in Linear Time Jiayu Zhang 70 11 0 28 Feb 2022
Indistinguishability Obfuscation of Null Quantum Circuits and Applications James Bartusek Giulio Malavolta 56 18 0 11 Jun 2021
Constant-round Blind Classical Verification of Quantum Sampling Kai-Min Chung Yi Lee Han-Hsuan Lin Xiaodi Wu 100 10 0 09 Dec 2020
Security Limitations of Classical-Client Delegated Quantum Computing Christian Badertscher Alexandru Cojocaru Léo Colisson E. Kashefi D. Leichtle A. Mantri P. Wallden 40 21 0 03 Jul 2020
Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center T. Morimae 36 6 0 24 Mar 2020
Classical Verification of Quantum Computations with Efficient Verifier Nai-Hui Chia Kai-Min Chung Takashi Yamakawa 63 38 0 02 Dec 2019
Non-interactive classical verification of quantum computation G. Alagic Andrew M. Childs A. Grilo S. Hung 61 53 0 19 Nov 2019
QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge Anne Broadbent A. Grilo 76 37 0 18 Nov 2019
Computationally-secure and composable remote state preparation A. Gheorghiu Thomas Vidick 48 73 0 12 Apr 2019
QFactory: classically-instructed remote secret qubits preparation Alexandru Cojocaru Léo Colisson E. Kashefi P. Wallden 56 35 0 12 Apr 2019
A quantum homomorphic encryption scheme for polynomial-sized circuits Li Yu 59 7 0 02 Oct 2018
Verification of quantum computation: An overview of existing approaches A. Gheorghiu Theodoros Kapourniotis E. Kashefi 45 166 0 20 Sep 2017
Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources Andrea Coladangelo A. Grilo S. Jeffery Thomas Vidick 50 80 0 24 Aug 2017
Classical verification of quantum circuits containing few basis changes T. Demarie Yingkai Ouyang J. Fitzsimons 57 14 0 15 Dec 2016