利用者:Meauk/sandbox

提供: Yourpedia
< 利用者:Meauk
2022年12月26日 (月) 20:26時点におけるMeauk (トーク | 投稿記録)による版 (下書き6)

(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)
移動: 案内検索

成立の証拠

値 d の正体

a{(gp - 1 mod p2) - 1} / p に等しいということは、gp - 1 mod p2ap + 1 に等しいことを意味する。これには次の2点が関わる。

  1. gp が互いに素(最大公約数が1)である時、フェルマーの小定理によれば gp - 1 ≡ 1 (mod p) が成立するということ。
  2. 任意の非負整数 N1 を考える時、N1 mod p2 において p2 を含む全ての項は 0 になるので、その結果は「p1 の項」よりも大きいことはないということ。

したがって、a とは「gp - 1p2 で割った時の p1 の項の係数」であると述べることができる。

その上で、dad ≡ 1 (mod p) によって求められるというので、この d は「法 p における a の逆元」に相当することになる。

値 D の正体

初めに Cp - 1 mod p2 について考える。

そもそも暗号文は C ≡ gm + nr (mod n2) によって求められるが、これは言い換えると C ≡ gm × gpqr (mod p2q2) である。

この時、次の3点に注意する。

  1. 任意の非負整数 N2 を用いて (N2 mod p2q2) mod p2 を計算することを考える時、それは初めから N2 mod p2 を計算することと同じである。
  2. 任意の3つの非負整数 xyz を考える時、任意の法において少なくとも次の2つが成り立つ。なお、その2つの間には直接的な関連性はない。
    • (xy)z ≡ xzyz
    • xyz ≡ (xy)z ≡ (xz)y
  3. 任意の非負整数 N3 を用いて N3p(p - 1) mod p2 を計算することを考えると、p2 に対応するカーマイケル数が p(p - 1) であることとカーマイケルの定理から、その結果は常に 1 となる。つまりその部分 p(p - 1) は、法 p2 において指数法則的に 0 であることを意味している。

この時点で、

Cp - 1 mod p2
≡ (gm × gpqr)p - 1 mod p2
≡ gm(p - 1) × gp(p - 1)qr mod p2
≡ (gm)p - 1 × 1 mod p2
≡ (gp - 1)m mod p2

と述べられる。

ところで、節「値 d の正体」で既に出てきた次の2つを思い出したい。

  1. gp - 1 mod p2ap + 1 に等しいということ。
  2. 任意の非負整数 N1 を考える時、N1 mod p2 において p2 を含む全ての項は 0 になるので、その結果は「p1 の項」よりも大きいことはないということ。

ゆえに上記の過程を踏まえれば、 Cp - 1 mod p2(ap + 1)m mod p2 に等しく、さらに amp + 1 に等しいと述べることができる。

ここでやっと D の中身たる {(Cp - 1 mod p2) - 1} / p に触れることができるわけであるが、これまでの議論から、Cp - 1 mod p2amp + 1 に等しいことが判明している。

したがって、{(amp + 1) - 1} / p を計算することで、 D の正体が am であると分かる。

復号の仕組み

復号の最終過程は Dd mod p を計算することであった。

ここで次の3点を確認する。

  1. Dam に等しい。
  2. mp 未満である。
  3. d は法 p において、a の逆元、すなわち a- 1 である。

このようであるから、Dd mod p を計算することは am × a- 1 mod p を計算することを意味し、結果的に平文たる m を得られる。