Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

IEEE Journal on Selected Areas in Communications

Verifiable Quantum Homomorphic Encryption

Qin Li, Yuxun Wang, Lingli Chen, Lvzhou Li

Published May 8, 2025• 5 citations
Publisher

Abstract

Quantum homomorphic encryption (QHE) can allow clients to directly perform quantum computation on encrypted data with the assistance of a remote quantum server. However, existing QHE schemes often overlook the crucial property of verifiability which enables clients to validate the correctness of computation results provided by the server. In this paper, we propose a verifiable QHE scheme based on the universal quantum gate set {H,P,Toffoli}. At first, a specialized gadget is designed to eliminate the errors that may arise during the homomorphic evaluation of non-Clifford Toffoli gates in a non-interactive manner. Furthermore, the designed gadget is versatile and can be seamlessly integrated into an existing QHE scheme that implements quantum gates in another universal quantum gate set {H,T,CNOT} to homomorphically evaluate more quantum gates. Subsequently, a verifiable method is introduced to the QHE scheme based on {H,P,Toffoli} for the client to detect whether the server is honest during the homomorphic computation by employing three types of indistinguishable quantum circuits.

DOI
10.1109/jsac.2025.3568057

Related papers

Verifiable quantum homomorphic encryption based on garbled evaluation

Renke He, Lingli Chen, Qin Li +2 more

Abstract Quantum homomorphic encryption (QHE) can allow directly computation on the encrypted data without need to decrypt it in advance. It is also necessary to provide another property of verifiability that the client should verify whether the evaluation result is correct. However, most existing QHE schemes did not consider it and only assumed servers to be honest. In this paper, we propose a verifiable QHE (vQHE) scheme by using different types of circuits indistinguishable to the server, where the client can detect whether the server is honest or not by verifying the results of test circuits. Furthermore, by designing the gadgets to implement and test T gates and H gates in a non-interactive way for the used circuits, the proposed vQHE scheme does not require interaction during the process of evaluation. Thus the proposed vQHE scheme has the potential to make clients prefer to use it for protecting their private data in future quantum cloud environments.

Quantum Science and Technology•Sep 13, 2024•7 citations

Universal quantum circuit evaluation on encrypted data using probabilistic quantum homomorphic encryption scheme*

Jingwen Zhang, Xiu‐Bo Chen, Gang Xu +1 more

Homomorphic encryption has giant advantages in the protection of privacy information. In this paper, we present a new kind of probabilistic quantum homomorphic encryption scheme for the universal quantum circuit evaluation. Firstly, the pre-shared non-maximally entangled states are utilized as auxiliary resources, which lower the requirements of the quantum channel, to correct the errors in non-Clifford gate evaluation. By using the set synthesized by Clifford gates and T gates, it is feasible to perform the arbitrary quantum computation on the encrypted data. Secondly, our scheme is different from the previous scheme described by the quantum homomorphic encryption algorithm. From the perspective of application, a two-party probabilistic quantum homomorphic encryption scheme is proposed. It is clear what the computation and operation that the client and the server need to perform respectively, as well as the permission to access the data. Finally, the security of probabilistic quantum homomorphic encryption scheme is analyzed in detail. It demonstrates that the scheme has favorable security in three aspects, including privacy data, evaluated data and encryption and decryption keys.

Chinese Physics B•May 12, 2021•14 citations

A Secure Multiparty Quantum Homomorphic Encryption Scheme

Jingwen Zhang, Xiu‐Bo Chen, Gang Xu +4 more

The significant advantage of the quantum homomorphic encryption scheme is to ensure the perfect security of quantum private data. In this paper, a novel secure multiparty quantum homomorphic encryption scheme is proposed, which can complete arbitrary quantum computation on the private data of multiple clients without decryption by an almost dishonest server. Firstly, each client obtains a secure encryption key through the measurement device independent quantum key distribution protocol and encrypts the private data by using the encryption operator and key. Secondly, with the help of the almost dishonest server, the non-maximally entangled states are pre-shared between the client and the server to correct errors in the homomorphic evaluation of T gates, so as to realize universal quantum circuit evaluation on encrypted data. Thirdly, from the perspective of the application scenario of secure multi-party computation, this work is based on the probabilistic quantum homomorphic encryption scheme, allowing multiple parties to delegate the server to perform the secure homomorphic evaluation. The operation and the permission to access the data performed by the client and the server are clearly pointed out. Finally, a concrete security analysis shows that the proposed multiparty quantum homomorphic encryption scheme can securely resist outside and inside attacks.

Computers, materials & continua/Computers, materials & continua (Print)•Jan 1, 2022•3 citations

Demonstrating Quantum Homomorphic Encryption Through Simulation

Sohrab Ganjian, Connor Paddock, Anne Broadbent

