かけ算仲間の逆は、難しい!

このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]共通鍵暗号(DES、AESなど)は「かきまぜを戻すのが難しいこと」が暗号の根拠でした。[br]公開鍵暗号(RSAなど)は「かけ算の逆」としての「素因数分解の難しさ」が暗号の根拠でした。[br]「かけ算自体を拡張すること」で、難しさのバリエーションを増やそうというのが今回のテーマです。[br]
1.ウォーミングアップ
かけ算の逆と言えば、ふつうは割り算ですね。[br]かんたんな割り算にしても、子どもの頃一番苦労するのが割り算のやり方です。[br]大人になると、今度は商体、商空間、正規部分群、微分係数、微分方程式。。。[br]もとはと言えば、対象が広がっただけで、[br]みな「割り算仲間」です。[br][br]数学や暗号学的な定義はともかく、[br]「行きはよいよい帰りは怖い」[br]これが、かけ算の逆戻しの本質だと思います。[br][br]RSA暗号で学んだように、私たちは掛け算の計算(順方向)は一瞬でできても、[br]素因数分解という「掛け算する前の元(素数)にたどり着く(逆方向)」探索が[br]途方もなく困難であることを利用していました。[br][br][b][size=150]<離散対数問題>[br][/size][/b][br]「かけ算の逆戻し」が難しいならば、「かけ算を拡張」してみよう。[br]そうすると、「逆戻しの難しさ」も拡張できるでしょう。[br]さて、同じ数のかけ算を繰り返すことが「[b]指数表現[/b]」でした。[br]これも立派な「かけ算仲間」です。[br]これの逆は「[b]対数[/b]」ですね。[br]さらに、ただ掛け算を繰り返すだけでなく「[b]剰余(mod)をとる[/b]」という制限を加えます。[br]すると、その逆算は「[b]余り付きの対数問題[/b]」、すなわち整数論における「[b]離散対数問題[/b]」へと進化します。この離散対数問題の難しさを利用したのが、[br]「[b]ディフィ・ヘルマンの鍵交換[/b]」や「[b]エルガマル暗号[/b]」といった公開鍵暗号です。[br][br]また、「[b]かけ算の拡張[/b]」といえば、「楕円曲線でのn倍」がありますね。[br]無限遠点を付け加えた y^2 = (xの3次式) の形の方程式である楕円曲線上では、不思議な「点の足し算」が定義できました。点の足し算ができるなら、同じ点をn回足す「点のn倍(かけ算)」も定義できます。[br]「出発点の点 P」を n回足して「到着点Q」を求めるのは簡単(順方向)ですが、「点 Pと 点Q」だけを見せられて「何回足したか(nはいくつか?)」を当てる(逆方向)のは、まさに途方もない難しさになります。これが「[b]楕円曲線上の離散対数問題[/b]」であり、現代暗号の最高峰「[b]楕円曲線暗号(ECC)[/b]」の基盤です。[br]従来のRSAやエルガマル暗号では2048ビットもの巨大な鍵が必要だったのに対し、楕円曲線暗号ではたった256ビットで同等以上の安全性を実現できるようになりました。[br][br]この「逆戻しの途方なさ」は単なる数学者のロマンではありません。[br][b][color=#0000ff]現代のスマートフォンやSSL/TLS通信、[br]ブロックチェーン[/color][/b]などを陰で支える現実の技術なのです。
2.エルガマル暗号
[b][size=150]<ディフィ・ヘルマン暗号>[br][/size][/b][br]ディフィとヘルマンは絵描きさんのような発想で暗号を作りました。[br]絵をかく絵具の色はだれでも同じものが手に入ります。公開されています。[br]その混ぜ具合が絶妙であれば、その人しか出せない色というものが可能です。[br]それを数値で考えるのです。[br][b][color=#0000ff]公開されたものをまぜるだけで秘密の色合いが出せる[/color][/b]のです。[br]そんなイメージの暗号がディフィ・ヘルマンの鍵交換です。[br][br]公開された値gがあります。[br]Aさんが秘密の値aを、Bさんが秘密の値bを選びます。[br]次にAはA=g^aを公開、BさんはB=g^bを公開します。[br]それぞれ、相手の公開値を自分の秘密値乗します。[br]Aは(B)^a=(g^b)^a=g^baになり、Bは(A)^b=(g^a)^b=g^abとなります。[br]この値Uは等しくなりますね。[br][b]U=g^ba=g^ab[br][/b]Uを共有鍵として共通鍵暗号を使って秘密の通信ができるのです。[br][br]しかし、g^a,g^bのもとになる「かけ算の定義」が2人で共通していなければ、[br]計算結果の意味も不明で、g^ab=g^baになる保証もありません。[br]また、「かけ算の定義」が通常のもであれば、A=g^aのAもgも公開されているので[br]対数計算でaが逆算できてしまいますね。暗号になりません。[br][br]そこで、「かけ算の定義」に剰余をからめたものを共有します。[br][b]x*y=(x×y) mod pとすれば、指数計算a^x=bを逆算をしてx=log_a bを求める問題、[br]「離散対数(discrete logarithm)問題[/b]」が[br]暗号攻撃者の前に立ちふさがります。[br][br]このような手法を、ディフィ・ヘルマンの[color=#0000ff][b]鍵交換(配送)[/b][/color]と言われます。[br][b]公開情報を交換しただけ秘密情報を共有できる[/b]なんて面白いですね。[br][br][b][size=150]<エルガマル暗号>[/size][/b][br][br]エルガマル暗号は、ディフィ・ヘルマンの鍵交換(配送)の仕組みに「使い捨ての秘密鍵」をからめます。[br]AさんとBさんがそれぞれ公開情報A,Bを作るところまではいっしょです。[br]B(送信者)は[br]・「使い捨ての秘密鍵r」で使い捨ての公開情報[b]R=g^r[/b]を作る。[br]・[b]V=(A)^r=g^ar[/b]を鍵にして平文Mにかける。[b]C=MV[/b]。[br]・暗号文[b](R,C)[/b]のペアをAに送る。[br][br]A(受信者)は秘密鍵aで復号する。[br]・U=R^a=g^ra=g^ar=Vを求める。[br]この[b]VとC=MVから、Mがわかる[/b]。[br][br]面白いのは、使い捨ての秘密鍵rのことはAにはまったくわかりませんが、[br]公開情報Rにその作用が入っているため、自分の秘密鍵aだけで、[br]Bの作った鍵Vと同じ鍵Uが作れるわけです。[br]共通の秘密鍵ができたということですね。[br]暗号攻撃をする側からすると、rが確率的な鍵であれば、[br][b][color=#0000ff]同じ平文Mの暗号Cがころころ変わるということになり強い秘匿性[/color][/b]が生まれますね。
3.楕円曲線暗号(ECC)
ミラーとコブリッツは[b]楕円曲線EC(Elliptic Curve)のかけ算[/b]を、[br]離散対数問題が難しい「かけ算」として暗号に使えることを発見しました。[br][br]楕円曲線で作る暗号を楕円曲線暗号といいますが、エルガマル暗号も実現できます。[br]楕円曲線上での計算を思い出すと、2点x、yを通る線が自分と交わる点のx軸対称点z=x+yの点でした。[br][br]無限遠点Oがゼロ元で、対称点は逆元を表します。[br]3点の和は結合の順番によらず同じ点にいきつくのでした。[br]そんなわけで、楕円曲線上の点のたし算が作る点集合は[b][color=#0000ff]アーベル加群と同型[/color][/b]になるのでしたね。[br]くわしくはこちら([url=https://www.geogebra.org/m/twxxx3yq#material/npnfscat]楕円曲線上の加算[/url])[br]さらに、2点x、yを通る線のxとyが同一ならば、点xにおける接線となるから、[br]接線の交点の対称点zが2x=zとなる。こうして、[b][color=#0000ff]nR=O(無限遠点)となるn[/color][/b]を見つけることで、[br][b][color=#0000ff]Rが生成元のn次の巡回群[/color][/b]と同型になる点群を見つけることがきたね。[br]くわしくはこちら([[url=https://www.geogebra.org/m/twxxx3yq#material/sbfarkbb]楕円曲線上のスカラー倍[/url])[br][br][b][size=150]<楕円曲線離散対数問題 (ECDLP)>[br][/size][/b][br]楕円曲線暗号の安全性に基盤になるのが「楕円曲線離散対数問題」だ。[br]これは、[br]3より大きい素数に対して、有限体F_p上の楕円曲線E:y^2=x^3+ax+bを考える。[br]素数位数rの楕円曲線の点 S=(x_S, y_S)を固定し、Sを生成元とする点群のうちの点T=(x_T, y_T)でT=dSを満たす整数dを見つけることだ。[br]整数dから楕円曲線の点T=dSは(約log(r))回の楕円曲線で演算を行えばかけ算の点Tはきまるけれど、[br]dを逆算するには、素数Pの大きさを 160 ビット程度に選ぶと、[br]スーパーコンピューターレベルで効率アルゴリズムを使っても、現実的な時間内に解答不能だという。[br]効率的と言われるρ法でECDLPに攻撃をしかけたとしても、160ビット〜256ビット程度の適切な群サイズを突破するのに約[b]1.3×10^23(年)[/b]かかるそうだ。[br][br][size=150][b]<楕円曲線暗号(ECC)の実装としくみ>[/b][/size][br][br]有限体F_p上の楕円曲線f(x,y):y^2=x^3+ax+bの[br]有理点の集合E(F_p)={(x,y)in F_p^2|f(x,y)}∪{O}で、単位元はO=(∞,∞)[br]ただし、a,bは4a^3+27b^2 mod p ≠0とする。[br][br]#PとQの和(P=Qの場合は2P)の定義は、[br]P(x_1,y_1),Q(x_2,y_2)に対して、[br][b][color=#0000ff][size=150]λ=if(P=Q, {3(x_1)^2+a}/(2*y_1),  (y_2-y_1)/(x_2-x_1))とするとき、[br]R=P+Q=(x_3,y_3)で、[br] x_3=λ^2-(x_1+x_2)[br] y_3=λ(x_1-x_3)-y_1[br][/size][/color][/b][br]で求められる。[br][br]これで、[b]点加算と点2倍算[/b]ができるね。[br][br]#また、集合E(F_p)の個数size=#E(F_p)は[b]ハッセの定理[/b]から[br][b]p+1-2√p以上p+1+2√p以下[/b]だ。[br]暗号を作るにはsize=fN(Nが大きな素数、fが小さな整数)と分解する。[br][br]#点のスカラー倍の計算では、RSA暗号のべき剰余演算で使うバイナリー法やラダー法のような、[br]繰り返し演算が必要になる。[br]この中に[b]点加算と点2倍算を埋め込む[/b]ことでスカラー倍の計算は実現できるね。[br][br]#また、座標計算をするときには、[b]アフィン座標[/b]のままやるか、[br]無限遠点を軸として追加した[b]射影座標系[/b]でやるかという選択が必要になる。[br]#そして、計算の高速化のためには「[b]2進数展開[/b]」が必要になり、剰余計算では「[b]pを法とする平方根[/b]」を求める関数も用意しなければいけません。[br][br]#当然ですが、[b]メッセージの数値m(整数)[/b]を[b]楕円曲線上の点M[/b]に変換する必要があります。[br][color=#0000ff]mとMの相互変換の関数[/color]も用意しなければなりませんね。[br][br][br][size=150][b]<ECC(楕円曲線エルガマル暗号)の使い方>[br][/b][/size][br]集合E(F_p)の個数size=#E(F_p)。生成元はGです。[br]E, Gをユーザ全体で共有します。楕円曲線暗号では1個の曲線をシステムパラメータとして多くユーザが共有可能です。SECG (http://www.secg.org/)などから安全なおすすめ曲線が入手できます。[br][br]ECCの具体的手順は、さっきのエルガマル暗号と同様です。[br][br]#鍵の生成[br]{0, 1, 2, …, size-1} から選んだ秘密鍵sに対して、[b]Q=sG[/b]を公開鍵とします。[br]#暗号化[br]楕円曲線 (a, b, p) 上の[b]点 M (平文)[/b]がある。[br] G, 乱数r(0以上size-1以下), 公開鍵Qを利用して、暗号化 します。[br][b]C1 = rG, [br]C2 = rQ + Mを行い(C1,C2)[/b] を暗号文として送ります。[br]#復号化[br]暗号文(C1,C2) を得た人は、秘密鍵sで復号できます。[br][b]C2 - sC1 [br]= (rQ + M) - s(rG) [br]= (r(sG) + M) - rsG [br]= M[br][/b](※ -sC1は、y座標の符号を反転させた点sC1の逆元を足し合わせる操作です。[br]C1の対称点にsをかけた点とC2を加算した点がMだね。[br]素晴らしい。[b]自分の秘密鍵s[/b]だけで復号できました。
4.振り返り
曲線と数の対応がまだピンと来ないかもしれませんが、[br]数のかけ算をする代わりに、[br]コンピュータの中で「楕円曲線」という多様体の点の座標操作と群の演算が動いてくれているのです。[br][br]暗号のユーザーは、[br]裏でどんな高度な代数幾何学が動いているのかをまったく意識しなくても、安全な通信を享受できます。[br]それはまるで、私たちが毎日歩いている道路の下に水道・ガス・地下鉄の管が張り巡らされ、[br]日常の平和と安全を静かに支えてくれているのと同じ感覚ですね。[br][br][u][b][size=150][color=#9900ff]課題:楕円曲線上の点のスカラー倍をgeogebraで視覚化する。[br][/color][/size][/b][/u][br] タイトルは「楕円曲線 y^2 = x^3 + 1上の点のスカラー倍」[br]#楕円曲線E[br]E: y^2 = x^3 + 1[br]#生成元R[br]R=(2,3)[br]#スカラーdは秘密鍵でアニメーション[br]d=Slider(1,6,1)[br]#無限遠点は表示のため(10,10)とする。[br]O=(10,10)[br]Rs={(2,3),(0,-1),(-1,0),(0,1),(2,-3),O}[br]#暗号Xの色は赤[br]X=Element(Rs,d)[br]#スカラー倍の結果を文字で表示する太字でサイズを大きくする。[br]text0="生成元R="+ R[br]text1="X="d+"R="+dR [br]#メッセージ[br]text2="RとXだけから、秘密鍵dを当てられますか?"
楕円曲線 y^2 = x^3 + 1上の点のスカラー倍

Information: かけ算仲間の逆は、難しい!