Abstract:Fully homomorphic encryption is an encryption method with the property that any computation on the plaintext can be performed by a party having access to the ciphertext only. Here, we formally define and give schemes for quantum homomorphic encryption, which is the encryption of quantum information such that quantum computations can be performed given the ciphertext only. Our schemes allow for arbitrary Clifford group gates, but become inefficient for circuits with large complexity, measured in terms of the non-Clifford portion of the circuit (we use the “π/8$$\pi /8$$” non-Clifford group gate, also known as the T$$\mathsf{T}$$-gate).More specifically, two schemes are proposed: the first scheme has a decryption procedure whose complexity scales with the square of the number of T$$\mathsf{T}$$-gates (compared with a trivial scheme in which the complexity scales with the total number of gates); the second scheme uses a quantum evaluation key of length given by a polynomial of degree exponential in the circuit’s T$$\mathsf{T}$$-gate depth, yielding a homomorphic scheme for quantum circuits with constant T$$\mathsf{T}$$-depth. Both schemes build on a classical fully homomorphic encryption scheme.A further contribution of ours is to formally define the security of encryption schemes for quantum messages: we define quantum indistinguishability under chosen plaintext attacks in both the public- and private-key settings. In this context, we show the equivalence of several definitions. Our schemes are the first of their kind that are secure under modern cryptographic definitions, and can be seen as a quantum analogue of classical results establishing homomorphic encryption for circuits with a limited number of multiplication gates. Historically, such results appeared as precursors to the breakthrough result establishing classical fully homomorphic encryption.

Classical Homomorphic Encryption for Quantum Circuits

Quantum homomorphic encryption from quantum codes

Quantum Homomorphic Encryption for Circuits of Low T-gate Complexity

Experimental Demonstration of Quantum Fully Homomorphic Encryption with Application in a Two-Party Secure Protocol

A quantum approach to homomorphic encryption

Quantum fully homomorphic encryption scheme based on universal quantum circuit

Quantum homomorphic encryption for polynomial-sized circuits

Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption

Quantum fully homomorphic encryption scheme based on quantum fault-tolerant construction

On Statistically-Secure Quantum Homomorphic Encryption

Homomorphic Encryption of the k=2 Bernstein-Vazirani Algorithm

Universal and holistic privacy protection in quantum computing: a novel approach through quantum circuit equivalence homomorphic encryption

Dynamic quantum fully homomorphic encryption scheme based on universal quantum circuit

Quantum one-time pad-based quantum homomorphic encryption schemes for circuits of the non-Clifford gates

Implementing Semiclassical Szegedy Walks in Classical-Quantum Circuits for Homomorphic Encryption

Quantum Search on Encrypted Data Based on Quantum Homomorphic Encryption

Homomorphic encryption of linear optics quantum computation on almost arbitrary states of light with asymptotically perfect security

Exact Homomorphic Encryption

Experimental Quantum Homomorphic Encryption Using a Quantum Photonic Chip

Quantum Fully Homomorphic Encryption by Integrating Pauli One-time Pad with Quaternions

Symmetric Weak Ternary Quantum Homomorphic Encryption Schemes