単元一覧 › 大学数学 暗号理論

暗号理論の問題

難易度 2教科書の演習問題レベル大学数学 暗号理論

有限体 上の楕円曲線

を考えます。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群になります。

この曲線と基点 を公開パラメータとして、アリスとボブが楕円曲線ディフィー・ヘルマン鍵共有を行います。アリスは秘密鍵 を選んで公開鍵 を送り、ボブは秘密鍵 を選んで公開鍵 を送ります。二人が共有する点を とします。

の座標 を、 の整数の組で求めてください。

この問題で使うもの

この問題を解けるようになるまで(28 技能)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

共有点は です。まず を求め、それから を の順に計算すると、手数が少なくて済みます。

ヒント 2

2 倍算では 、異なる 2 点の和では を使います。どちらも で、割り算は法 での逆元を掛けて計算します。

ヒント 3

、、、 となります。残りは の計算です。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

一般に楕円曲線 上の加法公式を使います(この問題の曲線では です。秘密鍵の とは別の記号にしています)。すべての計算は で行います。

  • で のとき:
  • で のとき:

どちらの場合も

です。割り算は法 での逆元を掛けて計算します。

共有点は なので、まず を求め、次に を求めます。

1. アリスの公開鍵 を求める

: です。()なので です。
、 です。
よって です。

: です。()なので です。
、 です。
よって です。検算すると 、 となり、 は確かに 上にあります。

2. を求める()

: なので、分子は 、分母は です。()なので です。
、 です。
よって です。

: なので、分子は 、分母は です。 なので です。
、 です。
よって です。

: です。 なので です。
、 です。
よって です。検算すると 、 となります。

3. ボブ側の計算による確認

ボブの公開鍵 を求めます。

: です()。、 なので、 です。

: です。、 なので、 です。

次に を求めます。

: です。、 なので、 です。

: です。、 なので、 です。

アリス側の と一致します。

したがって です。

別解

を二倍と加算で求める。計算はすべて で行う。

まず が 上にあることを確かめる。 で、右辺は なので 。

1. を求める。 とする( より )。、。よって 。
2. を求める。 とする。、。よって 。
3. を求める。 とする。、。よって 。
4. を求める。 とする。、。よって 。
5. を求める。 とする。、。よって 。
6. を求める。 とする。、。よって 。

検算として、各点が曲線上にあることを確かめた。 では、、 より右辺は 。左辺は で一致する。また を通る直線 の での値は で、その符号を反転した が に一致する。

したがって 。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題