International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Amortized bootstrapping revisited: Simpler, asymptotically-faster, implemented

Authors:
Antonio GuimarĂ£es , Institute of Computing, University of Campinas, Brazil
Hilder V. L. Pereira , Institute of Computing, University of Campinas, Brazil
Barry van Leeuwen , COSIC, KU Leuven, Belgium
Download:
Search ePrint
Search Google
Presentation: Slides
Conference: ASIACRYPT 2023
Abstract: Micciancio and Sorrel (ICALP 2018) proposed a bootstrapping algorithm that can refresh many messages at once with sublinearly many homomorphic operations per message. However, despite the attractive asymptotic cost, it is unclear if their algorithm could ever be practical, which reduces the impact of their results. In this work, we follow their general framework, but propose an amortized bootstrapping procedure that is conceptually simpler and asymptotically cheaper. We reduce the number of homomorphic operations per refreshed message from $O(3^\rho \cdot n^{1/\rho} \cdot \log n)$ to $O(\rho \cdot n^{1/\rho})$, and the noise overhead from $\tilde{O}(n^{2 + 3 \cdot \rho})$ to $\tilde{O}(n^{1 + \rho})$. We also make it more general, by handling non-binary messages and applying programmable bootstrapping. To obtain a concrete instantiation of our bootstrapping algorithm, we describe a double-CRT (aka RNS) version of the GSW scheme, including a new operation, called \emph{shrinking}, used to speed-up homomorphic operations by reducing the dimension and ciphertext modulus of the ciphertexts. We also provide a C++ implementation of our algorithm, thus showing for the first time the practicability of the amortized bootstrapping. Moreover, it is competitive with existing bootstrapping algorithms, being even around 3.4 times faster than an equivalent non-amortized version of our bootstrapping.
BibTeX
@inproceedings{asiacrypt-2023-33519,
  title={Amortized bootstrapping revisited: Simpler, asymptotically-faster, implemented},
  publisher={Springer-Verlag},
  author={Antonio GuimarĂ£es and Hilder V. L. Pereira and Barry van Leeuwen},
  year=2023
}