基于Toom-Cook多项式乘法SNTRUP算法的FPGA快速实现
FPGA Fast Implementation Based on Toom-Cook polynomial Multiplication SNTRUP Algorithm
DOI: 10.12677/SEA.2023.123040, PDF, HTML, XML, 下载: 246  浏览: 410  国家自然科学基金支持
作者: 马 钰*, 丁海洋, 李子臣:北京印刷学院数字版权保护技术研究中心,北京
关键词: Streamlined NTRU Prime多项式乘法现场可编程门阵列后量子密码Streamlined NTRU Prime Polynomial Multiplication FPGA Post-Quantum Cryptography
摘要: 本文设计了基于Toom-Cook多项式乘法Streamlined NTRU Prime算法的FPGA快速实现方法,Toom-Cook多项式乘法能对Streamlined NTRU Prime算法中封装以及解封装运算的多项式系数相乘进行优化,能明显减少乘法运算次数,增加Streamlined NTRU Prime算法的运算效率。在ModelSim仿真软件Intel Cyclone IV GX系列EP4CGX150DF31I7AD芯片上进行仿真实验。实验结果表明,本方案可以在封装以及解封装速度上可以提升26%。
Abstract: This paper designs a fast FPGA implementation method based on Toom-Book polynomial multiplication Streamlined NTRU Prime algorithm. Toom-Book polynomial multiplication can optimize the multiplication of polynomial coefficients of encryption and decryption operations in Streamlined NTRU Prime algorithm, significantly reduce the number of multiplication operations, and increase the efficiency of Streamlined NTRU Prime algorithm. The simulation experiment is carried out on the ModelSim simulation software Intel Cyclone IV GX series EP4CGX150DF31I7AD chip. The experimental results show that the encryption and decryption speed of this scheme can be improved by 26%.
文章引用:马钰, 丁海洋, 李子臣. 基于Toom-Cook多项式乘法SNTRUP算法的FPGA快速实现[J]. 软件工程与应用, 2023, 12(3): 402-409. https://doi.org/10.12677/SEA.2023.123040

1. 引言

近年来,随着密码技术的快速发展,传统的密码算法已经不能抵抗量子计算机 [1] 的攻击,许多曾被认为无法破解的密码学困难问题,在量子计算技术面前变得不再可靠。20世纪90年代中期,Shor [2] 提出大数分解的量子算法,能够在多项式时间内解决大整数分解问题以及可以对离散对数问题进行求解,比传统计算机计算速度有指数级的提升。2001年,O’brien J L提出光量子计算 [3] ,仅使用单光子源,线性光学原件就可以进行可扩展的量子计算,又基于错误编码方法大大减少资源开销,使全光学架构量子计算机大规模实现成为可能。2018年,Preskill J提出了一种新的量子计算技术 [4] ,具有50~100个量子位的量子计算机能够代替现在的传统计算机,并且其量子门中的噪声可以使量子电路变得很小。基于此美国国家标准与技术研究院(NIST)于2016年开始后量子密码算法的征集工作 [5] ,2022年7月,NIST公布了第三轮15个后量子密码方案,目前的后量子加密算法主要分为基于格的算法 [6] 、基于编码的算法 [7] 、基于哈希的算法 [8] 、基于多变量的算法 [9] 、基于超奇异椭圆曲线的算法 [10] 和基于零知识证明的算法 [11] ,其中基于格的NTRU Prime算法 [12] 成为备选公钥加密和密钥生成算法,它具有较高的可移植性及安全性,且更易于在硬件上实现 [13] 。文献 [14] 对如何在FPGA上快速实现认证密钥协商协议的问题进行深入研究,设计了一种双向认证密钥协商协议,并且对SNTRUP算法的密钥生成速度和封装解封装速度都有较大提升。文献 [15] 针对格密码算法计算开销大的问题,设计了一种多项式乘法器,实现快速模乘运算。

