BoostCom: Towards Efficient Universal Fully Homomorphic Encryption by Boosting the Word-wise Comparisons

Ardhi Wiratama Baskara Yudha,Jiaqi Xue,Qian Lou,Huiyang Zhou,Yan Solihin
2024-07-10
Abstract:Fully Homomorphic Encryption (FHE) allows for the execution of computations on encrypted data without the need to decrypt it first, offering significant potential for privacy-preserving computational operations. Emerging arithmetic-based FHE schemes (ar-FHE), like BGV, demonstrate even better performance in word-wise comparison operations over non-arithmetic FHE (na-FHE) schemes, such as TFHE, especially for basic tasks like comparing values, finding maximums, and minimums. This shows the universality of ar-FHE in effectively handling both arithmetic and non-arithmetic operations without the expensive conversion between arithmetic and non-arithmetic FHEs. We refer to universal arithmetic Fully Homomorphic Encryption as uFHE. The arithmetic operations in uFHE remain consistent with those in the original arithmetic FHE, which have seen significant acceleration. However, its non-arithmetic comparison operations differ, are slow, and have not been as thoroughly studied or accelerated. In this paper, we introduce BoostCom, a scheme designed to speed up word-wise comparison operations, enhancing the efficiency of uFHE systems. BoostCom involves a multi-prong optimizations including infrastructure acceleration (Multi-level heterogeneous parallelization and GPU-related improvements), and algorithm-aware optimizations (slot compaction, non-blocking comparison semantic). Together, BoostCom achieves an end-to-end performance improvement of more than an order of magnitude (11.1x faster) compared to the state-of-the-art CPU-based uFHE systems, across various FHE parameters and tasks.
Cryptography and Security,Distributed, Parallel, and Cluster Computing
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to solve the problem of inefficient comparison operations in Fully Homomorphic Encryption (FHE), especially in universal arithmetic Fully Homomorphic Encryption (uFHE) based on the BGV scheme. Specifically: 1. **Background and Current Situation**: - Arithmetic FHE (ar - FHE) such as BGV performs well in handling integer operations, and after recent improvements, it can support batch word - level comparison operations, making it suitable for not only arithmetic operations but also non - arithmetic comparison operations. - Non - arithmetic FHE (na - FHE) such as TFHE performs better in bit - level comparison operations, but is slow in integer arithmetic operations. - The newly upgraded BGV scheme combines the advantages of both and becomes the basis of the uFHE scheme. However, its comparison operations are still complex and slow, limiting the overall performance. 2. **Core of the Problem**: - **Bottleneck of Comparison Operations**: Each comparison operation requires \(3p - 5\) non - scalar multiplications, additions, rotations, and scalar multiplications, where \(p\) is the plaintext modulus. This makes the comparison operation several orders of magnitude slower than other operations (such as multiplication), especially when running on a single CPU. - **Requirements of Application Scenarios**: Many scientific computing and machine learning applications rely on frequent comparison operations, so improving the efficiency of comparison operations is crucial. 3. **Solution**: - A scheme named BoostCom is proposed to accelerate word - level comparison operations in uFHE through infrastructure acceleration (multi - level heterogeneous parallelization and GPU - related optimizations) and algorithm optimization (slot compression and non - blocking comparison semantics). - BoostCom achieves an end - to - end performance improvement of more than one order of magnitude (11.1 times), especially compared to existing CPU - based uFHE systems under various FHE parameters and tasks. 4. **Specific Contributions**: - **Multi - level Heterogeneous Parallelization**: Utilizes multi - core CPUs for management and finer - grained GPU parallelization to optimize the execution of FHE operations. - **GPU - related Optimizations**: Includes branch removal, plan reuse, and memory layout optimization to accelerate polynomial operations. - **New Algorithm Enhancements**: Introduces slot compression and non - blocking comparison semantics to reduce memory usage and computational dependencies, thereby increasing throughput. - **Comprehensive Evaluation**: Conducts end - to - end evaluations on five important applications, including sorting, finding the minimum element, multi - layer perceptron (MLP), image recoloring, and private query, verifying the effectiveness of BoostCom. Through these improvements, BoostCom significantly improves the performance of the uFHE system, especially in applications with intensive comparison operations.