暗号理論の問題
有限体 上の楕円曲線
を考える。 の 有理点全体に無限遠点 を単位元として通常の加法(弦と接線による加法)を入れた群において、点 をとる。
点 の座標 を求めよ。ただし は , を満たす整数で表し、 の組で答えよ。
この問題で使うもの
- 楕円曲線のスカラー倍と点の位数(説明と入口の問題)
- 有限体上の楕円曲線の点の加算(説明と入口の問題)
- 法 での逆元(拡張ユークリッドの互除法)(説明と入口の問題)
この問題を解けるようになるまで(26 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
を直接計算するのではなく、 の倍数を順に計算して となる最小の ( の位数)を見つけ、 をその数で割った余りを使う。
ヒント 2
加法公式は , 。傾きは異なる点なら 、2 倍なら で、割り算は法 での逆元を掛けて行う。 と の 座標が一致して 座標が逆符号なら である。
ヒント 3
, , となる。 を計算して と比べてみよ。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
以下、計算はすべて法 で行う。 での逆元は である。
まず が 上にあることを確かめる:。また なので は非特異である。
加法公式 , に対し、傾き を
として , が の座標である( のときは )。
。, 。よって 。
。 より分子は 、分母は 。。, 。よって 。
。, 。よって 。
と は 座標が等しく、 座標は より互いに符号が逆である。したがって 、すなわち である。 の位数は の約数であり、, ( を計算すると , , で )なので、 の位数はちょうど である。
(検算) を計算すると , , で となり、 と矛盾しない。
なので
別解
まず群の位数を求める。 を で計算すると、平方剰余()になるのは , , , のみで、それぞれ が 2 つずつ。他の では で平方非剰余。したがってアフィン点は 8 個、無限遠点を加えて 。ラグランジュの定理より 。
なので 。
: , , 。よって 。
: ()。, 。よって 。
: ()。, 。よって 。
検算: は を満たす。また ( の逆元は )であり、 と整合する。