Verifying BQP Computations on Noisy Devices with Minimal Overhead
Verifying BQP Computations on Noisy Devices with Minimal Overhead
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 oversensitivity: when running on noisy devices, imperfections trigger the same …