Device-Independent Verifiable Blind Quantum Computation
This addresses the pressing concern of verifying correct operation in quantum processors for researchers and developers, offering a more efficient solution compared to existing schemes.
The paper tackles the problem of verifying quantum computations with prohibitive overhead by introducing a novel approach combining verified blind quantum computation and Bell state self-testing, achieving dramatically reduced overhead with resources scaling as O(m^4 ln m) in the number of gates.
As progress on experimental quantum processors continues to advance, the problem of verifying the correct operation of such devices is becoming a pressing concern. The recent discovery of protocols for verifying computation performed by entangled but non-communicating quantum processors holds the promise of certifying the correctness of arbitrary quantum computations in a fully device-independent manner. Unfortunately, all known schemes have prohibitive overhead, with resources scaling as extremely high degree polynomials in the number of gates constituting the computation. Here we present a novel approach based on a combination of verified blind quantum computation and Bell state self-testing. This approach has dramatically reduced overhead, with resources scaling as only $O(m^4\ln m)$ in the number of gates.