NTRU Prime算法由于代数结构上的差异以及加密方式的不同,分为NTRU LPRime算法(NTRU LPR)以及Streamlined NTRU Prime算法(SNTRUP)。本文重点介绍了Streamlined NTRU Prime算法的密钥产生过程以及封装和解封装过程,在算法封装过程中会大量使用多项式乘法运算,而乘法运算是影响封装速度的主要因素,并且会占用大部分的时间和资源,影响运算效率。因此本文对封装过程中的多项式乘法部分进行重点优化,在多项式相乘时,大整数相乘运算时间直接影响两个多项式相乘的时间,因此使用Toom-Cook算法 [16] [17] 对多项式系数进行拆分、评估、逐点相乘、插值、重组五个步骤,以减少多项式系数相乘的次数以及时间复杂度,增加FPGA硬件实现效率。最后在仿真软件ModelSim上对Cyclone IV GX系列EP4CGX150DF31I7AD芯片进行仿真实验,测试该算法的资源占用情况以及实现效率。

2. Streamlined NTRU Prime算法

Streamlined NTRU Prime算法是基于格理论的后量子加密算法,该算法主要包括四个部分:参数选择、密钥生成算法、封装算法和解封装算法。下面是对这四个部分的重点介绍。

1) SNTRUP参数选择

Streamlined NTRU Prime定义了如下多项式环,令 表示整数,环 [ x ] / ( x n x 1 ) 、环 ( / 3 ) [ x ] / ( x n x 1 ) 和环 ( / q ) [ x ] / ( x n x 1 ) 分别记为 R R / 3 R / q 。Streamlined NTRU Prime的参数(p, q, w)满足以下条件:p,q均为素数,w是正整数, 2 p 3 w q 16 w + 1 ,并且 x p x 1 R / q 中是不可约的。如果 R 的所有系数都在{−1, 0, 1}范围内,则称 R 的多项式为Small多项式。如果一个Small的2t个系数不为零,我们就称它为t-Small。Weight w表示的多项式恰好有w个非零系数。Round表示将多项式的所有系数近似到最接近3的倍数。Hasha(x)表示以a作为x的前缀取SHA-512哈希值的前256位。Encode和Decode表示使用编码或解码算法将 R / 3 R / q 中的多项式转换为字节字符串。

Streamlined NTRU Prime算法的参数集设置有六种,分别为:sntrup653、sntrup761、sntrup857、sntrup953、sntrup1013、sntrup1277,本文将针对其中的sntrup761参数集做具体研究,其具体参数为p = 761,q = 4591,w = 286。

2) SNTRUP密钥生成算法

Streamlined NTRU Prime算法的密钥生成过程需要产生公钥和私钥,具体算法如下:首先在Small中随机生成一个多项式 g ( x ) ,并且确保多项式 g ( x ) R / 3 中可逆。再随机生成一个属于t-Small的多项式 f ( x ) ,并且满足多项式 f ( x ) R 。接下来随机生成一个属于t-Small的多项式 ρ ( x ) ,并且多项式 ρ ( x ) 长度为(p + 3)/4。然后把多项式 g ( x ) 的倒数 1 / g ( x ) v ( x ) 表示, g ( x ) / 3 f ( x ) 的结果用 K ( x ) 表示, K ( x ) 经过Encode编码生成 K ¯ ( x ) ,多项式 f ( x ) v ( x ) 共同编码生成 k ¯ ( x ) ,最后把 K ¯ ( x ) 作为公钥进行输出, ( k ¯ ( x ) , K ¯ ( x ) , ρ ( x ) , h a s h 4 ( K ¯ ( x ) ) ) 作为私钥进行输出。

3) SNTRUP封装算法

Streamlined NTRU Prime算法的加密过程需要输入在密钥生成过程中产生的公钥,输出结果为加密后的密文以及会话密钥,具体算法如下:首先随机生成一个属于t-Small的多项式 r ( x ) ,接着对 K ¯ ( x ) 进行Decode解码生成 K ( x ) ,再将多项式 K ( x ) r ( x ) 相乘的结果Round后赋值给 c ( x ) ,并将 c ( x ) 进行Encode编码生成 c ¯ ( x ) ,接下来将 r ( x ) 进行Encode编码生成 r ¯ ( x ) 。接着把 c ¯ ( x ) h a s h 2 ( h a s h 3 ( r ¯ ( x ) ) ) h a s h 4 ( K ¯ ( x ) ) 组合赋值给C,C就是最终的密文,把 h a s h 1 ( h a s h 3 ( r ¯ ( x ) ) ) 和密文C共同组合生成会话密钥。最后把密文以及会话密钥共同输出。

