Verifying BQP Computations on Noisy Devices with Minimal Overhead - Archive ouverte HAL Access content directly
Journal Articles PRX Quantum Year : 2021

Verifying BQP Computations on Noisy Devices with Minimal Overhead

Abstract

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 and versions

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

Identifiers

Cite

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⟩
58 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More