Classical Homomorphic Encryption for Quantum Circuits


We present a computationally secure classical homomorphic encryption scheme for quantum circuits. The scheme allows a classical server to blindly delegate a quantum computation to a quantum server; the server is able to run the computation without learning about the computation itself. We show that it is possible to construct such a scheme directly from quantum secure classical homomorphic encryption schemes with certain properties. Finally, we show that an existing classical homomorphic encryption scheme has the required properties, and can therefore be used to homomorphically evaluate quantum circuits.
Submitted 7 Aug 2017 to Quantum Physics [quant-ph]
Published 8 Aug 2017
Updated 11 Sep 2017
Subjects: quant-ph cs.CR
Author comments: The first version of this paper relied on sub exponentially secure indistinguishability obfuscation. In this version, we weaken the cryptographic assumption to quantum secure classical homomorphic encryption. Although the high level ideas have remained the same, most of the paper has been rewritten