4) SNTRUP解封装算法

Streamlined NTRU Prime算法的解密过程需要把密文C以及在密钥生成过程中产生的私钥 ( k ¯ ( x ) , K ¯ ( x ) , ρ ( x ) , h a s h 4 ( K ¯ ( x ) ) ) 共同作为算法的输入,解密过程具体算法如下:首先把 c ¯ ( x ) 进行Decode解密生成 c ( x ) ,再对 k ¯ ( x ) 解密生成 f ( x ) v ( x ) ,接着把 3 f ( x ) c ( x ) 的结果做模3运算,结果赋值给 e ( x ) ,再把 e ( x ) v ( x ) 乘积的结果用 r ( x ) 表示。接下来判断如果 r ( x ) 中没有w个非零系数,就把 ( 1 , 1 , , 0 , 0 , , 0 ) 赋值给 r ( x ) ,其中前w个元素为1,其余为0。接着用 K ¯ ( x ) r ( x ) 重新做封装计算新的密文C’,然后把 r ( x ) 进行Encode加密生成 r ¯ ( x ) ,判断C’是否等于C,如果等于就输出 h a s h 1 ( h a s h 3 ( r ¯ ( x ) ) , C ) ,如果不等于就输出 h a s h 0 ( h a s h 3 ( ρ ( x ) ) , C )

3. SNTRUP算法FPGA优化算法

3.1. 算法实现

在Streamlined NTRU Prime算法的封装和解封装以及生成公私钥的过程中会大量使用多项式乘法,而多项式乘法是影响算法效率的主要因素,两个多项式直接相乘虽然可以实现但是效率较低资源占用率较大,因此采用Toom-Cook算法对多项式乘法进行优化,需要把多项式均匀分成k个部分,进行2k − 1次乘法来增加Streamlined NTRU Prime算法的运算效率。

Toom-Cook算法是采用分治的思想,把给定的大整数分成k份,用Toom-Cook-k算法进行递归运算。本次设计综合考虑了Streamlined NTRU Prime算法的特性以及硬件资源占用比,采用Toom-Cook-3快速乘法对Streamlined NTRU Prime算法进行优化设计,图1是SNTRUP优化算法的流程图,在K(x)多项式和r(x)多项式相乘时使用Toom-Cook-3多项式乘法对Streamlined NTRU Prime算法进行优化,两个多项式的系数经过拆分、评估、逐点相乘、插值和重组五个步骤最终计算出结果c(x),其中SNTRUP算法的多项式相乘是影响该算法效率的主要步骤,逐点相乘是Toom-Cook-3多项式乘法的关键步骤,其流程图如图2所示。

Figure 1. SNTRUP algorithm flow chart

图1. SNTRUP算法流程图

Figure 2. Point-by-point multiplication algorithm flowchart

图2. 逐点相乘算法流程图

接下来具体介绍Streamlined NTRU Prime多项式乘法优化算法的五个步骤,首先该算法把n位数多项式系数a和b分成三段,每一段都有 n 1 3 位数,把a和b可以表示为,如式(1)所示:

