TY - GEN
T1 - An Efficient Integer-Wise ReLU on TFHE
AU - Huang, Yi
AU - Wan, Junping
AU - Jiang, Zoe L.
AU - Zhou, Jun
AU - Fang, Junbin
AU - Cao, Zhenfu
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.
PY - 2024
Y1 - 2024
N2 - Fully homomorphic encryption (FHE) enables users to process encrypted data, while preserving data privacy throughout the data computation process. It develops ways to privately execute neural networks. Although bit-wise FHE over the torus (TFHE) was originally proposed to support non-linear functions, such as ReLU operation which is often used in neural networks, the computational complexity of the homomorphic ReLU operation is linearly to data precision. Integer-wise TFHE enables integer bootstrapping with homomorphic addition. However, it leaves an open problem to support homomorphic multiplication and ReLU due to negacyclicity limitation. In this paper, we first propose the ExMultbyBin(x) algorithm for integer-wise multiplication by extending the data range from {0,⋯,B/2-1} to {-B,⋯,B-1}. Then, we propose the idea of function transformation by equivalently transform the ReLU(x) function to a new function ExMultbyBin(x,fid(x),sign(x)-B/2). Finally, we achieve a privacy-preserving ReLU function IntReLU with integer-wise TFHE, resulting in computational complexity independent of data precision. That is, when the data precision is n-bit, IntReLU has a computational complexity of O(1). Experimental results in the TFHE library indicate that, the operation time of our intReLU is reduced by 17% when the data precision is 6-bit compared to the bit-wise TFHE scheme.
AB - Fully homomorphic encryption (FHE) enables users to process encrypted data, while preserving data privacy throughout the data computation process. It develops ways to privately execute neural networks. Although bit-wise FHE over the torus (TFHE) was originally proposed to support non-linear functions, such as ReLU operation which is often used in neural networks, the computational complexity of the homomorphic ReLU operation is linearly to data precision. Integer-wise TFHE enables integer bootstrapping with homomorphic addition. However, it leaves an open problem to support homomorphic multiplication and ReLU due to negacyclicity limitation. In this paper, we first propose the ExMultbyBin(x) algorithm for integer-wise multiplication by extending the data range from {0,⋯,B/2-1} to {-B,⋯,B-1}. Then, we propose the idea of function transformation by equivalently transform the ReLU(x) function to a new function ExMultbyBin(x,fid(x),sign(x)-B/2). Finally, we achieve a privacy-preserving ReLU function IntReLU with integer-wise TFHE, resulting in computational complexity independent of data precision. That is, when the data precision is n-bit, IntReLU has a computational complexity of O(1). Experimental results in the TFHE library indicate that, the operation time of our intReLU is reduced by 17% when the data precision is 6-bit compared to the bit-wise TFHE scheme.
KW - FHE over the torus (TFHE)
KW - Fully homomorphic encryption (FHE)
KW - ReLU
UR - https://www.scopus.com/pages/publications/85200697036
U2 - 10.1007/978-981-97-5025-2_9
DO - 10.1007/978-981-97-5025-2_9
M3 - 会议稿件
AN - SCOPUS:85200697036
SN - 9789819750245
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 161
EP - 179
BT - Information Security and Privacy - 29th Australasian Conference, ACISP 2024, Proceedings
A2 - Zhu, Tianqing
A2 - Li, Yannan
PB - Springer Science and Business Media Deutschland GmbH
T2 - 29th Australasian Conference on Information Security and Privacy, ACISP 2024
Y2 - 15 July 2024 through 17 July 2024
ER -