Abstract:This work is mainly interested in ensuring users’ privacy in asymmetric computing, such as cloud computing. In particular, because lots of user data are expressed in non-integer data types, privacy-enhanced applications built on fully homomorphic encryption (FHE) must support real-valued comparisons due to the ubiquity of real numbers in real-world applications. However, as FHE schemes operate in specific domains, such as that of congruent integers, most FHE-based solutions focus only on homomorphic comparisons of integers. Attempts to overcome this barrier can be grouped into two classes. Given point numbers in the form of approximate real numbers, one class of solution uses a special-purpose encoding to represent the point numbers, whereas the other class constructs a dedicated FHE scheme to encrypt point numbers directly. The solutions in the former class may provide depth-efficient arithmetic (i.e., logarithmic depth in the size of the data), but not depth-efficient comparisons between FHE-encrypted point numbers. The second class may avoid this problem, but it requires the precision of point numbers to be determined before the FHE setup is run. Thus, the precision of the data cannot be controlled once the setup is complete. Furthermore, because the precision accuracy is closely related to the sizes of the encryption parameters, increasing the precision of point numbers results in increasing the sizes of the FHE parameters, which increases the sizes of the public keys and ciphertexts, incurring more expensive computation and storage. Unfortunately, this problem also occurs in many of the proposals that fall into the first class. In this work, we are interested in depth-efficient comparison over FHE-encrypted point numbers. In particular, we focus on enabling the precision of point numbers to be manipulated after the system parameters of the underlying FHE scheme are determined, and even after the point numbers are encrypted. To this end, we encode point numbers in continued fraction (CF) form. Therefore, our work lies in the first class of solutions, except that our CF-based approach allows depth-efficient homomorphic comparisons (more precisely, the complexity of the comparison is O ( log κ + log n ) for a number of partial quotients n and their bit length κ , which is normally small) while allowing users to determine the precision of the encrypted point numbers when running their applications. We develop several useful applications (e.g., sorting) that leverage our CF-based homomorphic comparisons.

An Efficient Encrypted Floating-Point Representation Using HEAAN and TFHE

<i>HEDA</i>: Multi-Attribute Unbounded Aggregation over Homomorphically Encrypted Database

HEAX: An Architecture for Computing on Encrypted Data

Homomorphic Comparison for Point Numbers with User-Controllable Precision and Its Applications

Secure signal processing using fully homomorphic encryption

Exploring the Feasibility of Fully Homomorphic Encryption

Enabling Practical and Privacy-Preserving Image Processing

Secure numerical simulations using fully homomorphic encryption

Privacy-Preserving Tree-Based Inference with TFHE

Enhancing paillier to fully homomorphic encryption with semi-honest TEE

A privacy protection-oriented parallel fully homomorphic encryption algorithm in cyber physical systems

A Pervasive, Efficient and Private Future: Realizing Privacy-Preserving Machine Learning Through Hybrid Homomorphic Encryption

Numerical Method for Comparison on Homomorphically Encrypted Numbers

When approximate design for fast homomorphic computation provides differential privacy guarantees

OpenFHE: Open-Source Fully Homomorphic Encryption Library

High-Performance Caching of Homomorphic Encryption for Cloud Databases

DataSeal: Ensuring the Verifiability of Private Computation on Encrypted Data

SoK: Fully Homomorphic Encryption Accelerators

Blind Evaluation Framework for Fully Homomorphic Encryption and Privacy-Preserving Machine Learning

Privacy-Preserving Machine Learning With Fully Homomorphic Encryption for Deep Neural Network

Encrypted data processing with Homomorphic Re-Encryption