{ a = a 2 × 10 2 × n 1 3 + a 1 × 10 n 1 3 + a 0 b = b 2 × 10 2 × n 1 3 + b 1 × 10 n 1 3 + b 0 (1)

例如:当整数为12345678时,就可以把此数写作 12 × 10 6 + 345 × 10 3 + 678

由于a和b中x的最高次项均是2次项,所以乘积c中最高次项是4次项,乘积c的多项式表达式如式(2)所示。

c = a × b = c 4 × 10 4 × n 1 3 + c 3 × 10 3 × n 1 3 + c 2 × 10 2 × n 1 3 + c 1 × 10 n 1 3 + c 0 (2)

由于10的幂次是 n 1 3 的整数倍,因此只需要计算c0,c1,c2,c3,c4这5个系数,再根据各个系数与 10 n 1 3 所相乘的值再进行左移操作,最后通过简单的加法操作得到乘积c。由于c是一个关于 10 n 1 3

的四次多项式,而c0,c1,c2,c3,c4是这个多项式的五个未知数,因此就把问题转换为求解五个未知数的问题。因为求解四次多项式至少需要五个已知点才能求解,所以需要选取五组点构造五个方程,在点的选取上,可以选取任意的点来求解方程,但是在实际的操作中,会尽量选取容易计算的点,以简化计算,所以一般选取x的值为0,1,−1,2, 。将上述x的取值带入式(1)中得到a和b的结果,结果如下:

{ a ( 0 ) = a 0 a ( 1 ) = a 2 + a 1 + a 0 a ( 1 ) = a 2 a 1 + a 0 a ( 2 ) = 4 a 2 + 2 a 1 + a 0 a ( ) = a 2 (3)

{ b ( 0 ) = b 0 b ( 1 ) = b 2 + b 1 + b 0 b ( 1 ) = b 2 b 1 + b 0 b ( 2 ) = 4 b 2 + 2 b 1 + b 0 b ( ) = b 2 (4)

将上述x的取值带入式(2)中得到c的结果,结果如下:

{ c ( 0 ) = c 0 c ( 1 ) = c 4 + c 3 + c 2 + c 1 + c 0 c ( 1 ) = c 4 c 3 + c 2 c 1 + c 0 c ( 2 ) = 16 c 4 + 8 c 3 + 4 c 2 + 2 c 1 + c 0 c ( ) = c 4 (5)

以上式子中, a ( ) b ( ) 均是在趋近于 时, a ( ) b ( ) 2 的比值, c ( ) 是在x趋近于 时与 4 的比值。因此,该算法就转换为求解式(5)的线性方程组。可以把方程组(5)表示为矩阵形式,如式(6)所示:

[ c ( 0 ) c ( 1 ) c ( 1 ) c ( 2 ) c ( ) ] = ( 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 16 8 4 2 1 1 0 0 0 0 ) × [ c 4 c 3 c 2 c 1 c 0 ] (6)

将上述矩阵等式记作C = M × N,若要求解N矩阵,就要根据矩阵求逆法则,对矩阵M求逆,可得式(7):

[ c 4 c 3 c 2 c 1 c 0 ] = ( 0 0 0 0 1 1 2 1 2 1 6 1 6 1 2 1 1 2 1 2 0 1 1 2 1 1 3 1 6 1 2 1 0 0 0 0 ) × [ c ( 0 ) c ( 1 ) c ( 1 ) c ( 2 ) c ( ) ] (7)

根据式(2),可以快速求得 c ( 0 ) c ( 1 ) c ( 1 ) c ( 2 ) c ( ) 的值,再根据上述式(7)矩阵,求得c4、c3、c2、c1和c0的值。再利用插值法对c4左移 4 × n 1 3 位,c3左移 3 × n 1 3 位,c2左移 2 × n 1 3 位,c1左移 n 1 3 位,c0进行累加,最后得出运算结果c。

Toom-Cook-3算法把两个大整数分成三部分进行相乘,把优化前的9次乘法化简成5次乘法,它的时间复杂度是O(n1.465),对比不使用Toom-Cook-3算法两个大整数直接相乘的时间复杂度是O(n2),因此Toom-Cook-3算法能提高多项式乘法的运算速度。

3.2. SNTRUP算法框架

经过上述多项式乘法算法的优化,表1展示了SNTRUP算法的框架。

Table 1. Algorithmic framework

表1. 算法框架

4. SNTRUP的FPGA实验结果

4.1. 实验环境

本次实验的FPGA硬件环境平台是Intel Cyclone IV GX系列EP4CGX150DF31I7AD芯片,其查找表(LUT, Look Up Table)资源是1497600,触发器(FF, flip flop)资源是299520,数字信号处理器(DSP, Digital Signal Processing)资源是1200,块RAM (BRAM, Block RAM)存储器资源是500,输入输出端口(I/O, Input/Output Part)资源是508。使用硬件描述语言Verilog-HDL在Quartus II 13.0软件上实现了Streamlined NTRU Prime算法的整体硬件设计,在此环境中,使用ModelSim SE-64 10.5仿真软件仿真实现了后量子密码算法Streamlined NTRU Prime的密钥产生以及加解密部分,并针对Streamlined NTRU Prime算法的多项式乘法部分进行了具体优化。

4.2. 实验结果

文中方案使用多项式优化算法是Toom-Cook-3算法,对Streamlined NTRU Prime算法加解密部分的多项式乘法进行了优化,表2展示了Toom-Cook-3算法以及Streamlined NTRU Prime算法总体的资源占用情况。

Table 2. Resource usage of the Toom-Cook-3 algorithm and the Streamlined NTRU Prime algorithm

表2. Toom-Cook-3算法以及Streamlined NTRU Prime算法的资源占用情况

主要的性能指标为LUT查找表,FF触发器,I/O输入输出端口,DSP数字信号处理器,BRAM块RAM。Toom-Cook-3算法使用LUT资源占Streamlined NTRU Prime算法总消耗的2.26%,FF资源消耗占2.93%,DSP资源消耗占4%,I/O资源消耗占2.54%。Streamlined NTRU Prime算法消耗的LUT资源占总体资源量的6.06%,FF资源消耗占1.46%,DSP资源消耗占2.08%,BRAM资源消耗占3.4%,I/O资源消耗占38.78%。由此可见,在此环境下实现Streamlined NTRU Prime算法消耗I/O资源占比较高,其余资源消耗均处在较低水平,而Toom-Cook-3算法模块各资源消耗占比均处在较低水平。本次设计只占用较少的资源就可以在FPGA上实现SNTRUP算法的密钥生成、封装以及解封装过程,并且Toom-Cook-3算法可以对SNTRUP算法进行加速操作,可以更加快速的实现SNTRUP算法。

5. 结束语

本文对后量子密码Streamlined NTRU Prime算法的密钥生成过程以及加解密过程进行了详细的介绍,针对在加解密阶段的多项式乘法部分进行了具体优化。本文通过使用Toom-Cook-3算法把多项式的大整数系数分成三部分,利用拆分、评估、逐点相乘、插值、重组五个具体步骤,把九次乘法优化成五次乘法,大大减少了乘法次数,相比于多项式系数直接相乘,本方案速度更快且资源占用更少。

为了验证Toom-Cook-3算法的优化效率,在Intel Cyclone IV E系列EP4CE40F29C8芯片平台上进行仿真实验,结果表明,采用Toom-Cook-3算法,比多项式直接相乘提升了效率,可以解决大整数乘法速度较慢的问题,因此本文提出的多项式优化算法具有一定的研究价值。

基金项目

国家自然科学基金(61370188);北京市教委科研计划(KM202010015009);北京市教委科研计划资助(No. KM202110015004);北京印刷学院博士启动金项目(27170120003/020);北京印刷学院科研创新团队项目(Eb202101);北京印刷学院校内学科建设项目(21090121021);北京印刷学院重点教改项目(22150121033/009);北京印刷学院科研基础研究一般项目(Ec202201);北京印刷学院博士启动金项目(27170122006);北京印刷学院基础研究一般项目(Ec202201);北京市高等教育学会2022年立项面上课题(MS2022093);北京市教育委员会科学研究计划项目资助(KM202310015002);北京印刷学院网络空间安全培育学科建设项目(21090123010)。

NOTES

*通讯作者。

参考文献

[1] 张威. 拥抱量子科技时代: 量子计算的现状与前景[J]. 人民论坛. 学术前沿, 2021(7): 64-75.
https://doi.org/10.16619/j.cnki.rmltxsqy.2021.07.007
[2] Shor, P. (1994) Algorithms for Quantum Computation: Discrete Logarithms and Factoring. Proceedings 35th Annual Symposium on Foundations of Computer Science, Santa Fe, 20-22 November 1994, 124-134.
[3] O’brien, J.L. (2007) Optical Quantum Computing. Science, 318, 1567-1570.
https://doi.org/10.1126/science.1142892
[4] Preskill, J. (2018) Quantum Computing in the NISQ Era and Beyond. Quantum, 2, 79.
https://doi.org/10.22331/q-2018-08-06-79
[5] NIST (2019) Post-Quantum Cryptography.
https://csrc.nist.gov/Projects/Post-Quantum-Cryptography
[6] IEEE (2009) IEEE Standard Specification for Public-Key Cryptographic Techniques Based on Hard Problems over Lattices, IEEE Standard p1363.1.
[7] Misoczki, R., Tillich, J., Sendrier, N. and Barreto, P.S.L.M. (2013) MDPC-McEliece: New McEliece Variants from Moderate Density Parity-Check Codes. 2013 IEEE International Symposium on Information Theory, Istanbul, 7-12 July 2013, 2069-2073.
https://doi.org/10.1109/ISIT.2013.6620590
[8] Bernstein, D.J., Hopwood, D., Hulsing, A., Lange, T., Niederhagen, R., Papachristodoulou, L., Schneider, M., Schwabe, P. and Wilcox-O’Hearn, Z. (2015) SPHINCS: Practical Stateless Hash-Based Signatures. EUROCRYPT 2015: Advances in Cryptology—EUROCRYPT 2015, Sofia, 26-30 April 2015, 368-397.
https://doi.org/10.1007/978-3-662-46800-5_15
[9] Ding, J. and Schmidt, D. (2005) Rainbow, a New Multivariable Polynomial Signature Scheme. In: Ioannidis, J., Keromytis, A. and Yung, M., Eds., Applied Cryptography and Network Security, Springer, Berlin, 164-175.
https://doi.org/10.1007/11496137_12
[10] Costello, C., Longa, P. and Naehrig, M. (2016) Efficient Algorithms for Supersingular Isogeny Diffie-Hellman. Advances in Cryptology—CRYPTO 2016, Santa Barbara, 14-18 August 2016, 572-601.
https://doi.org/10.1007/978-3-662-53018-4_21
[11] Koblitz, N. and Menezes, A. (2005) Pairing-Based Cryptography at High Security Levels. Cryptography and Coding 2005, Cirencester, 19-21 December 2005, 13-36.
https://doi.org/10.1007/11586821_2
[12] Bernstein, D.J., Chuengsatiansup, C., Lange, T., et al. (2016) NTRU Prime. IACR Cryptology ePrint Archive, 2016/461.
https://eprint.iacr.org/2016/461.pdf
[13] Peng, B.Y., Marotzke, A., Tsai, M.H., et al. (2022) Streamlined NTRU Prime on FPGA. Journal of Cryptographic Engineering, 13, 167-186.
https://doi.org/10.1007/s13389-022-00303-z
[14] 杨亚涛, 王在舟, 曾萍, 等. SNPAKA: 基于SNTRUP的双向认证密钥协商协议FPGA实现[J]. 密码学报, 2022, 9(4): 709-724.
https://doi.org/10.13868/j.cnki.jcr.000544
[15] 余宏洲. 格密码算法多项式乘法器研究与设计[D]: [硕士学位论文]. 杭州: 浙江大学, 2022.
https://doi.org/10.27461/d.cnki.gzjdx.2022.001002
[16] Bodrato, M. and Zanoni, A. (2007) Integer and Polynomial Multiplication: Towards Optimal Toom-Cook Matrices. Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, Waterloo, 28 July-1 August 2007, 17-24.
https://doi.org/10.1145/1277548.1277552
[17] Toom, A.L. (1963) The Complexity of a Scheme of Functional Elements Realizing the Multiplication of Integers. Soviet Mathematics Doklady, 3, 714-716.