Cloud computing allows clients with limited computational resources to offload computations to more powerful remote servers. In this paradigm, homomorphic encryption (HE) schemes enable a server to run any computation on a client's encrypted data. These schemes are widely used in cloud computing protocols such as delegated computing, two-party secure computation, and zero-knowledge proofs. Quantum homomorphic encryption (QHE) aims to achieve the objectives of HE with quantum data and quantum circuits, enabling cloud quantum servers to compute on encrypted quantum data uploaded by clients. In this work, we consider a scenario where a client has access to a quantum “encryption/decryption device”, which allows the encryption, transmission, reception, and decryption of quantum states, but not universal quantum computation. In this setting, we provide a proof-of-concept software simulation of quantum homomorphic encryption. Our code implements the “EPR scheme” of Broadbent and Jeffery, which allows for the execution of universal quantum circuits by the server at the cost of requiring shared EPR pairs between the client and server. Our implementation explores the near-term viability of the EPR scheme. Perhaps unsurprisingly, our experiments indicate that the additional cost of homomorphic circuit evaluation is minor in comparison to the simulation cost of the quantum operations. Our simulation toolkit is implemented in Python and is open-source.

IEEE International Conference on Quantum Computing and Engineering (QCE)•Sep 15, 2024•5 citations

Non-interactive quantum homomorphic encryption scheme based on the rotation operator

WANG ShuoLin, SHANG Tao, LIU JianWei

Quantum homomorphic encryption (QHE) is an important branch of quantum cryptography. It can directly calculate the quantum ciphertext while ensuring calculation correctness and data security. QHE for a T-gate generates an additional S-gate. If this error is not eliminated, the desired output cannot be obtained. Using quantum gate teleportation can eliminate the S-error non-interactively, but increases the decryption complexity. This paper uses the rotation operator to realize QHE for the T / T^† -gate, and proposes a non-interactive QHE scheme. The decryption complexity of this scheme is O(1), and the encryption complexity is O(N) , where N is the number of quantum gates in the evaluated circuit. We prove that the scheme is information-theoretic secure and mathcalF-homomorphic, i.e., homomorphic for any quantum circuit, and implement QHE for a Toffoli-gate decomposition circuit on an IBM Quantum Experience platform.

Zhongguo kexue. Wulixue Lixue Tianwenxue•Nov 16, 2022•5 citations

Quantum homomorphic encryption for polynomial-sized circuits

Yfke Dulek, Christian Schaffner, Florian Speelman

We present a new scheme for quantum homomorphic encryption which is compact and allows for efficient evaluation of arbitrary quantum circuits, as long as those circuits are of size, polynomial in the security parameter. Building on the framework of Broadbent and Jeffery (CRYPTO'15) and recent results in the area of instantaneous non-local quantum computation by Speelman (TQC'16), we show how to construct quantum gadgets that allow perfect correction of the errors which occur during the homomorphic evaluation of $\mathsf{T}$ gates on encrypted quantum data. Our scheme can be based on any classical (leveled) fully homomorphic encryption (FHE) scheme and requires no computational assumptions besides those already used by the classical scheme. The size of our quantum gadget depends on the space complexity of the classical decryption function -- which aligns well with the current efforts to minimize the complexity of the decryption function. Our scheme (or slight variants of it) offers a number of additional advantages such as ideal compactness, the ability to supply gadgets “on demand,” circuit privacy for the evaluator against passive adversaries, and a three-round scheme for blind delegated quantum computation which puts only very limited demands on the quantum abilities of the client. A conference version of this paper appeared in Advances in Cryptology: Proceedings of the 36th International Cryptology Conference (CRYPTO 2016).

