Abstract
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.
© 2014 Optical Society of America
PDF ArticleMore Like This
Philip Walther
QTh2A.1 Quantum Information and Measurement (QIM) 2014
Patrick R. Gill and David G. Stork
CTu3C.4 Computational Optical Sensing and Imaging (COSI) 2014
Maximus Liu, Khadijeh Najafi, Michael Dubrovsky, and Mikhail Y. Shalaginov
QTu3A.2 Quantum 2.0 (QUANTUM) 2023