A framework for quantum homomorphic encryption with experimental demonstration
arXiv:1910.03500
Abstract
Quantum homomorphic encryption (QHE) is an encryption method that allows quantum computation to be performed on one party's private data with the program provided by another party, without revealing much information about the data nor the program to the opposite party. We propose a framework for (interactive) QHE based on the universal circuit approach. It contains a subprocedure of calculating a classical linear polynomial, which can be implemented with quantum or classical methods; apart from the subprocedure, the framework has low requirement on the quantum capabilities of the party who provides the circuit. We illustrate the subprocedure using a quite simple classical protocol with some privacy tradeoff. For a special case of such protocol, we obtain a scheme similar to blind quantum computation but with the output on a different party. Another way of implementing the subprocedure is to use a recently studied quantum check-based protocol, which has low requirement on the quantum capabilities of both parties. The subprocedure could also be implemented with a classical additive homomorphic encryption scheme. We demonstrate some key steps of the outer part of the framework in a quantum optics experiment.
arXiv comment11 pages, 5 figures. Comments are welcome
References in corpus (13)
- Insecurity of Quantum Secure Computations
- Experimental Demonstration of Blind Quantum Computing
- Quantum walks with encrypted data
- Interactive Proofs For Quantum Computations
- Complete Insecurity of Quantum Protocols for Classical Two-Party Computation
- Symmetric quantum fully homomorphic encryption with perfect security
- The Impossibility Of Secure Two-Party Classical Computation
- Ancilla-Driven Universal Blind Quantum Computation
- Limitations on information theoretically secure quantum homomorphic encryption
- Quantum homomorphic encryption from quantum codes
- Nonlocality from local contextuality
- Practical quantum somewhat-homomorphic encryption with coherent states
- Computing on quantum shared secrets