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

arXiv:2412.01966 · Journal of Physics Complexity

Implementing semiclassical Szegedy walks in classical-quantum circuits for homomorphic encryption

Sergio A. Ortega, Pablo Fernández, Miguel Angel Martin-Delgado

Published May 2, 2025• 2 citations
arXivHTMLPDF

Abstract

Abstract As cloud services continue to expand, the security of private data stored and processed in these environments has become paramount. This work delves into quantum homomorphic encryption (QHE), an emerging technology that facilitates secure computation on encrypted quantum data without revealing the underlying information. We reinterpret QHE schemes through classical-quantum circuits (CQC), enhancing efficiency and addressing previous limitations related to key computations. Our approach eliminates the need for exponential key preparation by calculating keys in real-time during simulation, leading to a linear complexity in classically controlled gates. We also investigate the T / T † -gate complexity associated with various quantum walks, particularly Szegedy quantum and semiclassical algorithms, demonstrating efficient homomorphic implementations across different graph structures. Our simulations, conducted in Qiskit, validate the effectiveness of QHE for both standard and semiclassical walks. The rules for the homomorphic evaluation of the reset and intermediate measurement operations have also been included to perform the QHE of semiclassical walks. Additionally, we introduce the CQC-QHE library, a comprehensive tool that simplifies the construction and simulation of CQC tailored for QHE. Future work will focus on optimizing classical functions within this framework and exploring broader graph types to enhance QHE applications in practical scenarios.

DOI
10.1088/2632-072x/add3aa

Related papers

A framework for quantum homomorphic encryption with experimental demonstration

Yu Zhang, Li Zhi Yu, Qi-Ping Su +7 more

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:1910.03500•Oct 8, 2019•0 citations

A rebit-based quantum homomorphic encryption scheme

Li Zhi Yu

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 about the program to the opposite party. It is known that information-theoretically-secure QHE for circuits of unrestricted size would require exponential resources, and efficient computationally-secure QHE schemes for polynomial-sized quantum circuits have been constructed. In this paper we first propose a QHE scheme for a type of circuits of polynomial depth, based on the rebit quantum computation formalism. The scheme keeps the restricted type of data perfectly secure. We then propose a QHE scheme for a larger class of polynomial-depth quantum circuits, which has partial data privacy. Both schemes have good circuit privacy. We also propose an interactive QHE scheme with asymptotic data privacy, however, the circuit privacy is not good, in the sense that the party who provides the data could cheat and learn about the circuit. We show that such cheating would generally affect the correctness of the evaluation or cause deviation from the protocol. Hence the cheating can be caught by the opposite party in an interactive scheme with embedded verifications. Such scheme with verification has a minor drawback in data privacy. Finally, we show some methods which achieve some nontrivial level of data privacy and circuit privacy without resorting to allowing early terminations, in both the QHE problem and in secure evaluation of classical functions. The entanglement and classical communication costs in these schemes are polynomial in the circuit size and the security parameter (if any).

•Oct 2, 2018•0 citations

A Comparative Framework for Post-Quantum Cryptography and Homomorphic Encryption: Integration, Methodologies, and Applications

Dr Rajendirakumar S

