[論文レビュー] Division polynomials for twisted Edwards curves

Richard Moloney, Laura Hitt+1 more|ArXiv.org|Sep 12, 2008

Cryptography and Residue Arithmetic参考文献 5被引用数 5

ひとこと要約

この論文は、ワイエルシュトラス形式におけるものと類似した、ねじれエドワーズ曲線のための除法多項式を導入する。これらは曲線の $n$- torsion 点を特徴付ける。多項式は $\mathbb{Z}[a,d]$ に係数をもつ $y$ に関する有理関数であり、$a \leftrightarrow -d$, $d \leftrightarrow -a$ の下で対称性を示し、$y$ における次数の上限が $n^2/2$ より小さいという構造的性質を用いて、計算を効率化する。主な貢献は、これらの多項式を用いた torsion 点の完全な特徴付けであり、計算量を低減するための明示的な公式と係数の対称性を含む。

ABSTRACT

This paper presents division polynomials for twisted Edwards curves. Their chief property is that they characterise the $n$-torsion points of a given twisted Edwards curve. We also present results concerning the coefficients of these polynomials, which may aid computation.

研究の動機と目的

• ワイエルシュトラス形式におけるものと類似したが、ねじれエドワーズ曲線に適応した除法多項式の理論を構築すること。
• これらの多項式を用いて、ねじれエドワーズ曲線の $n$- torsion 点を特徴付けること。
• 除法多項式の係数の代数的構造と対称性を分析し、計算コストを低減すること。
• ワイエルシュトラス曲線の $p(u) + vq(u)$ 形式に類似した、ねじれエドワーズ曲線関数体上の関数の一意表現を確立すること。
• 多項式が対称性 $\tilde{\psi}_n(a,d,y) = \tilde{\psi}_n^*(-d,-a,y)$ を満たすことを証明することにより、評価を効率化すること。

提案手法

• ねじれエドワーズ曲線の関数体上の有理関数の列を定義し、それらを $\mathbb{Z}[a,d]$ に係数をもつ $y$ に関する多項式として表現する。
• すべての関数が一意に $p(y) + x q(y)$ の形に書けることを示すことにより、ねじれエドワーズ曲線の関数体の要素に対する一意表現を確立する。
• 群法則とワイエルシュトラス曲線への双有理同型を用いて、除法多項式 $\tilde{\psi}_n(y)$ の再帰的公式を導出する。
• 多項式 $\tilde{\psi}_n(y)$ の $y$ における次数が $n^2/2$ より小さいことを証明し、帰納法と対称性の議論を用いて先頭項と定数項を特定する。
• 係数の対称性を分析し、$\tilde{\psi}_n(a,d,y) = \tilde{\psi}_n^*(-d,-a,y)$ を示す。ここで $\tilde{\psi}_n^*$ は係数を逆順に並べた多項式を表す。
• ねじれエドワーズ曲線とワイエルシュトラス曲線の間の双有理同型を用いて、性質を転送し、座標変換下での除法多項式の挙動を検証する。

実験結果

リサーチクエスチョン

• RQ1 ワイエルシュトラスの場合と類似した方法で、ねじれエドワーズ曲線のための除法多項式をどのように定義すれば、$n$- torsion 点を特徴付けることができるか？
• RQ2 ねじれエドワーズ曲線関数体上での除法多項式の関数的形と次数の上限は何か？
• RQ3 除法多項式の係数は、計算の効率化に利用可能な対称性を示すか？
• RQ4 ねじれエドワーズ曲線の関数体の構造は何か？ また、すべての有理関数は、ワイエルシュトラスの場合と類似した標準形に一意に表現可能か？
• RQ5 変換 $ (x,y) \mapsto (x, 1/y) $ に対して除法多項式はどのように振る舞い、これにより係数の対称性にどのような意味が生じるか？

主な発見

• ねじれエドワーズ曲線の除法多項式 $\tilde{\psi}_n(y)$ は、$\mathbb{Z}[a,d]$ に係数をもつ $y$ に関する多項式であり、$y$ における次数は $n^2/2$ より小さい。
• ねじれエドワーズ曲線の $n$- torsion 点は、ちょうど $\tilde{\psi}_n(y) = 0$ を満たす点である。これにより、torsion 点の直接的な特徴付けが確立される。
• 多項式は対称性 $\tilde{\psi}_n(a,d,y) = \tilde{\psi}_n^*(-d,-a,y)$ を満たす。ここで $\tilde{\psi}_n^*$ は係数を逆順に並べた多項式であり、計算時間を短縮する。
• $\tilde{\psi}_n(y)$ の先頭項と定数項は、$\epsilon(n)$, $m(n)$, $k(n)$ を用いて明示的に決定され、$\epsilon(n)$ は $n \mod 8$ に依存し、定数項は $4 \mid n$ のとき消える。
• $\text{char}(k) \neq 0$ かつ $4 \cdot \text{char}(k) \mid n$ のとき、$\tilde{\psi}_n(y)$ の最小次数項の次数は 1 より大きい。これは多項式の構造的変化を示唆する。
• $\tilde{\psi}_n(y)$ の各係数 $\alpha_i$ は、$a$ と $d$ に関して、次数 $m(n) - k(n)$ の斉次多項式である。これは多項式の対称性と構造を支持する。