Partial Blind Quantum Computation: A Framework for Selective Circuit Protection

Abstract

Quantum computing is rapidly advancing toward cloud-based services, raising significant concerns about the privacy and security of computations outsourced to untrusted quantum servers. Universal Blind Quantum Computation (UBQC) protocols enable clients with limited quantum resources to delegate computations while concealing both inputs and circuit details. However, applying UBQC uniformly to an entire quantum circuit incurs additional quantum resources and computational overhead, which can be a significant burden in practical implementations. In many cases, such as Grover's algorithm, only specific subroutines-like oracles-contain sensitive information, while the rest of the circuit does not require the same level of protection. Therefore, selectively applying UBQC to critical components can enhance computational efficiency while maintaining security. In this work, we propose a selective application of UBQC that targets only the critical components of quantum circuits. By integrating techniques from Quantum Homomorphic Encryption (QHE) and UBQC, our approach secures the sensitive subcircuits while allowing the remaining, non-sensitive portions to be executed more efficiently. In our framework, UBQC-protected sections output quantum states that are encrypted via bit-flip and phase-flip operations, and we devise a mechanism based on selective X and Z gate corrections to seamlessly interface these with unprotected sections. We provide a security analysis demonstrating that our selective UBQC approach preserves universality, correctness, and blindness, and we illustrate its practical advantages through an application to Grover's algorithm. This work paves the way for more efficient and practical secure quantum computing on near-term devices.

26 pages. 8 figures

References in corpus (15)

• Quantum Computing in the NISQ era and beyond
• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Universal blind quantum computation
• Unconditionally verifiable blind computation
• Quantum circuits of T-depth one
• Blind quantum computation protocol in which Alice only makes measurements
• Verification of quantum computation: An overview of existing approaches
• Quantum computing on encrypted data
• Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design
• Delegating Private Quantum Computations
• Measurement-only verifiable blind quantum computing with quantum input verification
• QFactory: classically-instructed remote secret qubits preparation
• SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation
• Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption
• Multi-agent blind quantum computation without universal cluster states