arXiv:1603.09717•Theory of Computing•Jan 1, 2018•6 citations
Quantum homomorphic encryption (QHE) can allow clients to directly perform quantum computation on encrypted data with the assistance of a remote quantum server. However, existing QHE schemes often overlook the crucial property of verifiability which enables clients to validate the correctness of computation results provided by the server. In this paper, we propose a verifiable QHE scheme based on the universal quantum gate set {H,P,Toffoli}. At first, a specialized gadget is designed to eliminate the errors that may arise during the homomorphic evaluation of non-Clifford Toffoli gates in a non-interactive manner. Furthermore, the designed gadget is versatile and can be seamlessly integrated into an existing QHE scheme that implements quantum gates in another universal quantum gate set {H,T,CNOT} to homomorphically evaluate more quantum gates. Subsequently, a verifiable method is introduced to the QHE scheme based on {H,P,Toffoli} for the client to detect whether the server is honest during the homomorphic computation by employing three types of indistinguishable quantum circuits.
Abstract Quantum homomorphic encryption (QHE) can allow directly computation on the encrypted data without need to decrypt it in advance. It is also necessary to provide another property of verifiability that the client should verify whether the evaluation result is correct. However, most existing QHE schemes did not consider it and only assumed servers to be honest. In this paper, we propose a verifiable QHE (vQHE) scheme by using different types of circuits indistinguishable to the server, where the client can detect whether the server is honest or not by verifying the results of test circuits. Furthermore, by designing the gadgets to implement and test T gates and H gates in a non-interactive way for the used circuits, the proposed vQHE scheme does not require interaction during the process of evaluation. Thus the proposed vQHE scheme has the potential to make clients prefer to use it for protecting their private data in future quantum cloud environments.
Homomorphic encryption has giant advantages in the protection of privacy information. In this paper, we present a new kind of probabilistic quantum homomorphic encryption scheme for the universal quantum circuit evaluation. Firstly, the pre-shared non-maximally entangled states are utilized as auxiliary resources, which lower the requirements of the quantum channel, to correct the errors in non-Clifford gate evaluation. By using the set synthesized by Clifford gates and T gates, it is feasible to perform the arbitrary quantum computation on the encrypted data. Secondly, our scheme is different from the previous scheme described by the quantum homomorphic encryption algorithm. From the perspective of application, a two-party probabilistic quantum homomorphic encryption scheme is proposed. It is clear what the computation and operation that the client and the server need to perform respectively, as well as the permission to access the data. Finally, the security of probabilistic quantum homomorphic encryption scheme is analyzed in detail. It demonstrates that the scheme has favorable security in three aspects, including privacy data, evaluated data and encryption and decryption keys.
The significant advantage of the quantum homomorphic encryption scheme is to ensure the perfect security of quantum private data. In this paper, a novel secure multiparty quantum homomorphic encryption scheme is proposed, which can complete arbitrary quantum computation on the private data of multiple clients without decryption by an almost dishonest server. Firstly, each client obtains a secure encryption key through the measurement device independent quantum key distribution protocol and encrypts the private data by using the encryption operator and key. Secondly, with the help of the almost dishonest server, the non-maximally entangled states are pre-shared between the client and the server to correct errors in the homomorphic evaluation of T gates, so as to realize universal quantum circuit evaluation on encrypted data. Thirdly, from the perspective of the application scenario of secure multi-party computation, this work is based on the probabilistic quantum homomorphic encryption scheme, allowing multiple parties to delegate the server to perform the secure homomorphic evaluation. The operation and the permission to access the data performed by the client and the server are clearly pointed out. Finally, a concrete security analysis shows that the proposed multiparty quantum homomorphic encryption scheme can securely resist outside and inside attacks.
Cloud computing allows clients with limited computational resources to offload computations to more powerful remote servers. In this paradigm, homomorphic encryption (HE) schemes enable a server to run any computation on a client's encrypted data. These schemes are widely used in cloud computing protocols such as delegated computing, two-party secure computation, and zero-knowledge proofs. Quantum homomorphic encryption (QHE) aims to achieve the objectives of HE with quantum data and quantum circuits, enabling cloud quantum servers to compute on encrypted quantum data uploaded by clients. In this work, we consider a scenario where a client has access to a quantum “encryption/decryption device”, which allows the encryption, transmission, reception, and decryption of quantum states, but not universal quantum computation. In this setting, we provide a proof-of-concept software simulation of quantum homomorphic encryption. Our code implements the “EPR scheme” of Broadbent and Jeffery, which allows for the execution of universal quantum circuits by the server at the cost of requiring shared EPR pairs between the client and server. Our implementation explores the near-term viability of the EPR scheme. Perhaps unsurprisingly, our experiments indicate that the additional cost of homomorphic circuit evaluation is minor in comparison to the simulation cost of the quantum operations. Our simulation toolkit is implemented in Python and is open-source.
Quantum homomorphic encryption (QHE) is an important branch of quantum cryptography. It can directly calculate the quantum ciphertext while ensuring calculation correctness and data security. QHE for a T-gate generates an additional S-gate. If this error is not eliminated, the desired output cannot be obtained. Using quantum gate teleportation can eliminate the S-error non-interactively, but increases the decryption complexity. This paper uses the rotation operator to realize QHE for the T / T^† -gate, and proposes a non-interactive QHE scheme. The decryption complexity of this scheme is O(1), and the encryption complexity is O(N) , where N is the number of quantum gates in the evaluated circuit. We prove that the scheme is information-theoretic secure and mathcalF-homomorphic, i.e., homomorphic for any quantum circuit, and implement QHE for a Toffoli-gate decomposition circuit on an IBM Quantum Experience platform.
We present a new scheme for quantum homomorphic encryption which is compact and allows for efficient evaluation of arbitrary quantum circuits, as long as those circuits are of size, polynomial in the security parameter. Building on the framework of Broadbent and Jeffery (CRYPTO'15) and recent results in the area of instantaneous non-local quantum computation by Speelman (TQC'16), we show how to construct quantum gadgets that allow perfect correction of the errors which occur during the homomorphic evaluation of T\mathsf{T}T gates on encrypted quantum data. Our scheme can be based on any classical (leveled) fully homomorphic encryption (FHE) scheme and requires no computational assumptions besides those already used by the classical scheme. The size of our quantum gadget depends on the space complexity of the classical decryption function -- which aligns well with the current efforts to minimize the complexity of the decryption function. Our scheme (or slight variants of it) offers a number of additional advantages such as ideal compactness, the ability to supply gadgets “on demand,” circuit privacy for the evaluator against passive adversaries, and a three-round scheme for blind delegated quantum computation which puts only very limited demands on the quantum abilities of the client. A conference version of this paper appeared in Advances in Cryptology: Proceedings of the 36th International Cryptology Conference (CRYPTO 2016).