Abstract The rapid evolution of quantum computing fundamentally threatens modern cryptographic infrastructures, necessitating a paradigm shift toward advanced encryption techniques. While post-quantum cryptography (PQC) ensures that data remains secure against quantum algorithmic decryption, it does not inherently facilitate the processing of that data in untrusted environments. Homomorphic encryption (HE) addresses this computational privacy requirement, yet traditional HE schemes rely on classical mathematical problems that are easily compromised by quantum systems. This paper presents a comprehensive comparative framework that integrates post-quantum cryptographic principles with homomorphic capabilities to enable quantum-resistant, privacy-preserving computation. By analyzing lattice-based algorithms, code-based cryptography, and hardware acceleration paradigms, this study maps the existing trade-offs between security, computational overhead, and practical deployment feasibility in the impending quantum era. Keywords: PQC, HE. 1.Introduction The rapid evolution of quantum computing technology presents a profound threat to modern cryptographic infrastructures. As quantum algorithms, notably Shor's algorithm, mature, they acquire the capability to solve nondeterministic polynomial time problems in polynomial time, thereby breaking traditional asymmetric encryption standards such as RSA and Elliptic Curve Cryptography (ECC) (Chen, 2024). Consequently, the development of post-quantum cryptography (PQC) has become a global imperative to secure sensitive communications and data against future quantum adversaries (Pranjal & Chaturvedi, 2024). Cryptographers are currently focusing on transitioning secure systems to these newly established PQC standards before large-scale quantum computers become commercially viable. While PQC addresses the secure transmission and storage of data, it does not inherently solve the problem of secure data processing in untrusted cloud environments. Homomorphic encryption (HE) provides a sophisticated mechanism that allows computations to be performed directly on encrypted data without requiring prior decryption (Jain & Cherukuri, 2023). The core problem addressed in this paper is the conceptual and practical integration of PQC with HE shown in Fig1.1 which is essential for ensuring quantum-safe, privacy-preserving computation in distributed architectures. Achieving this synthesis is highly complex due to the massive computational overhead and noise accumulation inherent to both cryptographic domains. However, existing approaches to privacy-preserving computation remain broadly insufficient for the post-quantum era. First, conventional homomorphic encryption schemes rely heavily on mathematical hardness assumptions, such as integer factorization or discrete logarithms, which are demonstrably vulnerable to quantum attacks (Chen, 2024). Second, while some high-performance fully homomorphic implementations exist, they suffer from prohibitive computational overhead and severe ciphertext expansion, making widespread deployment impractical without specialized mitigation strategies (Tseng et al., 2025). Third, hardware-accelerated privacy solutions often rely on trusted execution environments, like Intel SGX, which inherently introduce side-channel vulnerabilities and force reliance on centralized hardware trust rather than pure mathematical security (Sadat et al., 2017). To overcome these critical limitations, this paper proposes a structured comparative methodology for evaluating quantum-resistant homomorphic encryption systems. Specifically, our paper makes the following main contributions: We provide a comprehensive comparative framework that categorizes and evaluates lattice-based and code-based homomorphic encryption schemes against classical performance constraints. We propose a structured, hypothetical evaluation pipeline designed to benchmark the computational overhead and latency of post-quantum homomorphic algorithms in federated networking environments. 2.Privacy-preserving computation The literature surrounding privacy-preserving computation can be broadly classified into three primary categories, the first being classical and fully homomorphic encryption (FHE) systems. The core idea behind these schemes is the preservation of algebraic structures during encryption, allowing operations on ciphertexts to reflect directly on the underlying plaintexts without exposing the raw data (Jain & Cherukuri, 2023). A major strength of these classical FHE systems, such as those utilized in encrypted relational databases like FHE-SQL, is their ability to provide end-to-end cryptographic protection for queries without relying on trusted hardware modules (Tseng et al., 2025). However, a fundamental weakness is that early FHE models, and their underlying privacy homomorphisms, remain fundamentally susceptible to quantum cryptanalysis due to their reliance on classical mathematical problems (Sen, 2013). Compared to these classical paradigms, our work specifically focuses on migrating these operational homomorphic properties into genuinely quantum-safe mathematical frameworks. The second category of related work focuses on hardware acceleration and hybrid computational environments for homomorphic encryption. The core idea here involves leveraging specialized hardware, such as ASIC AI chips or coarse-grained compute architectures like Google's TPUs, to mitigate the enormous computational overhead associated with HE (Tong et al., 2025). The strength of this approach lies in its ability to bridge the energy-efficiency gap, often utilizing intelligent compiler frameworks to convert high-precision modular arithmetic into dense, low-precision matrix multiplications. Conversely, the weakness of hardware-centric methods is that architectural mismatches frequently lead to severe resource under-utilization, and hybrid solutions utilizing components like Intel SGX introduce hardware trust assumptions that can compromise pure cryptographic integrity (Sadat et al., 2017). Unlike these approaches, our framework prioritizes algorithmic resilience and quantum resistance over purely hardware-driven and enclave-based optimizations. The third category encompasses emerging post-quantum and quantum homomorphic paradigms, which seek to unify quantum resistance with computational privacy. Researchers have proposed lattice-based HE schemes to replace vulnerable legacy systems like Paillier and ElGamal, successfully enabling secure applications such as federated learning (Chen, 2024). Similarly, code-based cryptography utilizing McEliece and non-negative matrix factorization has shown promise in providing faster encryption and decryption times while remaining mathematically secure against quantum computers (Chen, 2024). Furthermore, advanced quantum homomorphic encryption protocols have explored information-theoretic security combined with homomorphic quantum error-correction to ensure future-proof data protection (Ouyang & Rohde, 2022). While these systems represent the state-of-the-art, their primary weakness remains the massive memory and communication overhead introduced during distributed training protocols, which negatively impacts classification performance. Our approach builds upon this category by proposing a standardized methodology to systematically compare these disparate post-quantum homomorphic techniques. 3.Multi-stage Method To systematically evaluate and deploy post-quantum homomorphic encryption, we propose a structured, multi-stage methodological framework. The first step involves cryptographic primitive selection, where system architects must evaluate and choose between lattice-based constructs, such as ML-KEM adaptations, and code-based systems like McEliece, depending on their domain constraints (Chen, 2024). The second step requires the implementation of an algorithmic parameter optimization module, which dynamically adjusts polynomial degrees and error distributions to balance security levels with the operational multiplicative depth required by the application. Finally, the third step comprises the integration of a specialized abstraction layer designed to map complex high-precision cryptographic operations into hardware-friendly matrix operations, thereby reducing the inherent bottleneck of ciphertext evaluation. The key design choices within this framework are driven by the absolute necessity to balance quantum resistance with practical algorithmic utility. We prioritize lattice-based cryptography for our primary evaluation pathway because of its established resilience against quantum threats and its recent standardization by the National Institute of Standards and Technology (NIST) (Chen, 2024). Additionally, we explicitly design our framework to avoid reliance on trusted hardware environments, opting instead for pure cryptographic guarantees to prevent the side-channel data leaks that often plague hardware-enclave solutions. By focusing on algorithmic alignment and basis-aligned mathematical transformations, the framework ensures that homomorphic workloads can be optimized effectively without compromising the underlying post-quantum security proofs. To validate the efficacy of the proposed framework, we outline a comprehensive evaluation plan utilizing a hypothetical, high-dimensional healthcare benchmarking dataset. The experimental setup will simulate a secure genome-wide association study (GWAS) executing within a fully decentralized federated learning environment (Sadat et al., 2017). The primary metrics for this hypothetical evaluation will include key generation latency, ciphertext expansion ratio, and the amortized computational time required for homomorphic multiplication operations across distributed nodes. By systematically varying the cryptographic noise parameters and observing the resulting degradation in analytical performance, we aim to empirically map the trad

