Verification for measurement-only blind quantum computing

Blind quantum computing is a new secure quantum computing protocol where a client who does not have any sophisticated quantum technlogy can delegate her quantum computing to a server without leaking any privacy. It is known that a client who has only a measurement device can perform blind quantum computing [T. Morimae and K. Fujii, Phys. Rev. A {\bf87}, 050301(R) (2013)]. It has been an open problem whether the protocol can enjoy the verification, i.e., the ability of client to check the correctness of the computing. In this paper, we propose a protocol of verification for the measurement-only blind quantum computing.

[1]  S. Popescu,et al.  Quantum nonlocality as an axiom , 1994 .

[2]  R Raussendorf,et al.  A one-way quantum computer. , 2001, Physical review letters.

[3]  A. Kitaev.  Fault tolerant quantum computation by anyons , 1997, quant-ph/9707021.

[4]  A. Kitaev,et al.  Universal quantum computation with ideal Clifford gates and noisy ancillas (14 pages) , 2004, quant-ph/0403025.

[5]  R. Raussendorf,et al.  A fault-tolerant one-way quantum computer , 2005, quant-ph/0510135.

[6]  Robert Raussendorf,et al.  Topological fault-tolerance in cluster state quantum computation , 2007 .

[7]  V. Scarani,et al.  Device-independent security of quantum cryptography against collective attacks. , 2007, Physical review letters.

[8]  Elham Kashefi,et al.  Universal Blind Quantum Computation , 2008, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[9]  Elad Eban,et al.  Interactive Proofs For Quantum Computations , 2017, 1704.04487.

[10]  Elham Kashefi,et al.  Demonstration of Blind Quantum Computing , 2011, Science.

[11]  Elham Kashefi,et al.  Blind quantum computing with weak coherent pulses. , 2011, Physical review letters.

[12]  E. Kashefi,et al.  Unconditionally verifiable blind computation , 2012 .

[13]  Tomoyuki Morimae,et al.  Efficient universal blind quantum computation. , 2013, Physical review letters.

[14]  Joseph Fitzsimons,et al.  Optimal Blind Quantum Computation , 2013, Physical review letters.

[15]  Valerio Scarani,et al.  THE DEVICE-INDEPENDENT OUTLOOK ON QUANTUM PHYSICS , 2013 .

[16]  Quantum computation: Honesty test , 2013 .

[17]  E. Kashefi,et al.  Experimental verification of quantum computation , 2013, Nature Physics.

[18]  Joseph Fitzsimons,et al.  Composable Security of Delegated Quantum Computation , 2013, ASIACRYPT.