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.