暗号理論の問題
有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。
上の 点
について、 を満たす最小の正の整数 を求めよ。ただし は を 個加えた点を表す。
この問題で使うもの
- 有限体上の楕円曲線の点の加算(説明と入口の問題)
- 楕円曲線のスカラー倍と点の位数(説明と入口の問題)
- 法 での逆元(拡張ユークリッドの互除法)(説明と入口の問題)
この問題を解けるようになるまで(26 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
から順に を加法公式で計算し、 と一致するところを探します。 での割り算は逆元を掛けて行いましょう。
ヒント 2
倍のときは 、異なる 2 点の和のときは で、, です。 であることも使えます。
ヒント 3
, です。 と の関係に注目し、さらに を計算して の位数を調べましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
での計算なので、割り算は逆元を掛けて行う。()上の加法公式は次のとおりである。
- のとき 、()のとき とし、
- 。特に の点は 倍すると になる。
まず が 上にあることを確かめる: 、 で 。
: 。 より なので 。
よって 。
: 。 より なので 。
よって 。これは と 座標が同じで、 だから である。
: 。
よって 。( で計算しても 、、 で一致する。)
: 。 より なので 。
よって 。 座標が なので であり、 の位数は の約数である。 はどれも ではないので、 の位数は (位数が の約数 ならそれぞれ , , のどれかが になるが、どれも でない)。
したがって 、、、 となる。
では はそれぞれ で、どれも と一致しない。 なので、求める最小の は
( を満たす正の整数 は のものすべてである。)
別解
まず が曲線上にあることを確認する(mod 17)。: , ✓。: , ✓。\n\n の倍数を順に計算する(逆元: , , , など)。\n- : 。, 。。(確認: , ✓)\n- : 。, 。。\n- : 。, 。。(確認: , ✓)\n- : 。, 。。\n\n の点は位数 2 なので 、 の位数は 10 の約数で、, より位数はちょうど 10。したがって の倍数 ()は互いに異なる。\n\n続けて : , 、。, 。( ✓)。\n: 。, 。。\n\n(別の確認: だったので 。)\n\n の位数が 10 なので を満たす最小の正の整数は 。