Towards practical secure delegated quantum computing with semi-classical light
arXiv:2409.12103 · doi:10.22331/q-2025-12-12-1943
Abstract
Secure Delegated Quantum Computation (SDQC) protocols are a vital piece of the future quantum information processing global architecture since they allow end-users to perform their valuable computations on remote quantum servers without fear that a malicious quantum service provider or an eavesdropper might acquire some information about their data or algorithm. They also allow end-users to check that their computation has been performed as they have specified it. However, existing protocols all have drawbacks that limit their usage in the real world. Most require the client to either operate a single-qubit source or perform single-qubit measurements, thus requiring them to still have some quantum technological capabilities albeit restricted, or require the server to perform operations which are hard to implement on real hardware (e.g isolate single photons from laser pulses and polarisation-preserving photon-number quantum non-demolition measurements). Others remove the need for quantum communications entirely but this comes at a cost in terms of security guarantees and memory overhead on the server's side. We present an SDQC protocol which drastically reduces the technological requirements of both the client and the server while providing information-theoretic composable security. More precisely, the client only manipulates an attenuated laser pulse, while the server only handles interacting quantum emitters with a structure capable of generating spin-photon entanglement. The quantum emitter acts as both a converter from coherent laser pulses to polarisation-encoded qubits and an entanglement generator. Such devices have recently been used to demonstrate the largest entangled photonic state to date, thus hinting at the readiness of our protocol for experimental implementations.
45 pages, 15 figures
References in corpus (40)
- Quantum cryptography: Public key distribution and coin tossing
- Resource-efficient linear optical quantum computation
- Progressive field-state collapse and quantum non-demolition photon counting
- Deterministic Generation of a Cluster State of Entangled Photons
- Sequential generation of entangled multi-qubit states
- A photon-photon quantum gate based on a single atom in an optical resonator
- A photonic cluster state machine gun
- Unconditionally verifiable blind computation
- Nondestructive Detection of an Optical Photon
- Photonic tensor networks produced by a single quantum emitter
- A quantum phase switch between a single solid-state spin and a photon
- Bright Polarized Single-Photon Source Based on a Linear Dipole
- Input-Output Theory with Quantum Pulses
- Universally Composable Quantum Multi-Party Computation
- Generalized Flow and Determinism in Measurement-based Quantum Computation
- Blind topological measurement-based quantum computation
- Universal Blind Quantum Computing with Weak Coherent Pulses
- Swing-up of quantum emitter population using detuned pulses
- Demonstration of measurement-only blind quantum computing
- Local effective dynamics of quantum systems: A generalized approach to work and heat
- Composable security of delegated quantum computation
- SUPER Scheme in Action: Experimental Demonstration of Red-detuned Excitation of a Quantum Dot
- Sequential generation of multiphoton entanglement with a Rydberg superatom
- Entangling a Hole Spin with a Time-Bin Photon: A Waveguide Approach for Quantum Dot Sources of Multi-Photon Entanglement
- High-fidelity multi-photon-entangled cluster state with solid-state quantum emitters in photonic nanostructures
- Deterministic Generation of Loss-Tolerant Photonic Cluster States with a Single Quantum Emitter
- Fusion of deterministically generated photonic graph states
- Towards a source of multi-photon entangled states for linear optical quantum computing
- Generation of arbitrary all-photonic graph states from quantum emitters
- Pulsed Rabi oscillations in quantum two-level systems: beyond the Area Theorem
- Optimised resource construction for verifiable quantum computation
- Realization of a Universal Quantum Gate Set for Itinerant Microwave Photons
- Near-deterministic hybrid generation of arbitrary photonic graph states using a single quantum emitter and linear optics
- QFactory: classically-instructed remote secret qubits preparation
- Deterministic generation of multidimensional photonic cluster states using time-delay feedback
- Remote blind state preparation with weak coherent pulses in the field
- On the possibility of classical client blind quantum computing
- Security Limitations of Classical-Client Delegated Quantum Computing
- Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
- Closed-System Solution of the 1D Atom from Collision Model