定理証明済み
RSA復号の正当性
内容
を相異なる二つの素数の積とし、 と が を満たすとする。このとき、 を満たす任意のメッセージ に対して、 で暗号化し で復号すると元のメッセージが正しく復元される:。
なぜ正しいのか?
これはRSAを実際に使用可能にする定理である:送信者が公開指数で何を暗号化しても、秘密指数を持つ者はほぼすべてのメッセージだけでなく、あらゆる可能なメッセージに対して常に復号できることを保証する——証明では、メッセージが偶然モジュラスと因数を共有してしまう境界事例も扱わなければならない。
証明の概略
ここで により、モジュラー合同の定義から、ある非負整数 が存在して が成り立つ。
場合1: のとき。オイラーの定理より が成り立つので、両辺を 乗して を掛けると が得られる。
場合2: のとき。 であるから、これは が を割り切るか、または が を割り切ることを意味する( は より小さいので両方が同時に成り立つことはない)。法 のもとで考える:もし が を割り切るなら、 と はともに法 のもとで と合同である。そうでなければ であり、フェルマーの小定理より が成り立ち、 が を割り切ることから、場合1と同じ計算で が示される。法 についても同様の議論により が示される。
中国剰余定理により、法 と法 のそれぞれで成り立つ合同式は、その積 を法としても成り立つ。したがって はすべてのメッセージ に対して成り立ち、 と互いに素なものだけに限らない。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone (1996). Handbook of Applied Cryptography
- Peter W. Shor (1994). Algorithms for Quantum Computation: Discrete Logarithms and Factoring · arXiv:quant-ph/9508027
- National Institute of Standards and Technology (2024). Module-Lattice-Based Key-Encapsulation Mechanism Standard (FIPS 203)