Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Bootstrapping Small Integers With CKKS
Bae, Youngjin; Kim, Jaehyung; Stehlé, Damienet al.
2025 • In Chung, Kai-Min (Ed.) Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings
[en] The native plaintexts of the Cheon-Kim-Kim-Song (CKKS) fully homomorphic encryption scheme are vectors of approximations to complex numbers. Drucker et al. [J. Cryptol.’24] have showed how to use CKKS to efficiently perform computations on bits and small bit-length integers, by relying on their canonical embeddings into the complex plane. For small bit-length integers, Chung et al. [IACR eprint’24] recently suggested to rather rely on an embedding into complex roots of unity, to gain numerical stability and efficiency. Both works use CKKS in a black-box manner. Inspired by the design by Bae et al. [Eurocrypt’24] of a dedicated bootstrapping algorithm for ciphertexts encoding bits, we propose a CKKS bootstrapping algorithm, SI-BTS (small-integer bootstrapping), for ciphertexts encoding small bit-length integers. For this purpose, we build upon the DM/CGGI-to-CKKS conversion algorithm from Boura et al. [J. Math. Cryptol.’20], to bootstrap canonically embedded integers to integers embedded as roots of unity. SI-BTS allows functional bootstrapping: it can evaluate an arbitrary function of its input while bootstrapping. It may also be used to batch-(functional-)bootstrap multiple DM/CGGI ciphertexts. For example, its amortized cost for evaluating an 8-bit look-up table on 212 DM/CGGI ciphertexts is 3.75ms (single-thread CPU, 128-bit security). We adapt SI-BTS to simultaneously bootstrap multiple CKKS ciphertexts for bits. The resulting BB-BTS algorithm (batch-bits bootstrapping) allows to decrease the amortized cost of a binary gate evaluation. Compared to Bae et al., it gives a 2.4x speed-up.
Disciplines :
Computer science
Author, co-author :
Bae, Youngjin ; CryptoLab Inc., Seoul, South Korea
Kim, Jaehyung ; CryptoLab Inc., Seoul, South Korea
Stehlé, Damien ; CryptoLab Inc., Lyon, France
SUVANTO, Elias ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; CryptoLab Inc., Seoul, South Korea
External co-authors :
yes
Language :
English
Title :
Bootstrapping Small Integers With CKKS
Publication date :
2025
Event name :
Asiacrypt 2024
Event organizer :
International Association for Cryptologic Research
Event place :
Kolkata, India
Event date :
09-12-2024 => 13-12-2024
Audience :
International
Main work title :
Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings
Editor :
Chung, Kai-Min
Publisher :
Springer Science and Business Media Deutschland GmbH
E. Aharoni, N. Drucker, G. Ezov, E. Kushnir, H. Shaul, and O. Soceanu. E2E near-standard and practical authenticated transciphering. IACR eprint 2023/1040, 2023.
M. R. Albrecht, R. Player, and S. Scott. On the concrete hardness of learning with errors. J. Math. Cryptol., 2015. Software available at https://github.com/malb/lattice-estimator (commit fd4a460).
Y. Bae, J. H. Cheon, J. Kim, J. H. Park, and D. Stehlé. HERMES: Efficient ring packing using MLWE ciphertexts and application to transciphering. In CRYPTO, 2023.
Y. Bae, J. H. Cheon, J. Kim, and D. Stehlé. Bootstrapping bits with CKKS. In EUROCRYPT, 2024.
C. Boura, N. Gama, M. Georgieva, and D. Jetchev. CHIMERA: combining ring-LWE-based fully homomorphic encryption schemes. J. Math. Cryptol., 2020.
Z. Brakerski, C. Gentry, and V. Vaikuntanathan. (Leveled) fully homomorphic encryption without bootstrapping. In ITCS, 2012.
Z. Brakerski. Fully homomorphic encryption without modulus switching from classical GapSVP. In CRYPTO, 2012.
J.-P. Bossuat, J. Troncoso-Pastoriza, and J.-P. Hubaux. Bootstrapping for approximate homomorphic encryption with negligible failure-probability by using sparse-secret encapsulation. newblock In ACNS, 2022.
H. Chen, I. Chillotti, and Y. Song. Improved bootstrapping for approximate homomorphic encryption. In EUROCRYPT, 2019.
I. Chillotti, N. Gama, M. Georgieva, and M. Izabachène. Faster fully homomorphic encryption: Bootstrapping in less than 0.1 seconds. In ASIACRYPT, 2016.
I. Chillotti, N. Gama, M. Georgieva, and M. Izabachène. TFHE: Fast fully homomorphic encryption library (version 1.1), 2016. Software available at https://tfhe.github.io/tfhe/.
I. Chillotti, N. Gama, M. Georgieva, and M. Izabachène. Faster packed homomorphic operations and efficient circuit bootstrapping for TFHE. In ASIACRYPT, 2017.
J. H. Cheon, K. Han, A. Kim, M. Kim, and Y. Song. Bootstrapping for approximate homomorphic encryption. In EUROCRYPT, 2018.
O. Cosseron, C. Hoffmann, P. Méaux, and F.-X. Standaert. Towards case-optimized hybrid homomorphic encryption - featuring the Elisabeth stream cipher. In ASIACRYPT, 2022.
S. Carpov, M. Izabachène, and V. Mollimard. New techniques for multi-value input homomorphic evaluation and applications. In CT-RSA, 2019.
I. Chillotti, M. Joye, and P. Paillier. Programmable bootstrapping enables efficient homomorphic inference of deep neural networks. In CSCML, 2021.
J. H. Cheon, D. Kim, and D. Kim. Efficient homomorphic comparison methods with optimal complexity. In ASIACRYPT, 2020.
H. Chung, H. Kim, Y.-S. Kim, and Y. Lee. Amortized large look-up table evaluation with multivariate polynomials for homomorphic encryption. IACR eprint 2024/274, 2024.
J. H. Cheon, A. Kim, M. Kim, and Y. Song. Homomorphic encryption for arithmetic of approximate numbers. In ASIACRYPT, 2017.
CryptoLab. HEaaN library, 2022. Available at https://heaan.it/.
L. Ducas and D. Micciancio. FHEW: Bootstrapping homomorphic encryption in less than a second. In EUROCRYPT, 2015.
N. Drucker, G. Moshkowich, T. Pelleg, and H. Shaul. BLEACH: Cleaning errors in discrete computations over CKKS. J. Cryptol., 2024.
J. Fan and F. Vercauteren. Somewhat practical fully homomorphic encryption. IACR eprint 2012/144, 2012.
K. Han and D. Ki. Better bootstrapping for approximate homomorphic encryption. In CT-RSA, 2020.
S. Kim, M. Park, J. Kim, T. Kim, and C. Min. EvalRound algorithm in CKKS bootstrapping. In ASIACRYPT, 2022.
K. Kluczniak and L. Schild. FDFB: Full domain functional bootstrapping towards practical fully homomorphic encryption. TCHES, 2022.
Y. Lee, J.-W. Lee, Y.-S. Kim, Y. Kim, J.-S. No, and H. Kang. High-precision bootstrapping for approximate homomorphic encryption by error variance minimization. In EUROCRYPT, 2022.
J.-W. Lee, E. Lee, Y. Lee, Y.-S. Kim, and J.-S. No. High-precision bootstrapping of RNS-CKKS homomorphic encryption using optimal minimax polynomial approximation and inverse sine function. In EUROCRYPT, 2021.
C. Lee, S. Min, J. Seo, and Y. Song. Faster TFHE bootstrapping with block binary keys. In AsiaCCS, 2023.
V. Lyubashevsky, C. Peikert, and O. Regev. On ideal lattices and learning with errors over rings. In EUROCRYPT, 2010.
Z. Liu and Y. Wang. Amortized functional bootstrapping in less than 7 ms, with \(\widetilde{O}(1)\) polynomial multiplications. In ASIACRYPT, 2023.
Z. Liu and Y. Wang. Relaxed functional bootstrapping: A new perspective on BGV/BFV bootstrapping. IACR eprint 2024/172, 2024.
M. S. Paterson and L. J. Stockmeyer. On the number of nonscalar multiplications necessary to evaluate polynomials. SIAM J Comput, 1973.
D. Stehlé, R. Steinfeld, K. Tanaka, and K. Xagawa. Efficient public key encryption based on ideal lattices. In ASIACRYPT, 2009.
D. Trama, P.-E. Clet, A. Boudguiga, and R. Sirdey. A homomorphic AES evaluation in less than 30 seconds by means of TFHE. In WAHC, 2023.
Zama. TFHE-rs: A pure rust implementation of the TFHE scheme for boolean and integer arithmetics over encrypted data. (version 0.6.1), 2024. Software available at https://github.com/zama-ai/tfhe-rs.