Abstract:With the advent of cloud-based quantum computing, it has become vital to provide strong guarantees that computations delegated by clients to quantum service providers have been executed faithfully. Secure - blind and verifiable - Delegated Quantum Computing (SDQC) has emerged as one of the key approaches to address this challenge, yet current protocols lack at least one of the following three ingredients: composability, noise-robustness and modularity. To tackle this question, our paper lays out the fundamental structure of SDQC protocols, namely mixing two components: the computation which the client would like the server to perform and tests that are designed to detect a server's malicious behaviour. Using this abstraction, our main technical result is a set of sufficient conditions on these components which imply the security and noise-robustness of generic SDQC protocols in the composable Cryptography framework. This is done by establishing a correspondence between these security properties and the error-detection capabilities of the test computations. Changing the types of tests and how they are mixed with the client's computation automatically yields new SDQC protocols with different security and noise-robustness capabilities. This approach thereby provides the desired modularity as our sufficient conditions on test computations simplify the steps required to prove the security of the protocols and allows to focus on the design and optimisation of test rounds to specific situations. We showcase this by systematising the search for improved SDQC protocols for Bounded-error Quantum Polynomial-time (BQP) computations. The resulting protocols do not require more hardware on the server's side than what is necessary to blindly delegate the computation without verification, and they outperform all previously known results.

Parallel self-testing for device-independent verifiable blind quantum computation.

Parallel self-testing of EPR pairs under computational assumptions

Self-testing of a single quantum device under computational assumptions

Verification for measurement-only blind quantum computing

Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States

Towards experimental classical verification of quantum computation

Experimental Realization of Robust Self-Testing of Bell State Measurements

Experimental self-testing of entangled states

Complete Self-Testing of a System of Remote Superconducting Qubits

Robust self-testing of the $m-$partite maximally entangled state and observables

Certifying bipartite pure quantum states efficiently using untrusted devices

Randomness-free Test of Non-classicality: a Proof of Concept

Experimental Verifying Partial Device-Independent One-Way Quantum Computing

Efficient and Device-Independent Active Quantum State Certification

Measurement-only verifiable blind quantum computing with quantum input verification

Semi-device Independent Nonlocality Certification for Near-Term Quantum Networks

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

Robust and efficient verification of graph states in blind measurement-based quantum computation

Fault-tolerant Operations for Universal Blind Quantum Computation

Self-testing through EPR-steering

Self-testing memory-bounded quantum computers