Verifiable measurement-only blind quantum computing with stabilizer testing

Abstract

We introduce a simple protocol for verifiable measurement-only blind quantum computing. Alice, a client, can perform only single-qubit measurements, whereas Bob, a server, can generate and store entangled many-qubit states. Bob generates copies of a graph state, which is a universal resource state for measurement-based quantum computing, and sends Alice each qubit of them one by one. Alice adaptively measures each qubit according to her program. If Bob is honest, he generates the correct graph state, and therefore Alice can obtain the correct computation result. Regarding the security, whatever Bob does, Bob cannot learn any information about Alice's computation because of the no-signaling principle. Furthermore, evil Bob does not necessarily send the copies of the correct graph state, but Alice can check the correctness of Bob's state by directly verifying stabilizers of some copies.

14 pages, 3 figures

References in corpus (25)

• Mixed State Entanglement and Quantum Error Correction
• Topological fault-tolerance in cluster state quantum computation
• Experimental Demonstration of Blind Quantum Computing
• Novel schemes for measurement-based quantum computation
• Blind quantum computation protocol in which Alice only makes measurements
• Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian
• 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
• Optimal Blind Quantum Computation
• Efficient universal blind computation
• 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
• A study of LOCC-detection of a maximally entangled state using hypothesis testing
• Overcoming efficiency constraints on blind quantum computation
• Group theoretical study of LOCC-detection of maximally entangled state using hypothesis testing
• Device-Independent Verifiable Blind Quantum Computation
• Self-Testing of Universal and Fault-Tolerant Sets of Quantum Gates
• Asymptotic local hypothesis testing between a pure bipartite state and the completely mixed state
• Tight asymptotic bounds on local hypothesis testing between a pure bipartite state and the white noise state
• Mapping the spatial distribution of entanglement in optical lattices
• Generating and verifying graph states for fault-tolerant topological measurement-based quantum computing in 2D optical lattices

Cited by in corpus (108)

