# Verification for measurement-only blind quantum computing

@article{Morimae2012VerificationFM,
title={Verification for measurement-only blind quantum computing},
author={Tomoyuki Morimae},
journal={arXiv: Quantum Physics},
year={2012}
}
• T. Morimae
• Published 7 August 2012
• Computer Science
• arXiv: Quantum Physics
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…

## Figures from this paper

Experimental Blind Quantum Computing for a Classical Client.
• Computer Science, Physics
Physical review letters
• 2017
This experiment implements a proof-of-principle experiment for completely classical clients that accomplishes the task of having the number 15 factorized by servers who are denied information about the computation itself.
Measurement-only verifiable blind quantum computing with quantum input verification
This work introduces a protocol of measurement-only verifiable blind quantum computing where the correctness of the quantum input is also verifiable.
Blind Quantum Signature with Blind Quantum Computation
• Computer Science, Physics
• 2017
A blind quantum signature scheme is designed with laconic structure, which provides a potential practical application for e-commerce in the cloud computing and first-generation quantum computation.
Blind quantum computing can always be made verifiable
A plug-in is proposed that makes any universal blind quantum computing protocol automatically verifiable and blindly generates Feynman-Kitaev history states corresponding to the quantum circuit that solves client's problem and its complement circuit.
Demonstration of measurement-only blind quantum computing
• Computer Science, Physics
• 2016
A proof-of-principle implementation of this measurement-only blind quantum computing, exploiting a photonic setup to generate four-qubit cluster states for computation and verification.
Single-server blind quantum computation with quantum circuit model
• Computer Science, Physics
Quantum Inf. Process.
• 2018
A single-server BQC protocol with quantum circuit model is proposed by replacing any quantum gate with the combination of rotation operators, such that the server is unknown about quantum algorithms.
Universal single-server blind quantum computation for classical clients
• Computer Science
Laser Physics Letters
• 2021
An analysis of this protocol is presented and a new ‘Cloud + Certificate Authority (CA)’ style is proposed for the BQC, which is modified to a universal single-server and fully-classical-client BZC protocol by improving the ability of the trusted center.
Gate Teleportation-based Universal Blind Quantum Computation
The blindness and correctness of GTUBQC are proved, and the approach is applied to other types of computational tasks, such as quantum Fourier transform, to solve the challenge to directly encrypt quantum algorithms in circuits model.
A hybrid universal blind quantum computation
• Computer Science, Physics
Inf. Sci.
• 2019
Blind quantum computing with two almost identical states
• Computer Science
ArXiv
• 2016
This work identifies sufficient criteria on the powers of the client, which still allow for secure blind quantum computation, in a universally composable framework, and provides a series of protocols, where each step reduces the number of differing states the client needs to be able to prepare.

## References

SHOWING 1-10 OF 24 REFERENCES
Demonstration of Blind Quantum Computing
• Computer Science, Physics
Science
• 2012
An experimental demonstration of blind quantum computing in which the input, computation, and output all remain unknown to the computer is presented and the conceptual framework of measurement-based quantum computation that enables a client to delegate a computation to a quantum server is exploited.
Optimal Blind Quantum Computation
• Computer Science, Physics
Physical review letters
• 2013
This work presents general techniques for upper and lower bounding the quantum communication necessary to perform blind quantum computation, and uses these techniques to establish concrete bounds for common choices of the client's quantum capabilities.
Unconditionally verifiable blind computation
• Computer Science, Mathematics
• 2012
This paper rigorously proves that the probability of detecting an incorrect output is exponentially small in a security parameter, while resource overhead remains polynomial in this parameter, which is a significant improvement on the original BQC scheme, which required that all computations to be performed must first be put into a nearest neighbour form.
Universal Blind Quantum Computation
• Computer Science
2009 50th Annual IEEE Symposium on Foundations of Computer Science
• 2009
The protocol is the first universal scheme which detects a cheating server, as well as the first protocol which does not require any quantum computation whatsoever on the client's side.
Blind quantum computing with weak coherent pulses.
• Computer Science
Physical review letters
• 2012
The concept of ϵ blindness for UBQC is introduced, in analogy to the concept ofπ security developed for other cryptographic protocols, allowing us to characterize the robustness and security properties of the protocol under possible imperfections.
Composable Security of Delegated Quantum Computation
• Computer Science, Mathematics
ASIACRYPT
• 2014
This work defines composable security for delegated quantum computation, and distinguishes between protocols which provide only blindness – the computation is hidden from the server – and those that are also verifiable – the client can check that it has received the correct result.
Experimental verification of quantum computation
• Physics, Computer Science
• 2013
A protocol for testing a quantum computer using minimum quantum resources has been proposed and demonstrated and Alice can verify the result of a quantum computation that she has delegated to Bob without using a quantumComputer.
Interactive Proofs For Quantum Computations
• Computer Science
ICS
• 2010
Any language in BQP has a QPIP, and moreover, a fault tolerant one, and two proofs are provided: the simpler one uses a new (possibly of independent interest) quantum authentication scheme (QAS) based on random Clifford elements, which is not fault tolerant.
Quantum computation: Honesty test
Alice does not have a quantum computer so she delegates a computation to Bob, who does own one. But how can Alice check whether the computation that Bob performs for her is correct? An experiment
Device-independent security of quantum cryptography against collective attacks.
• Computer Science
Physical review letters
• 2007
The main result is a tight bound on the Holevo information between one of the authorized parties and the eavesdropper, as a function of the amount of violation of a Bell-type inequality.