Verifying BQP Computations on Noisy Devices with Minimal Overhead - Archive ouverte HAL
Article Dans Une Revue PRX Quantum Année : 2021

Verifying BQP Computations on Noisy Devices with Minimal Overhead

Résumé

With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While protocols for blind and verifiable quantum computation exist, they suffer from high overheads and from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations. We introduce the first blind and verifiable protocol for delegating BQP computations to a powerful server with repetition as the only overhead. It is composable and statistically secure with exponentially-low bounds and can tolerate a constant amount of global noise.

Dates et versions

hal-03452705 , version 1 (27-11-2021)

Identifiants

Citer

Dominik Leichtle, Luka Music, Elham Kashefi, Harold Ollivier. Verifying BQP Computations on Noisy Devices with Minimal Overhead. PRX Quantum, 2021, 2 (4), pp.040302. ⟨10.1103/PRXQuantum.2.040302⟩. ⟨hal-03452705⟩
114 Consultations
0 Téléchargements

Altmetric

Partager

More