有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。 上の点 について、点 の座標 を求めよ。ただし、座標は 以上 以下の整数で表し、 の順に答えること。
楕円曲線のスカラー倍と点の位数
2 倍算と加算をくり返して を求め、 となる最小の (点の位数)を見つけて、 のような大きなスカラー倍を を位数で割った余りに下げて求められる
前提
- 有限体上の楕円曲線の点の加算 (大学数学 暗号理論)
- n 進法 (数学A 整数の性質)
この技能までの道筋(25 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- ユークリッドの互除法 (数学A 整数の性質)
- 1 次不定方程式の整数解 (数学A 整数の性質)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 法 での逆元(拡張ユークリッドの互除法) (大学数学 暗号理論)
- 有限体上の楕円曲線の点の加算 (大学数学 暗号理論)
- n 進法 (数学A 整数の性質)
説明
有限体上の楕円曲線の点 に対し、 を 個加えた点 を のスカラー倍といいます。 と順に計算すると、いつか必ず無限遠点 になります。 となる最小の正の整数 を の位数といいます。位数がわかれば、 のような大きな倍数を「 を位数で割った余り」倍の点に置き換えて、少ない計算で求められます。楕円曲線暗号の鍵の計算や、群の構造を調べる場面で使います。
なぜそうしてよいのか
点の加算は、ふつうの足し算と同じ性質をもちます。交換法則 と結合法則 が成り立ち、 は をみたす「0」の役目をします(結合法則の確認は長い計算になるので、ここでは事実として使います)。この性質から、正の整数 に対して が成り立ちます。さらに約束として と定めます。こうすると 以上の整数 について が成り立ちます。また であり、 です。したがって となる が見つかれば、 となります。 と は 座標が同じで 座標の符号だけが逆なので、この関係は座標の表から簡単に見つけられます。
位数が必ず存在するのは、曲線上の点が有限個しかないからです。 を並べると、どこかで同じ点が現れます。()なら、両辺に を加えて です。また、 がわかっているとき、 に対して なので です。 なので、 と は一方が なら他方も です。よって の範囲で が出ないことを確かめれば、 から のすべてで が出ないといえます。
位数を とし、 を で割って ()と書くと、 です( なら )。合同式でいえば、 なら です。つまり は そのものではなく、 を で割った余りだけで決まります。なお、位数がわからないまま大きな を計算したいときは、 を 2 進法で表し、 なら 、 なら という 2 倍算と加算の組合せを使えば、計算回数を約 回に抑えられます。
手順
点 が曲線上にあることを確かめ、2 倍算 で を求める。
を加算の公式でくり返し計算し、 の座標を表にまとめる( と の 座標が等しく 座標が逆符号なら、その和は である)。
表の中から、 座標が等しく 座標が逆符号()の 2 点 , を見つける。 なので である。 座標が の点 があれば なので である。
(または )とする。 では なので、一方が なら他方も になる。よって の が でないことを表で確かめれば、位数は と確定する。
求めたい の を で割り、余り ()を出す。 なので である( なら )。
表から を読み取る。表にない場合は を使い、 の 座標の符号を反転させる。
例題
上の楕円曲線 と点 を考える。 の位数を求め、それを用いて の座標を求めよ。
例題の解答
【手順1】 なので、 は曲線上にある。 の傾きは である。 より なので 。よって 、 で、 である。
【手順2】:。 より 。、 なので 。
:。、 なので 。
:。、 なので 。
表:, , , , 。
【手順3】 と は 座標が等しく、 である。よって となり、 である。
【手順4】 とする。 では なので、 の が でないことを確かめればよい。これらはすべて座標をもつ点なので ではない。したがって , , , も ではない(実際 も座標をもつ点で ではない)。よって の位数は である。
【手順5】 なので 。( より と、各桁の和からも確かめられる。)よって 。
【手順6】表から と読み取れる。
答え:位数は 、。
答え:
よくある誤り
を見つけた時点で位数を としてしまう誤り。正しくは より である。例題では なので、位数は ではなく になる。
スカラー を、法 で割った余りに下げてしまう誤り。正しくは の位数 で割る。例題で として とするのは誤りで、正しくは より である。
座標が等しく 座標が逆符号の 2 点を加えるとき、傾きの式 を使って で割る計算をしてしまう誤り。 のときこの式は使えず、 なら結果は である。例:。
点の逆元を としてしまう誤り。正しくは である。例: であり、 ではない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。 上の点 について、 を順に計算して の位数を求め、それを使って の座標 を求めよ。ただし、座標は 以上 以下の整数で答えよ。有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。点 は 上の点である。 の位数を求めたうえで、スカラー倍 を求めよ。答えは座標の組 で書き、 は 以上 以下の整数で表せ。
この技能を使う問題
有限体 上の楕円曲線
を考えます。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群になります。この曲線と基点 を公開パラメータとして、アリスとボブが楕円曲線ディフィー・ヘルマン鍵共有を行います。アリスは秘密鍵 を選んで公開鍵 を送り、ボブは秘密鍵 を選んで公開鍵 を送ります。二人が共有する点を とします。
の座標 を、 の整数の組で求めてください。
有限体 上の楕円曲線
を考える。 の 有理点全体に無限遠点 を単位元として通常の加法(弦と接線による加法)を入れた群において、点 をとる。点 の座標 を求めよ。ただし は , を満たす整数で表し、 の組で答えよ。
有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。点 について、 となる最小の正の整数 ( の位数)を求めよ。有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。上の 点
について、 を満たす最小の正の整数 を求めよ。ただし は を 個加えた点を表す。を標数が でも でもない体とし、 は をみたすとする。 とおき、楕円曲線
の 有理点全体に無限遠点 を加えた集合 を、通常の加法( が単位元)で群と考える。 のとき は重根をもたないこと、および次の事実は用いてよい。
- 点 に対し である。 座標が等しい 2 つのアフィン点 は または をみたす。
- のとき、 はアフィン点であり、 とおくと、 の 座標は である。 のときは である。さらに
とおく。 のアフィン点 について、「 の位数が であるための必要十分条件は である」ことを証明せよ。