Demonstrating Quantum Homomorphic Encryption Through Simulation

Sohrab Ganjian,Connor Paddock,Anne Broadbent

2024-06-24

Abstract:Quantum homomorphic encryption (QHE), allows a quantum cloud server to compute on private data as uploaded by a client. We provide a proof-of-concept software simulation for QHE, according to the "EPR" scheme of Broadbent and Jeffery, for universal quantum circuits. We demonstrate the near-term viability of this scheme and provide verification that the additional cost of homomorphic circuit evaluation is minor when compared to the simulation cost of the quantum operations. Our simulation toolkit is an open-source Python implementation, that serves as a step towards further hardware applications of quantum homomorphic encryption between networked quantum devices.

Quantum Physics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to demonstrate the feasibility of Quantum Homomorphic Encryption (QHE) and prove its potential in practical applications through simulation. Specifically, the authors aim to:

1. **Provide a proof - of - concept for QHE**: Based on the "EPR" scheme proposed by Broadbent and Jeffery, develop a software simulation tool to prove that QHE can be implemented on a general - purpose quantum circuit.

2. **Verify the computational overhead**: Verify through simulation experiments whether the additional computational overhead of QHE is acceptable. In particular, compare the overhead of Classical Homomorphic Encryption (HE) with that of quantum operation simulation to evaluate the practical feasibility of QHE.

3. **Demonstrate near - term feasibility**: Prove that under current technological conditions, the QHE scheme is feasible and provide a reference for future hardware implementation.

### Specific Problem Description

- **Privacy Protection**: With the development of cloud computing, users can perform complex calculations through cloud servers, but how to ensure the privacy of uploaded data has become a key issue. Traditional Homomorphic Encryption (HE) allows servers to calculate on encrypted data without decryption, while Quantum Homomorphic Encryption (QHE) hopes to extend this feature to quantum data and quantum circuits.

- **Accessibility of Quantum Computing Resources**: Due to their high cost and technical complexity, quantum computers are still out of reach for most users. Providing quantum computing resources through cloud platforms is a solution, but the data privacy problem also needs to be solved.

### Core Contributions of the Paper

- **Implementation of the EPR Scheme**: The authors chose the EPR scheme proposed by Broadbent and Jeffery because it has modular security and construction methods and relies on the classical HE scheme, making its implementation relatively simple.

- **Open - source Toolkit**: Developed an open - source Python implementation toolkit for simulating QHE. This toolkit not only verifies the feasibility of the EPR scheme but also provides a basis for further research and applications.

- **Performance Analysis**: Through experimental tests, it is verified that the computational overhead of classical HE is negligible compared to that of quantum simulation, thus proving the potential practicality of QHE.

### Conclusion

Through detailed theoretical analysis and experimental verification, the paper demonstrates the feasibility of QHE under current technological conditions and provides valuable references for future research and practical applications. In addition, the authors also propose directions for future improvement, such as optimizing the performance of quantum operations, handling arbitrary controlled - NOT gates, and introducing verification mechanisms.