Abstract:The prospect of outsourcing an increasing amount of data storage and management to cloud services raises many new privacy concerns for individuals and businesses alike. The privacy concerns can be satisfactorily addressed if users encrypt the data they send to the cloud. If the encryption scheme is homomorphic, the cloud can still perform meaningful computations on the data, even though it is encrypted. In fact, we now know a number of constructions of fully homomorphic encryption schemes that allow arbitrary computation on encrypted data. In the last two years, solutions for fully homomorphic encryption have been proposed and improved upon, but it is hard to ignore the elephant in the room, namely efficiency -- can homomorphic encryption ever be efficient enough to be practical? Certainly, it seems that all known fully homomorphic encryption schemes have a long way to go before they can be used in practice. Given this state of affairs, our contribution is two-fold. First, we exhibit a number of real-world applications, in the medical, financial, and the advertising domains, which require only that the encryption scheme is "somewhat" homomorphic. Somewhat homomorphic encryption schemes, which support a limited number of homomorphic operations, can be much faster, and more compact than fully homomorphic encryption schemes. Secondly, we show a proof-of-concept implementation of the recent somewhat homomorphic encryption scheme of Brakerski and Vaikuntanathan, whose security relies on the "ring learning with errors" (Ring LWE) problem. The scheme is very efficient, and has reasonably short ciphertexts. Our unoptimized implementation in magma enjoys comparable efficiency to even optimized pairing-based schemes with the same level of security and homomorphic capacity. We also show a number of application-specific optimizations to the encryption scheme, most notably the ability to convert between different message encodings in a ciphertext.

Multikey Verifiable Homomorphic Encryption

Asymptotically Faster Multi-Key Homomorphic Encryption from Homomorphic Gadget Decomposition

Practical multi-party quantum homomorphic encryption

Verifiable Quantum Homomorphic Encryption Based on Garbled Evaluation

Verifiable Fully Homomorphic Encryption

Multi-Key Homomorphic Encryption with Tightened RGSW Ciphertexts without Relinearization for Ciphertexts Product

Verifiable computation over encrypted data via MPC-in-the-head zero-knowledge proofs

Verifiable Encodings for Secure Homomorphic Analytics

Multi-key Fully Homomorphic Encryption without CRS from RLWE

Homomorphic Witness Encryption and Its Applications

Privacy-Preserving Homomorphic MACs with Efficient Verification

Secure and Flexible Privacy-Preserving Federated Learning Based on Multi-Key Fully Homomorphic Encryption

Three-Input Ciphertext Multiplication for Homomorphic Encryption

Privacy-preserving Decentralized Deep Learning with Multiparty Homomorphic Encryption

Privacy-preserving multikey computing framework for encrypted data in the cloud

Multi-bit Leveled Homomorphic Encryption via $$\mathsf {Dual.LWE}$$-Based

Verifiable Additive Homomorphic Secret Sharing with Dynamic Aggregation Support

Can homomorphic encryption be practical?

Multi-Key Fully Homomorphic Encryption For Privacy-Preservation Within Federated Learning Environments

Publicly Verifiable Homomorphic Secret Sharing for Polynomial Evaluation

Secure Multi-Party Quantum Summation Based on Quantum Homomorphic Encryption