Measurement-only verifiable blind quantum computing with quantum input verification

Abstract

Verifiable blind quantum computing is a secure delegated quantum computing where a client with a limited quantum technology delegates her quantum computing to a server who has a universal quantum computer. The client's privacy is protected (blindness) and the correctness of the computation is verifiable by the client in spite of her limited quantum technology (verifiability). There are mainly two types of protocols for verifiable blind quantum computing: the protocol where the client has only to generate single-qubit states, and the protocol where the client needs only the ability of single-qubit measurements. The latter is called the measurement-only verifiable blind quantum computing. If the input of the client's quantum computing is a quantum state whose classical efficient description is not known to the client, there was no way for the measurement-only client to verify the correctness of the input. Here we introduce a new protocol of measurement-only verifiable blind quantum computing where the correctness of the quantum input is also verifiable.

7 pages, 1 figure

References in corpus (19)

• Measurement-based quantum computation with cluster states
• Coding Theorem and Strong Converse for Quantum Channels
• Experimental Demonstration of Blind Quantum Computing
• Verifiable measurement-only blind quantum computing with stabilizer testing
• Blind quantum computation protocol in which Alice only makes measurements
• Experimental verification of quantum computations
• Blind topological measurement-based quantum computation
• Universal Blind Quantum Computing with Weak Coherent Pulses
• Robustness and device independence of verifiable blind quantum computing
• Efficient universal blind computation
• Optimal Blind Quantum Computation
• Interactive proofs for BQP via self-tested graph states
• Demonstration of measurement-only blind quantum computing
• Composable security of delegated quantum computation
• Ancilla-Driven Universal Blind Quantum Computation
• Secure entanglement distillation for double-server blind quantum computation
• Continuous-variable blind quantum computation
• Quantum proofs can be verified using only single qubit measurements
• Quantum Arthur-Merlin with single-qubit measurements

Cited by in corpus (14)

• Photonic quantum information processing: a review
• Blind quantum computation for a user who only performs single-qubit gates
• A Hybrid and Universal Blind Quantum Computation
• Quantum cryptography beyond key distribution: theory and experiment
• Client-friendly continuous-variable blind and verifiable quantum computing
• Measurement-based universal blind quantum computation with minor resources
• Minimal physical resources for the realisation of measurement-based quantum computation
• Divide-and-conquer verification method for noisy intermediate-scale quantum computation
• Public verifiable measurement-only blind quantum computation based on entanglement witnesses
• Blind quantum computing can always be made verifiable
• Gate Teleportation-based Universal Blind Quantum Computation
• Partial Blind Quantum Computation: A Framework for Selective Circuit Protection
• Unifying communication paradigms in measurement-based delegated quantum computing
• Blind quantum computing with different qudit resource state architectures