<p>With the development and practical application of technologies such as Fully Homomorphic Encryption (FHE), Secure Multi-Party Computation (MPC), and Zero-Knowledge Proof (ZK), it has become crucial to research the design and analysis of symmetric cryptographic primitives with low multiplicative complexity and depth. First, by using multiplication and addition over the finite field <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(q\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>q</mi> </math></EquationSource> </InlineEquation> is either a prime number <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, we proposed a non-linear function over <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {F}_{q}^{4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">F</mi> <mrow> <mi>q</mi> </mrow> <mn>4</mn> </msubsup> </math></EquationSource> </InlineEquation> based on the generalized Feistel structure. This function features a multiplicative complexity of 4, a multiplicative depth of 2 and 8 additions, and its maximum differential/linear probability of the function is bounded by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(q^{-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>q</mi> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </msup> </math></EquationSource> </InlineEquation>. Then, we designed a family of HE-friendly block ciphers called DuX. We conduct a comprehensive security analysis of DuX within certain parameters against various cryptanalysis methods, including differential cryptanalysis, linear cryptanalysis, impossible differential cryptanalysis, zero-correlation linear cryptanalysis, integral analysis, related-key differential cryptanalysis, algebraic attacks, slide attacks, reflection attacks, and boomerang attacks. Our research indicates that DuX maintains a robust security margin against those attacks. Finally, based on the BGV scheme in HElib, we present a detailed homomorphic decryption implementation of the DuX instantiated with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(q = 2^{8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <msup> <mn>2</mn> <mn>8</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(2^{16}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mn>16</mn> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(65537\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>65537</mn> </mrow> </math></EquationSource> </InlineEquation>, respectively. The results show that, for the same block size, the throughput of the DuX-128 over <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {F}_{2^{8}}^{16}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">F</mi> <mrow> <msup> <mn>2</mn> <mn>8</mn> </msup> </mrow> <mn>16</mn> </msubsup> </math></EquationSource> </InlineEquation> can reach approximately 14.95 times, 7.85 times and 20.76 times that of the AES-128, Low MC-128 and CHAGHRI, respectively. Compared with YuX-128, its throughput has increased approximately by 21.59%.</p>

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

DuX: a block cipher for efficient FHE evaluation

  • You Wu,
  • Xinfeng Dong,
  • Yongqiang Li,
  • Fen Liu,
  • Yuan Zhang,
  • Rong Cheng,
  • Hao Tan,
  • Wenzheng Zhang

摘要

With the development and practical application of technologies such as Fully Homomorphic Encryption (FHE), Secure Multi-Party Computation (MPC), and Zero-Knowledge Proof (ZK), it has become crucial to research the design and analysis of symmetric cryptographic primitives with low multiplicative complexity and depth. First, by using multiplication and addition over the finite field \(\mathbb {F}_{q}\) F q , where \(q\) q is either a prime number \(p\) p or \(2^{n}\) 2 n , we proposed a non-linear function over \(\mathbb {F}_{q}^{4}\) F q 4 based on the generalized Feistel structure. This function features a multiplicative complexity of 4, a multiplicative depth of 2 and 8 additions, and its maximum differential/linear probability of the function is bounded by \(q^{-2}\) q - 2 . Then, we designed a family of HE-friendly block ciphers called DuX. We conduct a comprehensive security analysis of DuX within certain parameters against various cryptanalysis methods, including differential cryptanalysis, linear cryptanalysis, impossible differential cryptanalysis, zero-correlation linear cryptanalysis, integral analysis, related-key differential cryptanalysis, algebraic attacks, slide attacks, reflection attacks, and boomerang attacks. Our research indicates that DuX maintains a robust security margin against those attacks. Finally, based on the BGV scheme in HElib, we present a detailed homomorphic decryption implementation of the DuX instantiated with \(q = 2^{8}\) q = 2 8 , \(2^{16}\) 2 16 and \(65537\) 65537 , respectively. The results show that, for the same block size, the throughput of the DuX-128 over \(\mathbb {F}_{2^{8}}^{16}\) F 2 8 16 can reach approximately 14.95 times, 7.85 times and 20.76 times that of the AES-128, Low MC-128 and CHAGHRI, respectively. Compared with YuX-128, its throughput has increased approximately by 21.59%.