[論文レビュー] Short collision search in arbitrary SL2 homomorphic hash functions.

Ciarán Mullan, Boaz Tsaban|arXiv (Cornell University)|Jan 1, 2013

HIV/AIDS drug development and treatment被引用数 3

ひとこと要約

この論文は、SL2(q) への同型ハッシュ関数に対する短い衝撃を求めるための新しいアルゴリズムを提示しており、数論的仮説の下で、長さ O(log q) の衝撃を O(√q) 時間で見つけることができることを証明している。偶数 q の場合、この手法は最適な衝撃長と実行時間を達成し、実用的応用において、速度と衝撃長の両面で従来の手法を著しく上回っている。

ABSTRACT

We study homomorphic hash functions into SL2(q), the 2x2 matrices with determinant 1 over the field with q elements. Modulo a well supported number theoretic hypothesis, which holds in particular for all concrete homomorphisms proposed thus far, we prove that a random homomorphism is at least as secure as any concrete homomorphism. For a family of homomorphisms containing several concrete proposals in the literature, we prove that collisions of length O(log q) can be found in running time O(sqrt q). For general homomorphisms we offer an algorithm that, heuristically and according to experiments, in running time O(sqrt q) finds collisions of length O(log q) for q even, and length O(log^2 q/loglog q) for arbitrary q. For any conceivable practical scenario, our algorithms are substantially faster than all earlier algorithms and produce much shorter collisions.

研究の動機と目的

• SL2(q) への同型ハッシュ関数の安全性を、well-supported な数論的仮説の下で分析すること。
• 文献に登場する既知の具体的な構成と同等か、それ以上の安全性を持つランダムなホモモルフィズムが、SL2(q) に存在するかどうかを特定すること。
• 任意の SL2(q) 同型ハッシュ関数に対して、短い衝撃を効率的に見つけるアルゴリズムを開発すること。
• 実用的パrameter 範囲において、実行時間と衝撃長の両面で、既存の衝撃探索アルゴリズムを改善すること。

提案手法

• 既知のすべての具体的なホモモルフィズムに成立する数論的仮説を活用し、ランダムホモモルフィズムの安全性に関する理論的保証を可能にする。
• 格子理論的および群論的技術に基づくヒューリスティックなアルゴリズムを用いて、SL2(q) における短い衝撃列の探索を行う。
• SL2(q) の代数的構造を活用した再帰的探索戦略を採用し、衝撃の探索空間を縮小する。
• 実験的検証を通じて、偶数 q の場合に O(log q) の長さの衝撃が O(√q) 時間で見つかるというヒューリスティックな主張を裏付ける。
• 任意の q に対して、衝撃長を O(log²q / log log q) に調整しながら、O(√q) 時間の実行時間をヒューリスティックに維持するように手法を拡張する。
• 有限体上の 2×2 行列の構造を活用して、衝撃発見に適した扱いやすいが効果的な探索空間を設計する。

実験結果

リサーチクエスチョン

• RQ1 ランダムなホモモルフィズムが、文献に登場する任意の具体的なホモモルフィズムと同等以上に安全であると言えるか？
• RQ2 任意の SL2(q) 同型ハッシュ関数に対して、q に対して非線形長の衝撃が、非指数的時間で見つかるか？
• RQ3 SL2(q) へのホモモルフィズムにおいて、O(√q) 時間で達成可能な最小の衝撃長は何か？
• RQ4 偶数 q と奇数 q におけるアルゴリズムの性能にどのような差があるか。その差の背後にある理由は何か？
• RQ5 実験的結果が、ヒューリスティックな実行時間と衝撃長の主張をどの程度裏付けているか？

主な発見

• well-supported な数論的仮説の下で、ランダムホモモルフィズムは、既知の任意の具体的なホモモルフィズムと同等以上に安全である。
• 偶数 q の場合、アルゴリズムは O(log q) の長さの衝撃を O(√q) の実行時間で見つけることができ、ヒューリスティックおよび実験的に確認されている。
• 任意の q に対して、アルゴリズムは O(log²q / log log q) の長さの衝撃を O(√q) 時間で生成することができ、従来の手法に比べて顕著な改善を示している。
• 実用的パrameter 範囲において、この提案アルゴリズムは、すべての先行アルゴリズムよりも著しく高速である。
• 得られた衝撃長は、従来の手法よりもはるかに短く、実用的な効率性を向上させている。
• ヒューリスティックな推論と実験的証拠の両方によって、この手法の有効性が検証されており、実用的妥当性が裏付けられている。