Trinity: A General Purpose FHE Accelerator
Fully Homomorphic Encryption (FHE) is crucial for privacy-preserving computing, which allows direct computation on encrypted data. While various FHE schemes have been proposed, none of them efficiently support both arithmetic FHE and logic FHE simultaneously. To address this issue, researchers explore the combination of different FHE schemes within a single application and propose algorithms for the conversion between them. Unfortunately, all prior ASIC-based FHE accelerators are designed to support a single FHE scheme, and none of them supports the acceleration for FHE scheme conversion. This necessitates FHE acceleration systems to integrate multiple accelerators for different schemes, leading to increased system complexity and hindering performance enhancement. In this paper, we present the first multi-modal FHE accelerator based on a unified architecture, which efficiently supports CKKS, TFHE, and their conversion scheme within a single accelerator. To achieve this goal, we first analyze the theoretical foundations of the aforementioned schemes and highlight their composition from a finite number of arithmetic kernels. Then, we investigate the challenges for efficiently supporting these kernels within a unified architecture, which include 1) concurrent support for NTT and FFT, 2) maintaining high hardware utilization across various polynomial lengths, and 3) ensuring consistent performance across diverse arithmetic kernels. To tackle these challenges, we propose a novel FHE accelerator named Trinity, which in-corporates algorithm optimizations, hardware component reuse, and dynamic workload scheduling to enhance the acceleration of CKKS, TFHE, and their conversion scheme. By adaptive select the proper allocation of components for NTT and MAC, Trinity maintains high utilization across NTTs with various polynomial lengths and imbalanced arithmetic workloads. The experiment results show that, for the pure CKKS and TFHE workloads, the performance of our Trinity outperforms the state-of-the- art accelerator for CKKS (SHARP) and TFHE (Morphling) by 1.49 x and 4.23 x, respectively. Moreover, Trinity achieves 919.3 x performance improvement for the FHE-conversion scheme over the CPU-based implementation. Notably, despite the performance improvement, the hardware overhead of Trinity is only 85 % of the summed circuit areas of SHARP and Morphling.
Authors
- Rui Hou (ORCID: https://orcid.org/0000-0002-0348-8772)
- Qian Lou
- Shengyu Fan
- Zihao Yang (ORCID: https://orcid.org/0009-0007-4886-0404)
- Dingyuan Cao (ORCID: https://orcid.org/0009-0000-5975-4884)
- Meng Li (ORCID: https://orcid.org/0000-0001-8675-0758)
- Xianglong Deng (ORCID: https://orcid.org/0009-0002-2058-5109)
- Mingzhe Zhang (ORCID: https://orcid.org/0000-0001-8254-8560)
- Zhicheng Hu (ORCID: https://orcid.org/0000-0003-3021-8521)
- Dan Meng (ORCID: https://orcid.org/0000-0002-3076-8294)
- Jinxiang Yu
- Zhuoyu Tian
Institutions
- University of Central Florida (US)
- University of Electronic Science and Technology of China (CN)
- University of Illinois Urbana-Champaign (US)
- Peking University (CN)
- Beijing Academy of Artificial Intelligence (CN)
- Institute of Information Engineering (CN)
Publication Details
- Published
- 2024-11-02
- DOI
- https://doi.org/10.1109/micro61859.2024.00033
- Citations
- 17
- Primary Topic
- Particle accelerators and beam dynamics
- Type
- article
- Field-Weighted Citation Impact
- 22.08
Funders
- National Key Research and Development Program of China