MatMul

• $R=\mathbb{Z}/{\Phi }_m(X)$ 上でBGV, 平文空間は $R_{p^r}=R/p^{r}R$ ($p$: 整数, $r$: 正)
• $d\in {\mathbb{Z}}_n^{\ast },p^d\equiv 1$
• ${\mathbb{Z}}_{p^r}(X)/{\Phi }_m(X)\cong {⨁}_{r=1}^e{\mathbb{Z}}_{p^r}[x]/F_i(x)$