[論文レビュー] Isogenies of Elliptic Curves: A Computational Approach

Daniel Shumow|ArXiv.org|Oct 28, 2009

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

ひとこと要約

この論文は、楕円曲線の準同型写像について、その構成と解析のための代数的技法に焦点を当てた計算的導入を提供する。正しく性質を保証するアルゴリズムと計算量の分析を提示し、文脈に応じた明示的で計算指向の代替手法を、文脈に応じた代数的技法を用いて提供する。

ABSTRACT

Isogenies, the mappings of elliptic curves, have become a useful tool in cryptology. These mathematical objects have been proposed for use in computing pairings, constructing hash functions and random number generators, and analyzing the reducibility of the elliptic curve discrete logarithm problem. With such diverse uses, understanding these objects is important for anyone interested in the field of elliptic curve cryptography. This paper, targeted at an audience with a knowledge of the basic theory of elliptic curves, provides an introduction to the necessary theoretical background for understanding what isogenies are and their basic properties. This theoretical background is used to explain some of the basic computational tasks associated with isogenies. Herein, algorithms for computing isogenies are collected and presented with proofs of correctness and complexity analyses. As opposed to the complex analytic approach provided in most texts on the subject, the proofs in this paper are primarily algebraic in nature. This provides alternate explanations that some with a more concrete or computational bias may find more clear.

研究の動機と目的

• 楕円曲線暗号における準同型写像を理解するための計算的かつ代数的基盤を提供すること。
• 正しさを形式的に証明した明示的アルゴリズムを提示すること。
• 基本的な楕円曲線の知識を持つ研究者にとって理解しやすい方法で、有限体における準同型写像計算の計算量を分析すること。
• 複素解析的手法に代わって、アルゴリズム実装に適した代数的技法に焦点を当てること。
• ペアリング暗号、ハッシュ関数、離散対数問題の分析といった暗号応用を支援すること。

提案手法

• 論文は代数幾何と有限体の算術を用いて、楕円曲線間の準同型写像を定義し、構築する。
• 除法多項式と根の探索技術を用いて、再帰的および反復的アルゴリズムを提示し、分離可能な準同型写像を計算する。
• アルゴリズムの正しさは、除法多項式の代数的恒等式および準同型写像核部分群の性質に基づいて確立される。
• 計算量の分析は、標準的な計算モデルを用い、体演算と多項式の次数に注目して行われる。
• 複素解析を避けて、有限体上の明示的公式とモジュラー算術に依存する。
• 理論的背景は、基本的な楕円曲線理論から段階的に構築され、準同型写像の計算へと発展する。

実験結果

リサーチクエスチョン

• RQ1 どのように代数的技法を用いて、有限体上での楕円曲線間の準同型写像を効率的に計算できるか？
• RQ2 有限体上での準同型写像計算アルゴリズムの計算量は何か？
• RQ3 明確さと実装可能性の観点から、代数的アプローチと解析的アプローチを比較するとどうなるか？
• RQ4 与えられた次数の準同型写像を構成するための必要十分条件は何か？
• RQ5 準同型写像計算は、ペアリングや乱数生成器といった暗号基盤にどのように応用できるか？

主な発見

• 論文は、複素解析的手法に依存せずに、完全に代数的技法のみを用いて準同型写像の計算アルゴリズムを構築した。
• 各アルゴリズムは、除法多項式および核部分群の性質に基づく形式的正しさの証明とともに提示された。
• 計算量の分析は体演算の回数に基づき、実用的な次数において効率的であることが示された。
• 計算的・アルゴリズム的背景を持つ研究者にとって、よりアクセス可能で実装可能であることが示された。
• ペアリング計算やハッシュ関数設計を含む、準同型写像ベースの暗号分野におけるさらなる研究の基盤を提供した。
• 理論的準同型写像理論と実際の実装との間の橋渡しをしたことで、暗号システムにおける実用性が向上した。