• Photonic quantum information processing: a review
• Verification of quantum computation: An overview of existing approaches
• Theory of quantum system certification: a tutorial
• Optimal verification of entangled states with local measurements
• Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
• Experimental Blind Quantum Computing for a Classical Client
• Post hoc verification with a single prover
• Efficient Verification of Pure Quantum States in the Adversarial Scenario
• Post hoc verification of quantum computation
• Theoretical and Experimental Perspectives of Quantum Verification
• Verification of Many-Qubit States
• Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
• Quantum homomorphic encryption from quantum codes
• Efficient Verification of Hypergraph States
• General framework for verifying pure quantum states in the adversarial scenario
• Verified measurement-based quantum computing with hypergraph states
• How to Verify a Quantum Computation
• Optimal Verification of Two-Qubit Pure States
• Optimal verification and fidelity estimation of maximally entangled states
• Self-guaranteed measurement-based quantum computation
• Resource-efficient verification of quantum computing using Serfling's bound
• Semiquantum key distribution with secure delegated quantum computation
• Efficient verification of bipartite pure states
• Verifiable fault-tolerance in measurement-based quantum computation
• Optimal Verification of Greenberger-Horne-Zeilinger States
• Optimal verification of stabilizer states
• Optimised resource construction for verifiable quantum computation
• Accrediting outputs of noisy intermediate-scale quantum computing devices
• Measurement-only verifiable blind quantum computing with quantum input verification
• Towards the standardization of quantum state verification using optimal strategies
• Quantum remote sensing with asymmetric information gain
• Verification of phased Dicke states
• Quantum proofs can be verified using only single qubit measurements
• Multi-client distributed blind quantum computation with the Qline architecture
• Verifying commuting quantum computations via fidelity estimation of weighted graph states
• Robust and efficient verification of graph states in blind measurement-based quantum computation
• Flow Ambiguity: A Path Towards Classically Driven Blind Quantum Computation
• Quantum verification and estimation with few copies
• Computing on quantum shared secrets
• Experimental accreditation of outputs of noisy quantum computers
• Garbled Quantum Computation
• Universally Optimal Verification of Entangled States with Nondemolition Measurements
• Reducing resources for verification of quantum computations
• Blind quantum computation for a user who only performs single-qubit gates
• QEnclave -- A practical solution for secure quantum cloud computing
• A Hybrid and Universal Blind Quantum Computation
• Graph-Theoretic Framework for Self-Testing in Bell Scenarios
• Verification of graph states in an untrusted network
• Efficient verification of Affleck-Kennedy-Lieb-Tasaki states
• Dense Coding with Locality Restriction for Decoder: Quantum Encoders vs. Super-Quantum Encoders
• Fidelity measurement of a multiqubit cluster state with minimal effort
• Nonadaptive fault-tolerant verification of quantum supremacy with noise
• Security Limitations of Classical-Client Delegated Quantum Computing
• Deploying hybrid quantum-secured infrastructure for applications: When quantum and post-quantum can work together
• Client-friendly continuous-variable blind and verifiable quantum computing
• Experimental verifiable multi-client blind quantum computing on a Qline architecture
• Verifiable Quantum Secure Modulo Summation
• Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
• Efficient verification of entangled continuous-variable quantum states with local measurements
• Efficient Verification of Ground States of Frustration-Free Hamiltonians
• Classical verification of quantum circuits containing few basis changes
• Measurement-based universal blind quantum computation with minor resources
• The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation
• Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy
• Authenticated teleportation and verification in a noisy network
• Cross-verification of independent quantum devices
• Universal Single-Server Blind Quantum Computation for Classical Clients
• Hardware requirements for trapped-ion based verifiable blind quantum computing with a measurement-only client
• Collective Operations Can Exponentially Enhance Quantum State Verification
• On optimising quantum communication in verifiable quantum computing
• A Specification Format and a Verification Method of Fault-Tolerant Quantum Circuits
• Pseudo standard entanglement structure cannot be distinguished from standard entanglement structure
• Blind Quantum Computation Using a Circuit-Based Quantum Computer
• Ancilla-driven instantaneous quantum polynomial time circuit for quantum supremacy
• Divide-and-conquer verification method for noisy intermediate-scale quantum computation
• Improving entanglement purification through coherent superposition of roles
• Experimental optimal verification of three-dimensional entanglement on a silicon chip
• Quantum Merlin-Arthur with noisy channel
• Learning Properties of Quantum States Without the I.I.D. Assumption
• Sumcheck-based delegation of quantum computing to rational server
• Multi-server Blind Quantum Computation Protocol With Limited Classical Communication Among Servers
• Finding resource states of measurement-based quantum computing is harder than quantum computing
• Quantum Arthur-Merlin with single-qubit measurements
• Public verifiable measurement-only blind quantum computation based on entanglement witnesses
• Nondestructive Verification of Entangled States via Fidelity Witnessing
• Multi-agent blind quantum computation without universal cluster states
• Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center
• Passive verification protocol for thermal graph states
• Measuring quantum relative entropy with finite-size effect
• Two-Server Oblivious Transfer for Quantum Messages
• Blind quantum computing can always be made verifiable
• Parallel remote state preparation for fully device-independent verifiable blind quantum computation
• Quantum security computation on shared secrets
• Experimental Verification of Entangled States in the Adversarial Scenario
• Impossibility of blind quantum sampling for classical client
• Quantum state and circuit distinguishability with single-qubit measurements
• Phase Transitions and Noise Robustness of Quantum Graph States
• Why cut-and-choose quantum state verification cannot be both efficient and secure
• Maximally nonlocal subspaces
• Unifying communication paradigms in measurement-based delegated quantum computing
• Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases
• Equivalence of Single-server and Multiple-servers Blind Quantum Computation Protocols
• Efficient verification and fidelity estimation of discrete bipartite squeezed states
• Dissipative engineering a tripartite Greenberger-Horne-Zeilinger state for neutral atoms
• Beating the Optimal Verification of Entangled States via Collective Strategies
• Prescriptive preparation and verification of nonstabilizer states
• Gate Teleportation-based Universal Blind Quantum Computation
• Blind quantum computing with different qudit resource state architectures