Obfuscation and Homomorphic Encryption in the Quantum Setting
Our research goals, which are a mix of theoretical and practical problems, are motivated by the practical near-term problem of delegating tasks to an untrusted remote quantum computer in a secure way. Toward this, we consider the notions of indistinguishability obfuscation for quantum circuits and quantum fully homomorphic encryption schemes. The former refers to algorithms that take a given quantum circuit and make it less intelligible, such that the new circuit still gives the same outputs as the original one. The latter refers to encryption schemes that allow a remote party to perform any arbitrary computation directly on encrypted data, without being able to decrypt it. Our goal in the project is to advance the current theoretical understanding of the above-mentioned notions and apply our results to the “secure delegation of tasks problem”, enriching the partner organization’s knowledge and products.