はじめに
これは RSA完全理解 Advent Calendar の3日目の記事です
フェルマーの小定理の証明 をやったので、それを使ってRSAの暗号化/復号が成り立つ証明をやります
なお、秘密鍵の生成方法についてはベズーの等式や拡張ユークリッド互除法の知識が必要なので今回は割愛します(こんどそれについても書く予定)
また今回解説するのは素のRSAであり、そのままではいくつかの理由で安全ではありません(これもそのうち別で記事をかきたい)
そのため、現実にRSAを利用する際には安全とされる RSA-OEAP などを利用してください
RSAで必要になる鍵情報
以下の情報がRSAでは必要です
- 互いに素な素数 と となる
- と互いに素な
- となる
を公開鍵、 を秘密鍵とします
と互いに素な を選ぶ理由は、これらが互いに素な場合は に対しての逆元となる が存在するためです。詳細はベズーの等式の紹介のときにまた触れます
RSAの暗号化
平文を とし、暗号化処理を とすると暗号化処理は以下のようになります
RSAの復号
さきほどの暗号化処理で生成された暗号文を とし、復号処理を とすると複合処理は以下のようになります
つまり、RSAでの平文 と暗号化/復号の関係性は以下のようになります(同じ法 に対しての剰余を取る操作は後でまとめても結果に影響しないので適宜省略)
ようは、 したあとさらにそれを 乗すると平文 にもどる!ということを言っています。わりと直感的には理解しづらい主張ですね
実際これは正しいのですが、これからそれを証明します
RSAの復号の証明
となることを証明します
まず について、条件より となるように生成しているため の倍数に1足したものと考えられます。そのため
とかけます。これを証明したい式に代入すると以下のようにできます
この式をグッとにらみつけると、仮に となるとすると となり題意が示せそうなことがわかります
以前証明したフェルマーの小定理をつかって が成り立つことを示してみます
方針としてはフェルマーの小定理だけだと で割って1あまることを確認するのは少し面倒なので、変形して が成り立つことをまず確認します。式変形しただけなので、これが成り立てば元の も成り立ちます が素数 どちらでも割り切れることを確認すれば、 は互いに素なので でも割り切れることが示せそうです。それではやっていきます
が成り立つ
まず について確認します。 について と が互いに素ならフェルマーの小定理より以下が成り立つことがわかります
変形して
同様に についても と が互いに素ならフェルマーの小定理より
より、 は素数 で割り切れるため でも割り切れる。よって
変形して
これを
の式に代入すると
となり、 が 互いに素な場合において証明できた
※ちなみに と が互いに素でない場合についても同様に復号できることが証明できるけど全体の構成がちょっと変わるので省略した。一般に見かけるRSAの証明も大体似た流れで と が互いに素でない場合を考慮していないことが多いし流れに身を任せた。Advent Calendar でネタなくなったらそっちの証明も書くかも
Goでサクッと実装
証明ができてちゃんと成り立つこともわかったのでサクッと実装してみよう!
いまのところ を満たす の生成については詳細は触れていないので読み流してください。適当に標準パッケージでシュッとやってます
鍵生成とかはこんなかんじ
func genKey() (n, e, d *big.Int) { e = big.NewInt(65537) // e と (p-1)(q-1) が互いに素となるような p, q を決定する var p, q *big.Int for { p, _ = rand.Prime(rand.Reader, 256) q, _ = rand.Prime(rand.Reader, 256) // ed ≡ 1 (mod φ(n)) となる e の逆元を求める // 逆元が存在しなければ e と (p-1)(q-1) が互いに素でないのでもう一度やり直す d = new(big.Int).ModInverse( e, new(big.Int).Mul( new(big.Int).Add(p, big.NewInt(-1)), new(big.Int).Add(q, big.NewInt(-1)), ), ) if d == nil { continue } break } n = new(big.Int).Mul(p, q) return n, e, d }
勉強用の実装なので、 が重複する可能性は無視してます。まあ くらいのサイズがあるからそんな気にするほどでもないけど念の為
鍵生成のところはいまはサクッと読み飛ばしてください
で、EncとDecは単にべき乗してmodとるだけなので省略
実行してみたい方や、動作する形のコードがみたいかた向けにplaygroundのリンクもはっときます go.dev