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.

SarDub19: An Error Estimation and Reconciliation Protocol

Error Reconciliation Algorithm for Quantum Key Distribution

Study on Error Reconciliation in Quantum Key Distribution

Multi-matrix Error Estimation and Reconciliation for Quantum Key Distribution

A Simple Approach to Error Reconciliation in Quantum Key Distribution

Efficient Error Estimation in Quantum Key Distribution

Information Reconciliation Protocol in Quantum Key Distribution System

Realization of Error Correction and Reconciliation of Continuous Quantum Key Distribution in Detail

Rate-adaptive reconciliation and its estimator for quantum bit error rate

The Quantum Cryptography Approach: Unleashing the Potential of Quantum Key Reconciliation Protocol for Secure Communication

Study On Scrambling Algorithms Of Error Reconciliation In Qkd

High performance reconciliation for practical quantum key distribution systems

Efficient Information Reconciliation for High-Dimensional Quantum Key Distribution

Performance of Cascade and LDPC-codes for Information Reconciliation on Industrial Quantum Key Distribution Systems

Fast, efficient error reconciliation for quantum cryptography

Efficient Integration of Rate-Adaptive Reconciliation with Syndrome-Based Error Estimation and Subblock Confirmation for Quantum Key Distribution

Efficient Rate-Adaptive Reconciliation in Quantum Key Distribution

A novel approach to estimating reconciliation leakage for quantum key distribution

A Real-Time Design Based on FPGA for Expeditious Error Reconciliation in QKD System

Information Reconciliation for Continuous-Variable Quantum Key Distribution Beyond the Devetak-Winter Bound Using Short Blocklength Error Correction Codes

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