Private Delegated Quantum Computing for User-Level and Industry-Level Settings

arXiv:2405.116084.8h-index: 1
AI Analysis

This work provides a modular framework for analyzing and designing private delegated quantum computing protocols, clarifying privacy guarantees for different client capabilities and adversarial models.

The paper presents a hierarchy of private delegated quantum computation protocols for user-level and industry-level settings, parameterized by client quantum resources. It separates different privacy notions (state, structural, output) and clarifies conditions for classical-key updates on encrypted data, achieving leakage-relative state hiding and transcript unlinkability under explicit assumptions.

We present a modular hierarchy of private delegated quantum computation protocols tailored to user-level and industry-level settings and parameterized by the quantum resources available to the client. For each protocol, we specify the client capabilities, delegated gate set, adversarial model, transcript leakage and resulting privacy claims. The hierarchy separates QOTP state privacy under declared leakage from leakage-dependent transcript-level angle ambiguity, compiler- and leakage-function-dependent structural privacy, and output privacy, clarifies when public Clifford operations can be evaluated on quantum-one-time-pad encrypted data by classical key updates, and identifies where non-Clifford privacy, non-collusion or additional primitives are required. The classical-client branch uses a persistent common-node, matching-hidden split-QOTP together with shuffled finite-grid $r$-share sign-randomized angle sharing to obtain leakage-relative state hiding under an explicit $ε_{\mathrm{key}}$ key-hiding condition and transcript-level unlinkability under hidden-matching assumptions under an explicit non-total-collusion and leakage model. The angle-sharing primitives provide transcript ambiguity under explicit leakage assumptions, not universal blindness. The trap-based layer provides detection under stated assumptions, but it is not a stand-alone malicious-security proof.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes