A Provably Secure Framework for Noise-Aware Delegated Quantum Computation and Storage
Abstract
As large-scale quantum computers become a reality, they will likely exist as centralized cloud resources accessible to a broad user base. Securely delegating private quantum computations to untrusted servers is therefore a foundational challenge. This requires rigorous, provable guarantees of privacy (blindness), correctness (completeness), and integrity against malicious actions (verifiability). This paper presents a complete end-to-end framework for noise-aware distributed quantum computation. Our architecture is built on three technical pillars: (1) a distributed stabilizer code backbone to securely encode and store quantum states across multiple non-communicating server nodes; (2) a two-level error correction scheme, where each server node can locally correct errors based on its specific noise model; and (3) a trap-based verification protocol to detect any malicious deviation by the server. We formally provide a security analysis to prove that our framework achieves completeness, blindness, and verifiability. Our work thus provides a practical and provably secure blueprint for trustworthy distributed quantum computation framework, paving the way for secure quantum cloud services.
Cite
@article{arxiv.2403.07596,
title = {A Provably Secure Framework for Noise-Aware Delegated Quantum Computation and Storage},
author = {Sanidhya Gupta and Ankur Raina},
journal= {arXiv preprint arXiv:2403.07596},
year = {2025}
}