RSA解密正确性证明

RSA解密正确性证明

先描述一下RSA密码体制：

RSA密码体制：

大素数$p,q$，模数$n=pq$，加密指数$b$，解密指数$a$，满足$ab\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}\varphi (n))$。

加密：$c=m^b\mathrm{m}\mathrm{o}\mathrm{d}n$；

解密：$m=c^a\mathrm{m}\mathrm{o}\mathrm{d}n$。

本篇是证明RSA解密确实能够得到明文$m$。

当$m\in {\mathbb{Z}}_n^{\ast }$时

此时，$gcd(m,n)=1$；解密公式为
$$c^a\equiv m^{ab}\equiv m^{t\varphi (n)+1}(\mathrm{m}\mathrm{o}\mathrm{d}n)$$
由欧拉定理得到
$$m^{t\varphi (n)+1}\equiv m(\mathrm{m}\mathrm{o}\mathrm{d}n)$$
所以解密得到的是明文。

当$m\notin {\mathbb{Z}}_n^{\ast }$时

此时，由于$gcd(m,n)\ne 1$，所以欧拉定理不能用。

我们分析：$n=pq$，且$p,q$都是素数，若$m,n$不互素，则必有$p|m$或者$q|m$。不失一般性，设$p|m$，则$gcd(q,m)=1$，否则$n|m$。由$\varphi (n)=(p-1)(q-1)$和欧拉定理有
$$m^{\varphi (n)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}q)$$
令$ab=t\varphi (n)+1$，则：
$$m^{t\varphi (n)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}q)$$
即存在$k$，满足
$$\begin{gathered} m^{t\varphi (n)}=kq+1 \\ {m}^{t\varphi (n)+1}=mkq+m \\ {m}^{t\varphi (n)+1}=lpkq+m \end{gathered}$$
所以有
$$m^{t\varphi (n)+1}\equiv m(\mathrm{m}\mathrm{o}\mathrm{d}n)$$
证毕！

拓展

证明还可以根据如下事实：$x_1\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}pq)$当且仅当$x_1\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}p)$且$x_1\equiv x_2(\mathrm{m}\mathrm{o}\mathrm{d}q)$。

证：当$p|m$，$m^{ab}\equiv m(\mathrm{m}\mathrm{o}\mathrm{d}q)$且$m^{ab}\equiv m\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$，所以有$m^{ab}\equiv m(\mathrm{m}\mathrm{o}\mathrm{d}n)$。