[論文レビュー] The Tale of One-way Functions

Leonid A. Levin|arXiv (Cornell University)|Dec 26, 2000

Computability, Logic, AI Algorithms参考文献 22被引用数 6

ひとこと要約

本稿は、普遍チューリング機械の計算をタイリング拡張問題へ還元することにより、任意の関数が単方向関数である限り、それが単方向関数であることを保証する完全性を持つ、最初の組合せ的単方向関数（owf）を導入する。この構成は入力長を保持し、拡張を用いて部分タイリングの一意かつ決定的な延長を強制することで、単方向関数に向けた明確で組合せ的な基盤を確立する。暗号理論における他の問題への還元可能性にも潜在的である。

ABSTRACT

The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf, i.e., a function which is one-way if any function is. There are surprisingly many subtleties in basic definitions. Some of these subtleties are discussed or hinted at in the literature and some are overlooked. Here, a unified approach is attempted.

研究の動機と目的

• 単方向関数の定義や微細な性質に関する基礎的で曖昧な点を解消すること。
• 完全性を持つ、組合せ的かつ長さを保持する単方向関数を構築すること—すなわち、その単方向性が一般に単方向関数の存在を示すことにつながること。
• 他の候補となる単方向関数への還元のためのマスタープロブレムとしての、明確で最小限の組合せ的構造（タイリング）を提供すること。
• 平均的完全性の文脈において、長さを保持しないか、組合せ的単純性を欠く既存の構成の限界を克服すること。
• 弱い単方向関数を低リーマン・エントロピーを持つ強い単方向関数に変換する基盤を築くこと、暗号分野における実用性を高めること。

提案手法

• タイリング拡張関数を定義：与えられた上段のタイルと許可されたタイル集合に対して、一意に延長可能な唯一の下段とタイル集合を計算する。
• n²ステップで停止する時間カウンターを備えた普遍チューリング機械（UTM）を構築し、プログラムのプレフィックスと入力長を保持する。
• 境界記号とタイルマッチング規則を用いて、UTMの計算をタイリング問題にエンコードし、正しい状態遷移とテープ動作を強制する。
• 拡張の概念を用いて、非決定的タイル集合においても、一意に決定可能な部分タイリングのみが許容されるように制限し、決定的出力を保証する。
• 入力長を保持するため、プログラムプレフィックスと入力長を出力に強制することで、単方向性のための長さ保存性を確保する。
• 任意の単方向関数 f に対して、GF(2^|x|) 上の変換 g(a,x) = (a, f(x) + ax) を提案し、エントロピーを低下させ、セキュリティ特性を向上させる。

実験結果

リサーチクエスチョン

• RQ1 完全性を持つ、組合せ的かつ長さを保持する単方向関数を構築することは可能か？
• RQ2 標準的なUTM計算からタイリングへの還元を、入力長を保持し、一意な延長を強制するようにどのように変更できるか？
• RQ3 非決定的タイリング枠組みにおいて、拡張操作が決定性と単方向性を維持するために果たす役割は何か？
• RQ4 タイリング拡張関数は、他の組合せ的または代数的単方向関数候補への還元のためのマスタープロブレムとして機能できるか？
• RQ5 GF(2^|x|) 上の変換 g(a,x) = (a, f(x) + ax) は、任意の単方向関数 f に対して、低リーマン・エントロピーを持つ単方向関数を生成するのに十分か？

主な発見

• タイリング拡張関数が、単方向関数が存在する場合かつその場合に限り単方向関数であることが証明され、完全性が確立された。
• 普遍計算を明確な組合せ的構造にエンコードしながら、入力長を成功裏に保持した。これにより、長さ破壊型還元の既存の限界を克服した。
• 拡張メカニズムにより、一意に延長可能な部分タイリングのみが完成し、非決定的タイル集合の中でも決定的出力が保証された。
• GF(2^|x|) 上の変換 g(a,x) = (a, f(x) + ax) は、平均して入力がたかだか1人の兄弟をもつことになり、エントロピーとセキュリティの向上を示唆した。
• 本稿は、この変換が元の f に対して多項式要因の範囲内でセキュリティを保つ単方向関数を生成すると予想しており、強力な単方向関数の構築に応用可能である。
• 本研究は、平均的完全性における単方向関数の基礎的で組合せ的な候補を提供し、他の数学的問題への還元を可能にする可能性を秘めている。