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

New Applications of Homomorphic Cryptography

Sina Shiehian

Published Jan 1, 2019• 0 citations
OpenAlex

Abstract

Since Gentry's breakthrough construction of fully homomorphic encryption from lattice-based assumptions (STOC 2009), homomorphic cryptography has attracted a lot of attention. In short, homomorphic cryptography schemes allow performing computation on encrypted data without knowing anything about the underlying plaintext. This branch of cryptography has become increasingly useful in building new protocols and schemes with intriguing security and functionality features. In this thesis, we continue to study the applications of homomorphic cryptography and the lattice-based techniques underlying them in realizing new and enhanced cryptographic primitives. We obtain the following results: -We construct the first noninteractive zero knowledge argument (and proof) system for all of NP from standard lattice assumptions. Noninteractive zero knowledge argument systems have found many applications in enhancing the functionality as well as the security of cryptographic schemes and protocols. Constructing noninteractive zero knowledge arguments from lattice assumption has been a long standing open question. We finally close this problem. -We consider multi-key fully homomorphic encryption (FHE) schemes. Traditional fully homomorphic encryption schemes allow computation on plaintext encrypted under a single key. The notion of multi-key fully homomorphic encryption allows homomorphic computation on data encrypted under different keys. We construct multi-key FHE schemes which are naturally dynamic: ciphertexts under new keys can join even during the homomorphic computation. -Finally, we focus on constrained pseudorandom functions (C-PRFs), which are pseudorandom functions (PRFs) with additional functional capabilities. We propose a new approach for building C-PRFs from lattices, and also significantly enhance the underlying lattice parameters.

Related papers

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

Feasibility and Infeasibility of Adaptively Secure Fully Homomorphic Encryption.

Jonathan I. Katz, Aishwarya Thiruvengadam, Hong-Sheng Zhou

Abstract. Fully homomorphic encryption (FHE) is a form of public-key encryption that enables arbitrary computation over encrypted data. The past few years have seen several realizations of FHE under differ-ent assumptions, and FHE has been used as a building block in many cryptographic applications. Adaptive security for public-key encryption schemes is an important se-curity notion proposed by Canetti et al. It is intended to ensure security when encryption is used within an interactive protocol and parties may be adaptively corrupted by an adversary during the course of the protocol execution. Due to the extensive applications of FHE to protocol design, it is natural to understand whether adaptively secure FHE is achievable. In this paper we show two contrasting results in this direction. First, we show that adaptive security is impossible for FHE satisfying the (stan-dard) compactness requirement. On the other hand, we show a construc-tion of adaptively secure FHE that is not compact, but that does achieve circuit privacy.

•Jan 1, 2015•0 citations

FINALLY: A Multi-Key FHE Scheme Based on NTRU and LWE

Jeongeun Park, Barry Van Leeuwen, Oliver Zajonc

Multi-key fully homomorphic encryption (MKFHE), a generalization of fully homomorphic encryption (FHE), enables a computation over encrypted data under multiple keys. The first MKFHE schemes were based on the NTRU primitive, however these early NTRU based FHE schemes were found to be insecure due to the problem of over-stretched parameters. Recently, in the case of standard (non-multi key) FHE a secure version, called FINAL, of NTRU has been found. In this work we extend FINAL to an MKFHE scheme, this allows us to benefit from some of the performance advantages provided by NTRU based primitives. Thus, our scheme provides competitive performance against current state-of-the-art multi-key TFHE, in particular reducing the computational complexity from quadratic to linear in the number of keys.

IACR Communications in Cryptology•Oct 7, 2024•10 citations

Design and Implementation of Lattice-Based Cryptography

Tancrède Lepoint

