[論文レビュー] Discrete Logarithms in Generalized Jacobians

Steven D. Galbraith⋆, Benjamin Smith|ArXiv.org|Oct 2, 2006

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

ひとこと要約

この論文は、Déchèneが離散対数問題（DLP）に基づく暗号に代替となる群として提案した一般化されたヤコビ多様体を分析し、標準的な楕円曲線や乗法的群と比較して、安全性や効率性に優位性を示さないことを示している。著者らは、このような一般化されたヤコビ多様体におけるDLPを解くことは、基礎となる楕円曲線と乗法的群におけるDLPを並列に解くことに帰着されることを証明しており、安全性は二つの構成要素のうちより強い方のものに限定され、計算および保存領域のオーバーヘッドが増加することを意味する。

ABSTRACT

Déchène has proposed generalized Jacobians as a source of groups for public-key cryptosystems based on the hardness of the Discrete Logarithm Problem (DLP). Her specific proposal gives rise to a group isomorphic to the semidirect product of an elliptic curve and a multiplicative group of a finite field. We explain why her proposal has no advantages over simply taking the direct product of groups. We then argue that generalized Jacobians offer poorer security and efficiency than standard Jacobians.

研究の動機と目的

• Déchèneが提案した一般化されたヤコビ多様体がDLPに基づくシステムに適しているかどうかを評価すること。
• 提案された群構造が、既存の代替案と比較してより強い安全性またはより優れた効率性を提供するかどうかを分析すること。
• 一般化されたヤコビ多様体に含まれる半直積構造が、標準群の直積と比較して何らかの利点をもたらすかどうかを特定すること。
• 埋め込み次数およびペアリングフレンドリーな曲線が一般化されたヤコビ多様体の安全性に与える影響を評価すること。

提案手法

• 一般化されたヤコビ多様体内の素数位数部分群におけるDLPの安全性を分析するために、Pohlig-Hellman還元を用いる。
• 代数群の正確な系列理論を適用して、一般化されたヤコビ多様体を楕円曲線から乗法的群への拡張としてモデル化する。
• 一般化されたヤコビ多様体の任意の素数位数部分群におけるDLPが、楕円曲線および乗法的群の成分におけるDLPに還元されることを証明する。
• cocycle $ c_{\mathfrak{m}}(P,Q) = f_{P,Q}(M)/f_{P,Q}(N) $ で定義される一般化されたヤコビ多様体の群法則を分析する。ここで $ f_{P,Q} $ は、除数 $ (P+Q)+(O)-(P)-(Q) $ を持つ有理関数である。
• 一般化されたヤコビ多様体の計算コストおよび保存領域要件を、直接積 $ \mathcal{E}(k) \times \mathbb{G}_m(k) $ と比較する。
• ペアリングフレンドリーな曲線および埋め込み次数の影響が、提案された構成の実現可能性および安全性に与える影響を評価する。

実験結果

リサーチクエスチョン

• RQ1 Déchèneが提案した一般化されたヤコビ多様体構成は、標準的な楕円曲線や乗法的群よりも高い安全性を提供するか？
• RQ2 一般化されたヤコビ多様体におけるDLPは、その構成要素群よりも効率的に解けるか？
• RQ3 同じ群の直積と比較して、半直積構造を用いることで暗号的利点が得られるか？
• RQ4 基礎となる楕円曲線の埋め込み次数が、一般化されたヤコビ多様体の安全性および効率性にどのように影響するか？
• RQ5 一般化されたヤコビ多様体の群法則が、新たな暗号プロトコルの実現や既存プロトコルの改善を可能にするか？

主な発見

• 一般化されたヤコビ多様体の任意の素数位数部分群におけるDLPは、楕円曲線または乗法的群のいずれかのDLPに還元され、安全性は二つの構成要素のうちより強い方のものに限定される。
• 一般化されたヤコビ多様体群は直積 $ \mathcal{E}(k) \times \mathbb{G}_m(k) $ に同型であるため、より単純なこの構成と比較して、安全性や効率性に利点をもたらさない。
• 一般化されたヤコビ多様体における計算は、構成要素群を別々に計算する場合よりも、より多くの保存領域と時間が必要であり、パフォーマンス上の利点がない。
• ペアリングフレンドリーな曲線を用いて両方の構成要素に大きな素数位数部分群を実現することは、増大する埋め込み次数に起因して計算コストが指数関数的に増加する。
• 一般化されたヤコビ多様体の群法則は、 Tateペアリング計算に用いられる手法と同等であるため、新規性やより高い安全性を有する原 primitive とは言えない。
• 一般化されたヤコビ多様体は、楕円曲線または乗法的群に既に存在する素数位数部分群よりも大きな素数位数部分群をサポートしないため、安全性を向上させない。