Exact Homomorphic Encryption

Zheng-Yao Su,Ming-Chung Tsai

2024-05-09

Abstract:Inspired by the concept of fault tolerance quantum computation, this article proposes a framework dubbed Exact Homomorphic Encryption, EHE, enabling exact computations on encrypted data without the need for pre-decryption. The introduction of quantum gates is a critical step for constructing the message encryption and the computation encryption within the framework. Of significance is that both encryptions are respectively accomplished in a multivariate polynomial set generated by quantum gates. Two fundamental traits of quantum gates, the invertibility and the noncommutativity, establish the success of EHE. The encrypted computation is exact because its encryption transformation is conducted with invertible gates. In the same vein, decryptions for both an encrypted message and encrypted computation are exact. The second trait of noncommutativity among applied quantum gates brings forth the security for the two encryptions. Toward the message encryption, a plaintext is encoded into a ciphertext via a polynomial set generated by a product of noncommuting gates randomly chosen. In the computation encryption, a desired operation is encoded into an encrypted polynomial set generated by another product of noncommuting gates. The encrypted computation is then the evaluation of the encrypted polynomial set on the ciphertext and is referred to as the cryptovaluation. EHE is not only attainable on quantum computers, but also straightforwardly realizable on traditional computing environments. Surpassing the standard security 2^128 of quantum resilience, both the encryptions further reach a security greater than the suggested threshold 2^1024 and are characterized as hyper quantum-resilient. Thanks to the two essential traits of quantum gates, this framework can be regarded as the initial tangible manifestation of the concept noncommutative cryptography.

Quantum Physics,Cryptography and Security

What problem does this paper attempt to address?

The paper aims to propose a new encryption framework called Exact Homomorphic Encryption (EHE), which allows for precise computations on encrypted data without the need for prior decryption. The core contribution of EHE lies in the use of quantum gates to construct message encryption and computation encryption mechanisms, and ensures the security and precision of encryption through the reversibility and non-commutativity of quantum gates.

Specifically, the main objectives of EHE include:
1. **Overcoming the problems of traditional homomorphic encryption**: Traditional homomorphic encryption methods suffer from issues such as noise accumulation, ciphertext size growing proportionally with security parameters, limited operation depth, and increased probability of decryption failure. EHE avoids these problems by using quantum gates to generate sets of polynomials for the encryption process.
2. **Achieving precise computation**: Due to the reversibility of quantum gates, EHE can ensure the precision of encrypted computations, meaning that the results of encrypted computations are completely accurate, rather than approximate.
3. **Enhancing security**: By utilizing the non-commutativity of quantum gates, EHE achieves a highly secure encryption scheme, with security far exceeding the quantum-resistant standard of 2^128 and the proposed super-quantum resistance threshold of 2^1024.
4. **A concrete example of non-commutative encryption**: EHE is considered the first concrete instance of "non-commutative encryption," a concept that previously existed only at a theoretical level.
5. **Simple and efficient implementation**: EHE can be implemented not only on quantum computers but also easily in traditional computing environments, without relying on expensive quantum resources.

In summary, EHE presents a novel encryption framework designed to address the limitations of existing homomorphic encryption technologies and provides a highly secure, precise, and easy-to-implement solution.