Today, lattice-based cryptography is a thriving scientific field. Its swift expansion is due, among others, to the attractiveness of fully homomorphic encryption and cryptographic multilinear maps. Lattice-based cryptography has also been recognized for its thrilling properties: a security that can be reduced to worst-case instances of problems over lattices, a quasi-optimal asymptotic efficiency and an alleged resistance to quantum computers. However, its practical use in real-world products leaves a lot to be desired. This thesis accomplishes a step towards this goal by narrowing the gap between theoretical research and practical implementation of recent public key cryptosystems. In this thesis, we design and implement a lattice-based digital signature, two fully homomorphic encryption schemes and cryptographic multilinear maps. Our highly efficient signature scheme, BLISS, opened the way to implementing lattice-based cryptography on constrained devices and remains as of today a promising primitive for post-quantum cryptography. Our fully homomorphic encryption schemes enjoy competitive homomorphic evaluations of nontrivial circuits. Finally, we describe the first implementation of cryptographic multilinear maps. Based on our implementation, a non interactive key exchange between more than three parties has been realized for the first time, and amounts to a few seconds per party.

•Jun 30, 2014•9 citations

A Comprehensive Survey on Lattice-based Cryptography and Homomorphic Encryption

Wenjie He, Jing Wang, Yuan Gao

With the popularization of cloud computing model, the outsourcing of data storage and computing services has become an indispensable trend, which lead to the related data security and privacy protection issues that have attracted extensive attention in the industry. Fully homomorphic encryption, as an encryption technology that can process ciphertext information without exposing plaintext information, has natural user data security and privacy protection characteristics. Meanwhile, the excellent quantum-resistant performance and homomorphic properties of lattice ciphers have made lattice-based homomorphic encryption schemes a much-attend research hotspot in the field of cryptography in recent years. In this paper we mainly introduce the status of all-pass encryption and several typical references for the research of lattice-based all-homomorphic cryptography.

International Academic Exchange Conference on Science and Technology Innovation (IAECST)•Dec 8, 2023•1 citation

A Research on the Application Comparison of NTRU in Typical Fully Homomorphic Encryption Scheme

Xu Zhao, Zheng Yuan

Fully homomorphic encryption (FHE) allows arbitrary computations to be performed directly on encrypted data and is a core technology for privacy computing and secure cloud computing. The Number Theory Research Unit (NTRU) has become a research topic in this field by virtue of its lattice-based anti-quantum security, efficient polynomial operation characteristics and natural multi-key homomorphism capability. In this paper, we systematically review the key advances of NTRU-based FHE, covering the directions of the design of FHE, the optimization of bootstrapping techniques, and the application to FHE for multi-key approaches. Furthermore, the innovativeness and practical application challenges of the schemes are analyzed, and the future research trends are envisioned.

