暗号理論の問題
有限体 上の楕円曲線
を考えます。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群になります。
この曲線と基点 を公開パラメータとして、アリスとボブが楕円曲線ディフィー・ヘルマン鍵共有を行います。アリスは秘密鍵 を選んで公開鍵 を送り、ボブは秘密鍵 を選んで公開鍵 を送ります。二人が共有する点を とします。
の座標 を、 の整数の組で求めてください。
この問題で使うもの
- ディフィー・ヘルマン鍵共有(説明と入口の問題)
- 有限体上の楕円曲線の点の加算(説明と入口の問題)
- 楕円曲線のスカラー倍と点の位数(説明と入口の問題)
- 法 での逆元(拡張ユークリッドの互除法)(説明と入口の問題)
この問題を解けるようになるまで(28 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 約数の見つけ方
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- n 進法
- 繰り返し二乗法によるべき剰余
- ディフィー・ヘルマン鍵共有
- 最大公約数と最小公倍数
- 素因数分解と約数の個数
- 最大公約数と最小公倍数
- ユークリッドの互除法
- 1 次不定方程式の整数解
- 法 での逆元(拡張ユークリッドの互除法)
- 有限体上の楕円曲線の点の加算
- 楕円曲線のスカラー倍と点の位数
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
共有点は です。まず を求め、それから を の順に計算すると、手数が少なくて済みます。
ヒント 2
2 倍算では 、異なる 2 点の和では を使います。どちらも で、割り算は法 での逆元を掛けて計算します。
ヒント 3
、、、 となります。残りは の計算です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
一般に楕円曲線 上の加法公式を使います(この問題の曲線では です。秘密鍵の とは別の記号にしています)。すべての計算は で行います。
- で のとき:
- で のとき:
どちらの場合も
です。割り算は法 での逆元を掛けて計算します。
共有点は なので、まず を求め、次に を求めます。
1. アリスの公開鍵 を求める
: です。()なので です。
、 です。
よって です。
: です。()なので です。
、 です。
よって です。検算すると 、 となり、 は確かに 上にあります。
2. を求める()
: なので、分子は 、分母は です。()なので です。
、 です。
よって です。
: なので、分子は 、分母は です。 なので です。
、 です。
よって です。
: です。 なので です。
、 です。
よって です。検算すると 、 となります。
3. ボブ側の計算による確認
ボブの公開鍵 を求めます。
: です()。、 なので、 です。
: です。、 なので、 です。
次に を求めます。
: です。、 なので、 です。
: です。、 なので、 です。
アリス側の と一致します。
したがって です。
別解
を二倍と加算で求める。計算はすべて で行う。
まず が 上にあることを確かめる。 で、右辺は なので 。
1. を求める。 とする( より )。、。よって 。
2. を求める。 とする。、。よって 。
3. を求める。 とする。、。よって 。
4. を求める。 とする。、。よって 。
5. を求める。 とする。、。よって 。
6. を求める。 とする。、。よって 。
検算として、各点が曲線上にあることを確かめた。 では、、 より右辺は 。左辺は で一致する。また を通る直線 の での値は で、その符号を反転した が に一致する。
したがって 。