NTRU学习笔记

定义参数

$(N,p,q)$,${\mathcal{L}}_f,{\mathcal{L}}_g,{\mathcal{L}}_{\varphi },{\mathcal{L}}_m$为$N-1$阶多项式，系数为整数。$p,q$并不一定需要是质数，但要满足$gcd(p,q)=1,q>p$,工作在环$R=\mathbb{Z}[X]/(X^N-1)$，对于$F\in R$,可记为$$F=\sum _{i=0}^{N-1}{F}_i{x}^i=[F_0,F_1,...,F_{N-1}]$$

秘钥生成

随机选择两个$f,g\in {\mathcal{L}}_g$,满足
$$F_q\ast f\equiv 1\mathrm{mod}q,F_p\ast f\equiv 1\mathrm{mod}p.$$
公钥为：$h\equiv F_q\ast g\mathrm{mod}q$，私钥为$f$。

加密

$m\in {\mathcal{L}}_m$
$$e\equiv p\varphi \ast h+m\mathrm{mod}q$$

解密

$$\begin{array}{rl}m& =F_p\ast (f\ast e\mathrm{mod}q)\mathrm{mod}p\\ & =F_p\ast (f\ast p\varphi \ast h+f\ast m\mathrm{mod}q)\mathrm{mod}p\\ & =F_p\ast (f\ast p\varphi \ast F_q\ast g+f\ast m\mathrm{mod}q)\mathrm{mod}p\\ & =F_p\ast (p\varphi \ast g+f\ast m\mathrm{mod}q)\mathrm{mod}p\\ & =m\mathrm{mod}p\end{array}$$
注意，合理的参数选择会使得极大概率$a=p\varphi \ast g+f\ast m$的所有系数都在$[-q/2,q/2]$之间，即可以省去取模。

L m = { m ∈ R , 系数 [ − 1 2 ( p − 1 ) , 1 2 ( p − 1 ) ] } \mathcal{L}_m=\{m\in R,系数[-\frac{1}{2}(p-1),\frac{1}{2}(p-1)]\} Lm​={m∈R,系数[−21​(p−1),21​(p−1)]}。
定义 L ( d 1 , d 2 ) = { F ∈ R : 有 d 1 个 1 ， d 2 个 − 1 , 剩余为 0 } \mathcal{L}(d_1,d_2)=\{F\in R:有d_1个1，d_2个-1,剩余为0\} L(d1​,d2​)={F∈R:有d1​个1，d2​个−1,剩余为0}

${\mathcal{L}}_f=\mathcal{L}(d_f,d_f-1),{\mathcal{L}}_g=\mathcal{L}(d_g,d_g),{\mathcal{L}}_{\varphi }=L(d,d)$.
$$|f{|}_2=\sqrt{2d_f-1-N^{-1}},|g{|}_2=\sqrt{2d_g},|\varphi {|}_2=\sqrt{2d}.$$
则令$f\in {\mathcal{L}}_f,g\in {\mathcal{L}}_g,\varphi \in {\mathcal{L}}_{\varphi }$

定义$|F{|}_{\infty }=\underset{1\le i\le N}{\max }{F}_i-\underset{1\le i\le N}{\min }{F}_i$,$|F{|}_2=(\sum _{i=1}^N(F_i-\overline{F}{)}^2{)}^{1/2}$,$\overline{F}为平均值$.

为了解密成功，需要满足如下条件：
$$\begin{gathered} |f\ast m+p\varphi \ast g{|}_{\infty }<q. \\ 为满足上述条件，令|f\ast m{|}_{\infty }\le q/4and|p\varphi \ast g{|}_{\infty }\le q/4. \end{gathered}$$

NIST

round 1

三元多项式 是指系数在 { − 1 , 0 , 1 } \{-1,0,1\} {−1,0,1}中的多项式
$\mathcal{T}$是一个度最大为$n-2$的非0三元多项式
非负相关属性 ,${\sum }_i{v}_i{v}_{i+1}\ge 0$,即所有相临系数的积之和为非负数
${\mathcal{T}}_{+}$表示满足非负相关属性的$\mathcal{T}$
$\mathcal{T}(d)$表示有$\frac{d}{2}个1和\frac{d}{2}个-1$.

NTRU参数集

{ n , p , q , L f , L g , L r , L m , L i f t } \{n,p,q,\mathcal{L}_f,\mathcal{L}_g,\mathcal{L}_r,\mathcal{L}_m,Lift\} {n,p,q,Lf​,Lg​,Lr​,Lm​,Lift},$n,p,q$为互质的正整数，
${\mathcal{L}}_f,{\mathcal{L}}_g,{\mathcal{L}}_r,{\mathcal{L}}_m$为满足特定条件的多项式集合，
$\underline{S3}(Lift(m))=m$，其中，$S3$表示多项式环的系数在$mod3$域上。
$$(p\cdot \mathbf{r}\cdot \mathbf{g}+\mathbf{f}\cdot Lift(\mathbf{m}))mod(x^n-1)$$
上式的系数要在$[-q/2,q/2-1]$之间。