International Symposium on AI and Cybersecurity (ISAICS)•Oct 24, 2025•0 citations
Since Gentry's breakthrough construction of fully homomorphic encryption from lattice-based assumptions (STOC 2009), homomorphic cryptography has attracted a lot of attention. In short, homomorphic cryptography schemes allow performing computation on encrypted data without knowing anything about the underlying plaintext. This branch of cryptography has become increasingly useful in building new protocols and schemes with intriguing security and functionality features. In this thesis, we continue to study the applications of homomorphic cryptography and the lattice-based techniques underlying them in realizing new and enhanced cryptographic primitives. We obtain the following results: -We construct the first noninteractive zero knowledge argument (and proof) system for all of NP from standard lattice assumptions. Noninteractive zero knowledge argument systems have found many applications in enhancing the functionality as well as the security of cryptographic schemes and protocols. Constructing noninteractive zero knowledge arguments from lattice assumption has been a long standing open question. We finally close this problem. -We consider multi-key fully homomorphic encryption (FHE) schemes. Traditional fully homomorphic encryption schemes allow computation on plaintext encrypted under a single key. The notion of multi-key fully homomorphic encryption allows homomorphic computation on data encrypted under different keys. We construct multi-key FHE schemes which are naturally dynamic: ciphertexts under new keys can join even during the homomorphic computation. -Finally, we focus on constrained pseudorandom functions (C-PRFs), which are pseudorandom functions (PRFs) with additional functional capabilities. We propose a new approach for building C-PRFs from lattices, and also significantly enhance the underlying lattice parameters.
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
Abstract. Fully homomorphic encryption (FHE) is a form of public-key encryption that enables arbitrary computation over encrypted data. The past few years have seen several realizations of FHE under differ-ent assumptions, and FHE has been used as a building block in many cryptographic applications. Adaptive security for public-key encryption schemes is an important se-curity notion proposed by Canetti et al. It is intended to ensure security when encryption is used within an interactive protocol and parties may be adaptively corrupted by an adversary during the course of the protocol execution. Due to the extensive applications of FHE to protocol design, it is natural to understand whether adaptively secure FHE is achievable. In this paper we show two contrasting results in this direction. First, we show that adaptive security is impossible for FHE satisfying the (stan-dard) compactness requirement. On the other hand, we show a construc-tion of adaptively secure FHE that is not compact, but that does achieve circuit privacy.
Multi-key fully homomorphic encryption (MKFHE), a generalization of fully homomorphic encryption (FHE), enables a computation over encrypted data under multiple keys. The first MKFHE schemes were based on the NTRU primitive, however these early NTRU based FHE schemes were found to be insecure due to the problem of over-stretched parameters. Recently, in the case of standard (non-multi key) FHE a secure version, called FINAL, of NTRU has been found. In this work we extend FINAL to an MKFHE scheme, this allows us to benefit from some of the performance advantages provided by NTRU based primitives. Thus, our scheme provides competitive performance against current state-of-the-art multi-key TFHE, in particular reducing the computational complexity from quadratic to linear in the number of keys.
Today, lattice-based cryptography is a thriving scientific field. Its swift expansion is due, among others, to the attractiveness of fully homomorphic encryption and cryptographic multilinear maps. Lattice-based cryptography has also been recognized for its thrilling properties: a security that can be reduced to worst-case instances of problems over lattices, a quasi-optimal asymptotic efficiency and an alleged resistance to quantum computers. However, its practical use in real-world products leaves a lot to be desired. This thesis accomplishes a step towards this goal by narrowing the gap between theoretical research and practical implementation of recent public key cryptosystems. In this thesis, we design and implement a lattice-based digital signature, two fully homomorphic encryption schemes and cryptographic multilinear maps. Our highly efficient signature scheme, BLISS, opened the way to implementing lattice-based cryptography on constrained devices and remains as of today a promising primitive for post-quantum cryptography. Our fully homomorphic encryption schemes enjoy competitive homomorphic evaluations of nontrivial circuits. Finally, we describe the first implementation of cryptographic multilinear maps. Based on our implementation, a non interactive key exchange between more than three parties has been realized for the first time, and amounts to a few seconds per party.
With the popularization of cloud computing model, the outsourcing of data storage and computing services has become an indispensable trend, which lead to the related data security and privacy protection issues that have attracted extensive attention in the industry. Fully homomorphic encryption, as an encryption technology that can process ciphertext information without exposing plaintext information, has natural user data security and privacy protection characteristics. Meanwhile, the excellent quantum-resistant performance and homomorphic properties of lattice ciphers have made lattice-based homomorphic encryption schemes a much-attend research hotspot in the field of cryptography in recent years. In this paper we mainly introduce the status of all-pass encryption and several typical references for the research of lattice-based all-homomorphic cryptography.
Fully homomorphic encryption (FHE) allows arbitrary computations to be performed directly on encrypted data and is a core technology for privacy computing and secure cloud computing. The Number Theory Research Unit (NTRU) has become a research topic in this field by virtue of its lattice-based anti-quantum security, efficient polynomial operation characteristics and natural multi-key homomorphism capability. In this paper, we systematically review the key advances of NTRU-based FHE, covering the directions of the design of FHE, the optimization of bootstrapping techniques, and the application to FHE for multi-key approaches. Furthermore, the innovativeness and practical application challenges of the schemes are analyzed, and the future research trends are envisioned.