Unifying communication paradigms in measurement-based delegated quantum computing

Abstract

Delegated quantum computing (DQC) allows clients with low quantum capabilities to outsource computations to a server hosting a quantum computer. This process is often envisioned within the measurement-based quantum computing framework, as it naturally facilitates blindness of inputs and computation. Hence, the overall process of setting up and conducting the computation encompasses a sequence of three stages: preparing the qubits, entangling the qubits to obtain the resource state, and measuring the qubits to run the computation. There are two primary approaches to distributing these stages between the client and the server that impose different constraints on cryptographic techniques and experimental implementations. In the prepare-and-send setting, the client prepares the qubits and sends them to the server, while in the receive-and-measure setting, the client receives the qubits from the server and measures them. Although these settings have been extensively studied independently, their interrelation and whether setting-dependent theoretical constraints are inevitable remain unclear. By implementing the key components of most DQC protocols in the respective missing setting, we provide a method to build prospective protocols in both settings simultaneously and to translate existing protocols from one setting into the other.

15 pages, 3 figures. This work supersedes arXiv:2206.07469. Accepted for publication in ACM Transactions on Quantum Computing

References in corpus (22)

• Measurement-based quantum computation
• Multi-party entanglement in graph states
• Universal blind quantum computation
• A fault-tolerant one-way quantum computer
• Security in Quantum Cryptography
• Unconditionally verifiable blind computation
• Verifiable measurement-only blind quantum computing with stabilizer testing
• Blind quantum computation protocol in which Alice only makes measurements
• Interactive proofs for BQP via self-tested graph states
• Demonstration of measurement-only blind quantum computing
• Composable security of delegated quantum computation
• Multiparty Delegated Quantum Computing
• How to Verify a Quantum Computation
• Self-guaranteed measurement-based quantum computation
• Optimised resource construction for verifiable quantum computation
• Measurement-only verifiable blind quantum computing with quantum input verification
• QFactory: classically-instructed remote secret qubits preparation
• Universal distributed blind quantum computing with solid-state qubits
• Security Limitations of Classical-Client Delegated Quantum Computing
• Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
• Categorical composable cryptography
• All graph state verification protocols are composably secure