Rabin加密算法

描述

  Rabin加密算法和RSA加密算法形式类似，但解密过程有所不同。Rabin加密算法的解密过程会得到4个不同的明文，具体明文是哪一个还需要通过验证码进行验证。

加密

  由于Rabin加密算法是RSA加密算法的衍生类，因此有：令$N=pq$，其中$p、q$均为较大的奇素数；对于任意明文$m$，有对应的密文$c$，加密过程如下：
$$c\equiv m^2(modN)$$

解密

情况1：$p\equiv q\equiv 3(mod4)$

• 由于$m^2\equiv c(modp)$，因此根据模平方剩余和欧拉判别法有：
  $$c^{\frac{p-1}{2}}\equiv 1(modp)$$又因为：$$c\equiv m^2(modN)$$因此有：$$\begin{gathered} m_p^2\equiv c\equiv c\ast 1\equiv c\ast c^{\frac{p-1}{2}}\equiv c^{\frac{p+1}{2}}\equiv (c^{\frac{p+1}{4}}{)}^2(modp) \\ {m}_q^2\equiv c\equiv c\ast 1\equiv c\ast c^{\frac{q-1}{2}}\equiv c^{\frac{q+1}{2}}\equiv (c^{\frac{q+1}{4}}{)}^2(modq) \end{gathered}$$即：
  $$\begin{gathered} m_p\equiv c^{\frac{p+1}{4}}(modp) \\ {m}_q\equiv c^{\frac{q+1}{4}}(modq) \end{gathered}$$
• 再由扩展欧几里得方法计算出$y_p$和$y_q$：
  $$y_p\ast p+y_q\ast q=1$$
• 计算出四个明文：
  $$\begin{gathered} m_1\equiv y_p\ast p\ast m_q+y_q\ast q\ast m_p(modN) \\ {m}_2\equiv N-m_1 \\ {m}_3\equiv y_p\ast p\ast m_q-y_q\ast q\ast m_p(modN) \\ {m}_4\equiv N-m_3 \end{gathered}$$

下证明文的正确性：
$$\begin{gathered} m_1^2\equiv (y_p\ast p\ast m_q+y_q\ast q\ast m{)}^2\equiv (y_p\ast p\ast m_q{)}^2+(y_q\ast q\ast m{)}^2(modN) \\ \because m_p^2\equiv k_p\ast p+c,m_q^2\equiv k_q\ast q+c \\ \therefore m_1^2\equiv y_p^2\ast p^2\ast (k_p\ast p+c)+y_q^2\ast q^2\ast (k_q\ast q+c)\equiv c(y_p^2\ast p^2+y_q^2\ast q^2)(modN) \\ 又\because y_p\ast p+y_q\ast q=1 \\ \therefore m_1^2\equiv c((y_p\ast p+y_q\ast q{)}^2-2\ast y_p\ast p\ast y_q\ast q)\equiv c(modN) \end{gathered}$$其他明文的证明方式同理。

情况2：$p、q$非特殊值

• $$\begin{gathered} \because m^2\equiv c(modN) \\ \therefore m_p\equiv \sqrt{c}(modp)且m_q\equiv \sqrt{c}(modq) \end{gathered}$$此为求解模平方根过程Cipolla算法。
• 其余值计算方式与情况1一致，只需替换掉$m_p、m_q$的计算过程即可。

参考资料

[1]. Rabin加密算法和n次同余方程
[2]. RSA 衍生算法——Rabin 算法
[3]. Rabin加密算法