「セキュア・パズル 第7章 RSA暗号 証明編1 （2023/04/15)」

デジタル・セキュア・パズル
第7章 RSA暗号 証明編1

---

lemma A.
　　m^p-1 = 1 mod p

lemma B.
　　lemma Aが成立するならば：
　　　　m^{(p−1)(q−1)n+1} 　　mod p
　　　　　　= m
　　　　m^{(p−1)(q−1)n+1} 　　mod q
　　　　　　= m

lemma C.
　　lemma B.が成立するならば：
　　　　m^{(p−1)(q−1)n+1} = m mod pq

lemma D.
　　lemma C.が成立するならば：
　　　　暗号文 = 平文^e mod pq
　　　　平文　= e^暗号文 mod pq

※lemmaとは、"命題を証明する為の小定理"。

を証明してゆきます。

---

今回はlemma B、lemmaCを証明しました。
比較的、ストレートな証明ですね。

---