•Dec 23, 2025•0 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

Enhancing Healthcare Data Security Using Quantum Homomorphic Encryption

Sivaranjani Reddi, Jami Venkata Suman

This chapter presents a novel approach to securing sensitive healthcare data using quantum homomorphic encryption (QHE) integrated with the RSA encryption scheme. In an era where privacy-preserving data analysis is critical, particularly in healthcare, this method demonstrates how encrypted medical datasets, specifically the Diabetes dataset, can undergo computations such as homomorphic addition without compromising confidentiality. The chapter simulates encryption, quantum circuit-based homomorphic operations, and decryption using classical and quantum paradigms. It compares computational accuracy and efficiency between quantum and classical homomorphic models, establishing the feasibility of QHE for real-world medical applications. Performance is evaluated across multiple input sizes, demonstrating secure computation scalability. The results show that QHE offers promising capabilities for privacy-preserving analytics in healthcare and other sensitive domains, bridging quantum and classical cryptographic methods to support secure, efficient, and scalable data processing.

CRC Press eBooks•Nov 28, 2025•0 citations

A quantum homomorphic encryption scheme for polynomial-sized circuits

Li Zhi Yu

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 about the program to the opposite party. It is known that information-theoretically-secure QHE for circuits of unrestricted size would require exponential resources, and efficient computationally-secure QHE schemes for polynomial-sized quantum circuits have been constructed. In this paper we first propose a QHE scheme for a type of circuits of polynomial depth, based on the rebit quantum computation formalism. The scheme keeps the restricted type of data perfectly secure. We then propose a QHE scheme for a larger class of polynomial-depth quantum circuits, which has partial data privacy. Both schemes have good circuit privacy. We also propose an interactive QHE scheme with asymptotic data privacy, however, the circuit privacy is not good, in the sense that the party who provides the data could cheat and learn about the circuit. We show that such cheating would generally affect the correctness of the evaluation or cause deviation from the protocol. Hence the cheating can be caught by the opposite party in an interactive scheme with embedded verifications. Such scheme with verification has a minor drawback in data privacy. Finally, we show some methods which achieve some nontrivial level of data privacy and circuit privacy without resorting to allowing early terminations, in both the QHE problem and in secure evaluation of classical functions. The entanglement and classical communication costs in these schemes are polynomial in the circuit size and the security parameter (if any).

