Universal blind quantum computation
arXiv:0807.4154 · doi:10.1109/FOCS.2009.36
Abstract
We present a protocol which allows a client to have a server carry out a quantum computation for her such that the client's inputs, outputs and computation remain perfectly private, and where she does not require any quantum computational power or memory. The client only needs to be able to prepare single qubits randomly chosen from a finite set and send them to the server, who has the balance of the required quantum computational resources. Our protocol is interactive: after the initial preparation of quantum states, the client and server use two-way classical communication which enables the client to drive the computation, giving single-qubit measurement instructions to the server, depending on previous measurement outcomes. Our protocol works for inputs and outputs that are either classical or quantum. We give an authentication protocol that allows the client to detect an interfering server; our scheme can also be made fault-tolerant. We also generalize our result to the setting of a purely classical client who communicates classically with two non-communicating entangled servers, in order to perform a blind quantum computation. By incorporating the authentication protocol, we show that any problem in BQP has an entangled two-prover interactive proof with a purely classical verifier. Our 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. The novelty of our approach is in using the unique features of measurement-based quantum computing which allows us to clearly distinguish between the quantum and classical aspects of a quantum computation.
20 pages, 7 figures. This version contains detailed proofs of authentication and fault tolerance. It also contains protocols for quantum inputs and outputs and appendices not available in the published version
References in corpus (4)
Cited by in corpus (183)
- Advances in Quantum Cryptography
- Quantum Computational Supremacy
- Practical challenges in quantum key distribution
- Quantum repeaters: From quantum networks to the quantum internet
- Deterministic delivery of remote entanglement on a quantum network
- Experimental Demonstration of Blind Quantum Computing
- Qubit teleportation between non-neighboring nodes in a quantum network
- When Entanglement meets Classical Communications: Quantum Teleportation for the Quantum Internet (Invited Paper)
- A Link Layer Protocol for Quantum Networks
- Towards a Distributed Quantum Computing Ecosystem
- Quantum Cryptography Beyond Quantum Key Distribution
- Experimental demonstration of graph-state quantum secret sharing
- Verification of quantum computation: An overview of existing approaches
- Quantum computing on encrypted data
- Computational advantage of quantum random sampling
- Experimental Verification of Multipartite Entanglement in Quantum Networks
- Designing a Quantum Network Protocol
- Entanglement-Assisted Quantum Networks: Mechanics, Enabling Technologies, Challenges, and Research Directions
- Blind topological measurement-based quantum computation
- Continuous entanglement distribution over a transnational 248 km fibre link
- Reliable quantum certification for photonic quantum technologies
- Towards Large-Scale Quantum Networks
- Quantum networks with neutral atom processing nodes
- Quantum homomorphic encryption for circuits of low -gate complexity
- Qudit versions of the qubit "pi-over-eight" gate
- Robustness and device independence of verifiable blind quantum computing
- Quantum Algorithmic Measurement
- Near-Term Quantum Computing Techniques: Variational Quantum Algorithms, Error Mitigation, Circuit Compilation, Benchmarking and Classical Simulation
- Recent advances for quantum classifiers
- Quantum one-time programs
- Experimental demonstration of entanglement delivery using a quantum network stack
- Interactive proofs for BQP via self-tested graph states
- Demonstration of measurement-only blind quantum computing
- Symmetric quantum fully homomorphic encryption with perfect security
- Composable security of delegated quantum computation
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- A Quantum Internet Architecture
- QuISP: a Quantum Internet Simulation Package
- Multiparty Delegated Quantum Computing
- Distributing Multipartite Entanglement over Noisy Quantum Networks
- Measurement-based Quantum Communication
- Practical quantum computing on encrypted data
- Quantum fully homomorphic encryption scheme based on universal quantum circuit
- Self-testing through EPR-steering
- Distributed Quantum Computing and Network Control for Accelerated VQE
- Optimal quantum networks and one-shot entropies
- How to Verify a Quantum Computation
- On the Stochastic Analysis of a Quantum Entanglement Switch
- Resource requirements for efficient quantum communication using all-photonic graph states generated from a few matter qubits
- Resource-efficient verification of quantum computing using Serfling's bound
- Statistical properties of the quantum internet
- A quantum approach to homomorphic encryption
- Semiquantum key distribution with secure delegated quantum computation
- Designing Quantum Networks Using Preexisting Infrastructure
- Delegating Private Quantum Computations
- Large-scale quantum networks based on graphs
- Quantum Commuting Circuits and Complexity of Ising Partition Functions
- Verifiable blind quantum computing with trapped ions and single photons
- Protocols for Packet Quantum Network Intercommunication
- Quantum NETwork: from theory to practice
- Deployed MDI-QKD and Bell-State Measurements Coexisting with Standard Internet Data and Networking Equipment
- Non-interactive classical verification of quantum computation
- Complex Quantum Networks: a Topical Review
- Machine learning \& artificial intelligence in the quantum domain
- Secure two-party quantum evaluation of unitaries against specious adversaries
- Accrediting outputs of noisy intermediate-scale quantum computing devices
- Non-IID Quantum Federated Learning with One-shot Communication Complexity
- Efficient verification of Boson Sampling
- QFactory: classically-instructed remote secret qubits preparation
- An integrated atom array -- nanophotonic chip platform with background-free imaging
- Universal MBQC with generalised parity-phase interactions and Pauli measurements
- Deterministic quantum state transfer between remote qubits in cavities
- Requirements for a processing-node quantum repeater on a real-world fiber grid
- Universal distributed blind quantum computing with solid-state qubits
- Multi-client distributed blind quantum computation with the Qline architecture
- Fault-tolerant Operations for Universal Blind Quantum Computation
- Computational Security of Quantum Encryption
- Quantum processing by remote quantum control
- Quantum Fully Homomorphic Encryption With Verification
- Quantum spin systems for measurement-based quantum computation
- A Throughput Optimal Scheduling Policy for a Quantum Switch
- Client-Server Identification Protocols with Quantum PUF
- Towards long-distance quantum networks with superconducting processors and optical links
- qBitcoin: A Peer-to-Peer Quantum Cash System
- Breaking universal limitations on quantum conference key agreement without quantum memory
- Robust and efficient verification of graph states in blind measurement-based quantum computation
- Privacy-preserving quantum federated learning via gradient hiding
- Identification of networking quantum teleportation on 14-qubit IBM universal quantum computer
- The complexity of simulating constant-depth BosonSampling
- Two-photon comb with wavelength conversion and 20-km distribution for quantum communication
- On the possibility of classical client blind quantum computing
- Variational Quantum Optimization of Nonlocality in Noisy Quantum Networks
- Programmable Multi-Node Quantum Network Design and Simulation
- Garbled Quantum Computation
- Minimum-cost quantum measurements for quantum information
- Composable security in relativistic quantum cryptography
- A comparative study of universal quantum computing models: towards a physical unification
- Probabilistic one-time programs using quantum entanglement
- QEnclave -- A practical solution for secure quantum cloud computing
- Quantum circuit compilation and hybrid computation using Pauli-based computation
- The Quantum Internet: A Hardware Review
- Quantum Internet: Technologies, Protocols, and Research Challenges
- Practically feasible robust quantum money with classical verification
- Quantum Searchable Encryption for Cloud Data Based on Full-Blind Quantum Computation
- Security Limitations of Classical-Client Delegated Quantum Computing
- A Control Architecture for Entanglement Generation Switches in Quantum Networks
- Nonadaptive fault-tolerant verification of quantum supremacy with noise
- Succinct Blind Quantum Computation Using a Random Oracle
- The Network Impact of Hijacking a Quantum Repeater
- Verifiable Quantum Secure Modulo Summation
- Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
- Classical zero-knowledge arguments for quantum computations
- On the Bipartite Entanglement Capacity of Quantum Networks
- Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
- Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation
- Communication Cost of Quantum Processes
- A reconfigurable entanglement distribution network suitable for connecting multiple ground nodes with a satellite
- Measurement-based universal blind quantum computation with minor resources
- Quantum-machine-assisted Drug Discovery
- Lessons Learned on the Interface between Quantum and Conventional Networking
- QuIP: A P4 Quantum Internet Protocol Prototyping Framework
- True image construction in quantum-secured single-pixel imaging under spoofing attack
- Adiabatic graph-state quantum computation
- Asymmetric quantum multicast network coding: asymmetric optimal cloning over quantum networks
- Realization of an untrusted intermediate relay architecture using a quantum dot single-photon source
- Blind Quantum Computation Using a Circuit-Based Quantum Computer
- An entanglement-based protocol for simultaneous reciprocal information exchange between 2 players
- Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption
- Routing in Quantum Networks with End-to-End Knowledge
- In situ characterization of linear-optical networks in randomized boson sampling
- On the Minimum Degree up to Local Complementation: Bounds and Complexity
- Categorical composable cryptography
- Probabilistic state synthesis based on optimal convex approximation
- Quantum computation by teleportation and symmetry
- Resilient Entanglement Distribution in a Multihop Quantum Network
- Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
- Delegating Quantum Computation in the Quantum Random Oracle Model
- Cross-Validating Quantum Network Simulators
- Optical fibres with memory effects and their quantum communication capacities
- A survey of universal quantum von Neumann architecture
- Quantum delegated and federated learning via quantum homomorphic encryption
- Repeater-Based Quantum Communication Protocol: Maximizing Teleportation Fidelity with Minimal Entanglement
- Disti-Mator: an entanglement distillation-based state estimator
- Scalable Timing Coordination of Bell State Analyzers in Quantum Networks
- Public verifiable measurement-only blind quantum computation based on entanglement witnesses
- Lightweight Detection of a Small Number of Large Errors in a Quantum Circuit
- Quantum circuit synthesis for generalized coherent states
- Multi-server Blind Quantum Computation Protocol With Limited Classical Communication Among Servers
- Categorical composable cryptography: extended version
- Scalable Determination of Multipartite Entanglement in Quantum Networks
- Quantum Technology for Military Applications
- Lattice-Based Quantum Advantage from Rotated Measurements
- The Min-Entropy of Classical-Quantum Combs for Measurement-Based Applications
- Impact of the malicious input data modification on the efficiency of quantum spatial search
- Improving social welfare in non-cooperative games with different types of quantum resources
- Boosting end-to-end entanglement fidelity in quantum repeater networks via hybridized strategies
- Two-Server Oblivious Transfer for Quantum Messages
- A Remote Quantum Error-correcting Code Preparation Protocol on Cluster State
- Surrogate-guided optimization in quantum networks
- Experimental demonstration of robust entanglement distribution over reciprocal noisy channels assisted by a counter-propagating classical reference light
- Rewindable Quantum Computation and Its Equivalence to Cloning and Adaptive Postselection
- Gate Teleportation in Noisy Quantum Networks with the SquidASM Simulator
- On computational complexity and average-case hardness of shallow-depth boson sampling
- An on-demand resource allocation algorithm for a quantum network hub and its performance analysis
- Electrically-Driven and Exponentially-Enhanced Spin-Photon Interfaces for Quantum Networks
- On the composable security of weak coin flipping
- A resource- and computationally-efficient protocol for multipartite entanglement distribution in Bell-pair networks
- Quantum security computation on shared secrets
- Equivalence of Single-server and Multiple-servers Blind Quantum Computation Protocols
- Accreditation Against Limited Adversarial Noise
- Partial Blind Quantum Computation: A Framework for Selective Circuit Protection
- Integrating Entanglement Purification into All-Photonic Quantum Repeaters
- Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases
- Unifying communication paradigms in measurement-based delegated quantum computing
- The QTF-Backbone: Proposal for a Nationwide Optical Fibre Backbone in Germany for Quantum Technology and Time and Frequency Metrology
- Circuit Partitioning for the Quantum Internet
- Dynamic Entanglement Packet Scheduling for Quantum Networks
- Efficient simulation of noisy entanglement generation
- Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow
- Masking Countermeasures Against Side-Channel Attacks on Quantum Computers
- Quantum oblivious transfer: a short review
- Pauli Flow on Open Graphs with Unknown Measurement Labels
- Information-Theoretic Limits of Quantum Learning via Data Compression