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:1401.2417

General Impossibility of Group Homomorphic Encryption in the Quantum World

Frederik Armknecht, Tommaso Gagliardoni, Stefan Katzenbeisser, Peter, Andreas

Published Jan 10, 2014• 2 citations
arXivHTMLPDF

Abstract

Group homomorphic encryption represents one of the most important building blocks in modern cryptography. It forms the basis of widely-used, more sophisticated primitives, such as CCA2-secure encryption or secure multiparty computation. Unfortunately, recent advances in quantum computation show that many of the existing schemes completely break down once quantum computers reach maturity (mainly due to Shor's algorithm). This leads to the challenge of constructing quantum-resistant group homomorphic cryptosystems. In this work, we prove the general impossibility of (abelian) group homomorphic encryption in the presence of quantum adversaries, when assuming the IND-CPA security notion as the minimal security requirement. To this end, we prove a new result on the probability of sampling generating sets of finite (sub-)groups if sampling is done with respect to an arbitrary, unknown distribution. Finally, we provide a sufficient condition on homomorphic encryption schemes for our quantum attack to work and discuss its satisfiability in non-group homomorphic cases. The impact of our results on recent fully homomorphic encryption schemes poses itself as an open question.

DOI
10.48550/arxiv.1401.2417

Related papers

On homomorphic encryption using abelian groups: Classical security analysis

Eleni Agathocleous, Vishnupriya Anupindi, Annette Bachmayr +3 more

In [15], Leonardi and Ruiz-Lopez propose an additively homomorphic public key encryption scheme whose security is expected to depend on the hardness of the learning homomorphism with noise problem (LHN). Choosing parameters for their primitive requires choosing three groups $G$, $H$, and $K$. In their paper, Leonardi and Ruiz-Lopez claim that, when $G$, $H$, and $K$ are abelian, then their public key cryptosystem is not quantum secure. In this paper, we study security for finite abelian groups $G$, $H$, and $K$ in the classical case. Moreover, we study quantum attacks on instantiations with solvable groups.

arXiv:2302.12867•Feb 24, 2023•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

On Quantum Obfuscation

Gorjan Alagic, Bill Fefferman

Encryption of data is fundamental to secure communication in the modern world. Beyond encryption of data lies obfuscation, i.e., encryption of functionality. It is well-known that the most powerful means of obfuscating classical programs, so-called ``black-box obfuscation',' is provably impossible [Barak et al '12]. However, several recent results have yielded candidate schemes that satisfy a definition weaker than black-box, and yet still have numerous applications. In this work, we initialize the rigorous study of obfuscating programs via quantum-mechanical means. We define notions of quantum obfuscation which encompass several natural variants. The input to the obfuscator can describe classical or quantum functionality, and the output can be a circuit description or a quantum state. The obfuscator can also satisfy one of a number of obfuscation conditions: black-box, information-theoretic black-box, indistinguishability, and best possible; the last two conditions come in three variants: perfect, statistical, and computational. We discuss many applications, including CPA-secure quantum encryption, quantum fully-homomorphic encryption, and public-key quantum money. We then prove several impossibility results, extending a number of foundational papers on classical obfuscation to the quantum setting. We prove that quantum black-box obfuscation is impossible in a setting where adversaries can possess more than one output of the obfuscator. In particular, generic transformation of quantum circuits into black-box-obfuscated quantum circuits is impossible. We also show that statistical indistinguishability obfuscation is impossible, up to an unlikely complexity-theoretic collapse. Our proofs involve a new tool: chosen-ciphertext-secure encryption of quantum data, which was recently shown to be possible assuming quantum-secure one-way functions exist [Alagic et al '16].

arXiv:1602.01771•Feb 4, 2016•16 citations

Quantum Homomorphic Encryption Based on Quantum Obfuscation

Yuanjing Zhang, Tao Shang, Jianwei Liu +1 more

Homomorphic encryption enables computation on encrypted data while maintaining secrecy. This leads to an important open question whether quantum computation can be delegated and verified in a non-interactive manner or not. In this paper, we affirmatively answer this question by constructing the quantum homomorphic encryption scheme with quantum obfuscation. It takes advantage of the interchangeability of the unitary operator, and exchanges the evaluation operator and the encryption operator by means of equivalent multiplication to complete homomorphic encryption. The correctness of the proposed scheme is proved theoretically. The evaluator does not know the decryption key and does not require a regular interaction with a user. Because of key transmission after quantum obfuscation, the encrypting party and the decrypting party can be different users. The output state has the property of complete mixture, which guarantees the scheme security. Moreover, the security level of the quantum homomorphic encryption scheme depends on quantum obfuscation and encryption operators.

International Wireless Communications and Mobile Computing Conference (IWCMC)•Jun 1, 2020•8 citations

Lattice-Based Post-Quantum Cryptography for Homomorphic Encryption

Abel C. H. Chen

As quantum computing technology continues to advance, the development of post-quantum cryptography (PQC) methods capable of resisting quantum computing attacks has emerged as a key research direction. Existing homomorphic encryption schemes, such as RSA, ElGamal, and Paillier, face potential vulnerabilities to quantum attacks. To address this challenge, this study proposes a lattice-based PQC homomorphic encryption scheme. The approach leverages lattice cryptographic methods to resist quantum attacks while enabling homomorphic encryption for computational applications. This research provides mathematical proofs, computational examples, and a comprehensive security analysis of the proposed lattice-based PQC homomorphic encryption scheme. The findings aim to serve as a reference for developers working on homomorphic encryption applications, such as federated learning.

arXiv:2501.03249•International Conference on Smart Systems for Applications in Electrical Sciences (ICSSES)•Mar 21, 2025•4 citations

Quantum homomorphic encryption from quantum codes

Yingkai Ouyang, Si-Hui Tan, Joseph F. Fitzsimons

The recent discovery of fully homomorphic classical encryption schemes has had a dramatic effect on the direction of modern cryptography. Such schemes, however, implicitly rely on the assumption that solving certain computation problems is intractable. Here we present a quantum encryption scheme which is homomorphic for arbitrary classical and quantum circuits which have at most some constant number of non-Clifford gates. Unlike classical schemes, the security of the scheme we present is information theoretic and hence independent of the computational power of an adversary.

arXiv:1508.00938•Physical Review A•Oct 25, 2018•70 citations
Group homomorphic encryption represents one of the most important building blocks in modern cryptography. It forms the basis of widely-used, more sophisticated primitives, such as CCA2-secure encryption or secure multiparty computation. Unfortunately, recent advances in quantum computation show that many of the existing schemes completely break down once quantum computers reach maturity (mainly due to Shor's algorithm). This leads to the challenge of constructing quantum-resistant group homomorphic cryptosystems. In this work, we prove the general impossibility of (abelian) group homomorphic encryption in the presence of quantum adversaries, when assuming the IND-CPA security notion as the minimal security requirement. To this end, we prove a new result on the probability of sampling generating sets of finite (sub-)groups if sampling is done with respect to an arbitrary, unknown distribution. Finally, we provide a sufficient condition on homomorphic encryption schemes for our quantum attack to work and discuss its satisfiability in non-group homomorphic cases. The impact of our results on recent fully homomorphic encryption schemes poses itself as an open question.
In [15], Leonardi and Ruiz-Lopez propose an additively homomorphic public key encryption scheme whose security is expected to depend on the hardness of the learning homomorphism with noise problem (LHN). Choosing parameters for their primitive requires choosing three groups GGG, HHH, and KKK. In their paper, Leonardi and Ruiz-Lopez claim that, when GGG, HHH, and KKK are abelian, then their public key cryptosystem is not quantum secure. In this paper, we study security for finite abelian groups GGG, HHH, and KKK in the classical case. Moreover, we study quantum attacks on instantiations with solvable groups.
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
Encryption of data is fundamental to secure communication in the modern world. Beyond encryption of data lies obfuscation, i.e., encryption of functionality. It is well-known that the most powerful means of obfuscating classical programs, so-called ``black-box obfuscation',' is provably impossible [Barak et al '12]. However, several recent results have yielded candidate schemes that satisfy a definition weaker than black-box, and yet still have numerous applications. In this work, we initialize the rigorous study of obfuscating programs via quantum-mechanical means. We define notions of quantum obfuscation which encompass several natural variants. The input to the obfuscator can describe classical or quantum functionality, and the output can be a circuit description or a quantum state. The obfuscator can also satisfy one of a number of obfuscation conditions: black-box, information-theoretic black-box, indistinguishability, and best possible; the last two conditions come in three variants: perfect, statistical, and computational. We discuss many applications, including CPA-secure quantum encryption, quantum fully-homomorphic encryption, and public-key quantum money. We then prove several impossibility results, extending a number of foundational papers on classical obfuscation to the quantum setting. We prove that quantum black-box obfuscation is impossible in a setting where adversaries can possess more than one output of the obfuscator. In particular, generic transformation of quantum circuits into black-box-obfuscated quantum circuits is impossible. We also show that statistical indistinguishability obfuscation is impossible, up to an unlikely complexity-theoretic collapse. Our proofs involve a new tool: chosen-ciphertext-secure encryption of quantum data, which was recently shown to be possible assuming quantum-secure one-way functions exist [Alagic et al '16].
Homomorphic encryption enables computation on encrypted data while maintaining secrecy. This leads to an important open question whether quantum computation can be delegated and verified in a non-interactive manner or not. In this paper, we affirmatively answer this question by constructing the quantum homomorphic encryption scheme with quantum obfuscation. It takes advantage of the interchangeability of the unitary operator, and exchanges the evaluation operator and the encryption operator by means of equivalent multiplication to complete homomorphic encryption. The correctness of the proposed scheme is proved theoretically. The evaluator does not know the decryption key and does not require a regular interaction with a user. Because of key transmission after quantum obfuscation, the encrypting party and the decrypting party can be different users. The output state has the property of complete mixture, which guarantees the scheme security. Moreover, the security level of the quantum homomorphic encryption scheme depends on quantum obfuscation and encryption operators.
As quantum computing technology continues to advance, the development of post-quantum cryptography (PQC) methods capable of resisting quantum computing attacks has emerged as a key research direction. Existing homomorphic encryption schemes, such as RSA, ElGamal, and Paillier, face potential vulnerabilities to quantum attacks. To address this challenge, this study proposes a lattice-based PQC homomorphic encryption scheme. The approach leverages lattice cryptographic methods to resist quantum attacks while enabling homomorphic encryption for computational applications. This research provides mathematical proofs, computational examples, and a comprehensive security analysis of the proposed lattice-based PQC homomorphic encryption scheme. The findings aim to serve as a reference for developers working on homomorphic encryption applications, such as federated learning.
The recent discovery of fully homomorphic classical encryption schemes has had a dramatic effect on the direction of modern cryptography. Such schemes, however, implicitly rely on the assumption that solving certain computation problems is intractable. Here we present a quantum encryption scheme which is homomorphic for arbitrary classical and quantum circuits which have at most some constant number of non-Clifford gates. Unlike classical schemes, the security of the scheme we present is information theoretic and hence independent of the computational power of an adversary.