Verification of Quantum Computation
Elham Kashefi · Research in Optical Sciences · 2014
Since classical computations cannot scale up to the computational power of quantum mechanics, how can we hope to verify the result of a quantum-enhanced computation? We present a new approach toward verification based on the ability to compute with encrypted data, while hiding the underlying function, through the detection of a cheating server. The core idea is to encode simple trap computations within a general computation that we run on a remote device in such a way that the computation is not affected, while revealing no information to the server. The correctness of the big computation is then tested via the verification of the trap computation.