arXiv:1810.01166•Oct 2, 2018•2 citations
Abstract As cloud services continue to expand, the security of private data stored and processed in these environments has become paramount. This work delves into quantum homomorphic encryption (QHE), an emerging technology that facilitates secure computation on encrypted quantum data without revealing the underlying information. We reinterpret QHE schemes through classical-quantum circuits (CQC), enhancing efficiency and addressing previous limitations related to key computations. Our approach eliminates the need for exponential key preparation by calculating keys in real-time during simulation, leading to a linear complexity in classically controlled gates. We also investigate the T / T † -gate complexity associated with various quantum walks, particularly Szegedy quantum and semiclassical algorithms, demonstrating efficient homomorphic implementations across different graph structures. Our simulations, conducted in Qiskit, validate the effectiveness of QHE for both standard and semiclassical walks. The rules for the homomorphic evaluation of the reset and intermediate measurement operations have also been included to perform the QHE of semiclassical walks. Additionally, we introduce the CQC-QHE library, a comprehensive tool that simplifies the construction and simulation of CQC tailored for QHE. Future work will focus on optimizing classical functions within this framework and exploring broader graph types to enhance QHE applications in practical scenarios.
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.
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 about the program to the opposite party. It is known that information-theoretically-secure QHE for circuits of unrestricted size would require exponential resources, and efficient computationally-secure QHE schemes for polynomial-sized quantum circuits have been constructed. In this paper we first propose a QHE scheme for a type of circuits of polynomial depth, based on the rebit quantum computation formalism. The scheme keeps the restricted type of data perfectly secure. We then propose a QHE scheme for a larger class of polynomial-depth quantum circuits, which has partial data privacy. Both schemes have good circuit privacy. We also propose an interactive QHE scheme with asymptotic data privacy, however, the circuit privacy is not good, in the sense that the party who provides the data could cheat and learn about the circuit. We show that such cheating would generally affect the correctness of the evaluation or cause deviation from the protocol. Hence the cheating can be caught by the opposite party in an interactive scheme with embedded verifications. Such scheme with verification has a minor drawback in data privacy. Finally, we show some methods which achieve some nontrivial level of data privacy and circuit privacy without resorting to allowing early terminations, in both the QHE problem and in secure evaluation of classical functions. The entanglement and classical communication costs in these schemes are polynomial in the circuit size and the security parameter (if any).
Abstract The rapid evolution of quantum computing fundamentally threatens modern cryptographic infrastructures, necessitating a paradigm shift toward advanced encryption techniques. While post-quantum cryptography (PQC) ensures that data remains secure against quantum algorithmic decryption, it does not inherently facilitate the processing of that data in untrusted environments. Homomorphic encryption (HE) addresses this computational privacy requirement, yet traditional HE schemes rely on classical mathematical problems that are easily compromised by quantum systems. This paper presents a comprehensive comparative framework that integrates post-quantum cryptographic principles with homomorphic capabilities to enable quantum-resistant, privacy-preserving computation. By analyzing lattice-based algorithms, code-based cryptography, and hardware acceleration paradigms, this study maps the existing trade-offs between security, computational overhead, and practical deployment feasibility in the impending quantum era. Keywords: PQC, HE. 1.Introduction The rapid evolution of quantum computing technology presents a profound threat to modern cryptographic infrastructures. As quantum algorithms, notably Shor's algorithm, mature, they acquire the capability to solve nondeterministic polynomial time problems in polynomial time, thereby breaking traditional asymmetric encryption standards such as RSA and Elliptic Curve Cryptography (ECC) (Chen, 2024). Consequently, the development of post-quantum cryptography (PQC) has become a global imperative to secure sensitive communications and data against future quantum adversaries (Pranjal & Chaturvedi, 2024). Cryptographers are currently focusing on transitioning secure systems to these newly established PQC standards before large-scale quantum computers become commercially viable. While PQC addresses the secure transmission and storage of data, it does not inherently solve the problem of secure data processing in untrusted cloud environments. Homomorphic encryption (HE) provides a sophisticated mechanism that allows computations to be performed directly on encrypted data without requiring prior decryption (Jain & Cherukuri, 2023). The core problem addressed in this paper is the conceptual and practical integration of PQC with HE shown in Fig1.1 which is essential for ensuring quantum-safe, privacy-preserving computation in distributed architectures. Achieving this synthesis is highly complex due to the massive computational overhead and noise accumulation inherent to both cryptographic domains. However, existing approaches to privacy-preserving computation remain broadly insufficient for the post-quantum era. First, conventional homomorphic encryption schemes rely heavily on mathematical hardness assumptions, such as integer factorization or discrete logarithms, which are demonstrably vulnerable to quantum attacks (Chen, 2024). Second, while some high-performance fully homomorphic implementations exist, they suffer from prohibitive computational overhead and severe ciphertext expansion, making widespread deployment impractical without specialized mitigation strategies (Tseng et al., 2025). Third, hardware-accelerated privacy solutions often rely on trusted execution environments, like Intel SGX, which inherently introduce side-channel vulnerabilities and force reliance on centralized hardware trust rather than pure mathematical security (Sadat et al., 2017). To overcome these critical limitations, this paper proposes a structured comparative methodology for evaluating quantum-resistant homomorphic encryption systems. Specifically, our paper makes the following main contributions: We provide a comprehensive comparative framework that categorizes and evaluates lattice-based and code-based homomorphic encryption schemes against classical performance constraints. We propose a structured, hypothetical evaluation pipeline designed to benchmark the computational overhead and latency of post-quantum homomorphic algorithms in federated networking environments. 2.Privacy-preserving computation The literature surrounding privacy-preserving computation can be broadly classified into three primary categories, the first being classical and fully homomorphic encryption (FHE) systems. The core idea behind these schemes is the preservation of algebraic structures during encryption, allowing operations on ciphertexts to reflect directly on the underlying plaintexts without exposing the raw data (Jain & Cherukuri, 2023). A major strength of these classical FHE systems, such as those utilized in encrypted relational databases like FHE-SQL, is their ability to provide end-to-end cryptographic protection for queries without relying on trusted hardware modules (Tseng et al., 2025). However, a fundamental weakness is that early FHE models, and their underlying privacy homomorphisms, remain fundamentally susceptible to quantum cryptanalysis due to their reliance on classical mathematical problems (Sen, 2013). Compared to these classical paradigms, our work specifically focuses on migrating these operational homomorphic properties into genuinely quantum-safe mathematical frameworks. The second category of related work focuses on hardware acceleration and hybrid computational environments for homomorphic encryption. The core idea here involves leveraging specialized hardware, such as ASIC AI chips or coarse-grained compute architectures like Google's TPUs, to mitigate the enormous computational overhead associated with HE (Tong et al., 2025). The strength of this approach lies in its ability to bridge the energy-efficiency gap, often utilizing intelligent compiler frameworks to convert high-precision modular arithmetic into dense, low-precision matrix multiplications. Conversely, the weakness of hardware-centric methods is that architectural mismatches frequently lead to severe resource under-utilization, and hybrid solutions utilizing components like Intel SGX introduce hardware trust assumptions that can compromise pure cryptographic integrity (Sadat et al., 2017). Unlike these approaches, our framework prioritizes algorithmic resilience and quantum resistance over purely hardware-driven and enclave-based optimizations. The third category encompasses emerging post-quantum and quantum homomorphic paradigms, which seek to unify quantum resistance with computational privacy. Researchers have proposed lattice-based HE schemes to replace vulnerable legacy systems like Paillier and ElGamal, successfully enabling secure applications such as federated learning (Chen, 2024). Similarly, code-based cryptography utilizing McEliece and non-negative matrix factorization has shown promise in providing faster encryption and decryption times while remaining mathematically secure against quantum computers (Chen, 2024). Furthermore, advanced quantum homomorphic encryption protocols have explored information-theoretic security combined with homomorphic quantum error-correction to ensure future-proof data protection (Ouyang & Rohde, 2022). While these systems represent the state-of-the-art, their primary weakness remains the massive memory and communication overhead introduced during distributed training protocols, which negatively impacts classification performance. Our approach builds upon this category by proposing a standardized methodology to systematically compare these disparate post-quantum homomorphic techniques. 3.Multi-stage Method To systematically evaluate and deploy post-quantum homomorphic encryption, we propose a structured, multi-stage methodological framework. The first step involves cryptographic primitive selection, where system architects must evaluate and choose between lattice-based constructs, such as ML-KEM adaptations, and code-based systems like McEliece, depending on their domain constraints (Chen, 2024). The second step requires the implementation of an algorithmic parameter optimization module, which dynamically adjusts polynomial degrees and error distributions to balance security levels with the operational multiplicative depth required by the application. Finally, the third step comprises the integration of a specialized abstraction layer designed to map complex high-precision cryptographic operations into hardware-friendly matrix operations, thereby reducing the inherent bottleneck of ciphertext evaluation. The key design choices within this framework are driven by the absolute necessity to balance quantum resistance with practical algorithmic utility. We prioritize lattice-based cryptography for our primary evaluation pathway because of its established resilience against quantum threats and its recent standardization by the National Institute of Standards and Technology (NIST) (Chen, 2024). Additionally, we explicitly design our framework to avoid reliance on trusted hardware environments, opting instead for pure cryptographic guarantees to prevent the side-channel data leaks that often plague hardware-enclave solutions. By focusing on algorithmic alignment and basis-aligned mathematical transformations, the framework ensures that homomorphic workloads can be optimized effectively without compromising the underlying post-quantum security proofs. To validate the efficacy of the proposed framework, we outline a comprehensive evaluation plan utilizing a hypothetical, high-dimensional healthcare benchmarking dataset. The experimental setup will simulate a secure genome-wide association study (GWAS) executing within a fully decentralized federated learning environment (Sadat et al., 2017). The primary metrics for this hypothetical evaluation will include key generation latency, ciphertext expansion ratio, and the amortized computational time required for homomorphic multiplication operations across distributed nodes. By systematically varying the cryptographic noise parameters and observing the resulting degradation in analytical performance, we aim to empirically map the trad
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.
This chapter presents a novel approach to securing sensitive healthcare data using quantum homomorphic encryption (QHE) integrated with the RSA encryption scheme. In an era where privacy-preserving data analysis is critical, particularly in healthcare, this method demonstrates how encrypted medical datasets, specifically the Diabetes dataset, can undergo computations such as homomorphic addition without compromising confidentiality. The chapter simulates encryption, quantum circuit-based homomorphic operations, and decryption using classical and quantum paradigms. It compares computational accuracy and efficiency between quantum and classical homomorphic models, establishing the feasibility of QHE for real-world medical applications. Performance is evaluated across multiple input sizes, demonstrating secure computation scalability. The results show that QHE offers promising capabilities for privacy-preserving analytics in healthcare and other sensitive domains, bridging quantum and classical cryptographic methods to support secure, efficient, and scalable data processing.
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 about the program to the opposite party. It is known that information-theoretically-secure QHE for circuits of unrestricted size would require exponential resources, and efficient computationally-secure QHE schemes for polynomial-sized quantum circuits have been constructed. In this paper we first propose a QHE scheme for a type of circuits of polynomial depth, based on the rebit quantum computation formalism. The scheme keeps the restricted type of data perfectly secure. We then propose a QHE scheme for a larger class of polynomial-depth quantum circuits, which has partial data privacy. Both schemes have good circuit privacy. We also propose an interactive QHE scheme with asymptotic data privacy, however, the circuit privacy is not good, in the sense that the party who provides the data could cheat and learn about the circuit. We show that such cheating would generally affect the correctness of the evaluation or cause deviation from the protocol. Hence the cheating can be caught by the opposite party in an interactive scheme with embedded verifications. Such scheme with verification has a minor drawback in data privacy. Finally, we show some methods which achieve some nontrivial level of data privacy and circuit privacy without resorting to allowing early terminations, in both the QHE problem and in secure evaluation of classical functions. The entanglement and classical communication costs in these schemes are polynomial in the circuit size and the security parameter (if any).