<p>New algorithms are introduced for embedding matrices with integer or fixed-point real number entries into plaintexts and for performing matrix addition and multiplication on encrypted matrices. The encryption algorithms used for this purpose are fully homomorphic, such as BGV, BFV, and CKKS. These algorithms have the property of performing SIMD style parallel operations on plaintext values encrypted into a single ciphertext vector by a technique called “ciphertext packing” using the Chinese Remainder Theorem. This concept was introduced by Halevi and Shoup, and algorithms for homomorphic matrix operations were further improved by Jiang et al. (JKLS). Our algorithms improve both Halevi and Shoup and JKLS algorithms in terms of arithmetic and data rotation complexity. The proposed algorithms are designed on top of the BFV fully homomorphic encryption scheme. We describe our algorithms in detail step by step in this article, providing numerical examples in Appendix A. Experimental results demonstrate that our matrix multiplication algorithm achieves superior efficiency in terms of running time compared to JKLS algorithm. Real-world applications of FHE-based matrix computations often require matrix dimensions in the hundreds of thousands. Given typical FHE parameter settings (polynomial degree <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11227_2025_8032_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(N = 2^{13}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <msup> <mn>2</mn> <mn>13</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, plaintext modulus <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11227_2025_8032_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(t = 65537\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mn>65537</mn> </mrow> </math></EquationSource> </InlineEquation>), the total number of arithmetic and data-rotation operations can easily reach the order of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11227_2025_8032_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(10^{12}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>10</mn> <mn>12</mn> </msup> </math></EquationSource> </InlineEquation>. This scale necessitates state-of-the-art high-performance computing practices.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

New algorithms for fully homomorphic matrix addition and multiplication

  • Shang Ci,
  • Yihan Wang,
  • Sen Hu,
  • Donghai Guan,
  • Çetin Kaya Koç

摘要

New algorithms are introduced for embedding matrices with integer or fixed-point real number entries into plaintexts and for performing matrix addition and multiplication on encrypted matrices. The encryption algorithms used for this purpose are fully homomorphic, such as BGV, BFV, and CKKS. These algorithms have the property of performing SIMD style parallel operations on plaintext values encrypted into a single ciphertext vector by a technique called “ciphertext packing” using the Chinese Remainder Theorem. This concept was introduced by Halevi and Shoup, and algorithms for homomorphic matrix operations were further improved by Jiang et al. (JKLS). Our algorithms improve both Halevi and Shoup and JKLS algorithms in terms of arithmetic and data rotation complexity. The proposed algorithms are designed on top of the BFV fully homomorphic encryption scheme. We describe our algorithms in detail step by step in this article, providing numerical examples in Appendix A. Experimental results demonstrate that our matrix multiplication algorithm achieves superior efficiency in terms of running time compared to JKLS algorithm. Real-world applications of FHE-based matrix computations often require matrix dimensions in the hundreds of thousands. Given typical FHE parameter settings (polynomial degree \(N = 2^{13}\) N = 2 13 , plaintext modulus \(t = 65537\) t = 65537 ), the total number of arithmetic and data-rotation operations can easily reach the order of \(10^{12}\) 10 12 . This scale necessitates state-of-the-art high-performance computing practices.