[论文解读] 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.

研究动机与目标

• 解决单向函数定义及其细微差别中的基础性模糊问题。
• 构建一个组合型、长度保持的单向函数，且具备完备性——即其单向性可推出单向函数的一般存在性。
• 提供一个简洁、最小的组合结构（铺砖）作为归约至其他候选单向函数的主问题。
• 克服以往构造在平均情况完备性背景下无法保持长度或组合简洁性的局限。
• 为将弱单向函数转化为低Rényi熵的强单向函数奠定基础，从而提升其在密码学中的实用性。

提出的方法

• 定义铺砖扩展函数：给定顶部一行瓷砖和一组允许的瓷砖，计算唯一确定的底部一行及瓷砖集合，以唯一扩展铺砖。
• 构建一个带有时间计数器的通用图灵机，其在 n² 步后中止，同时保持程序前缀和输入长度。
• 使用边界符号和瓷砖匹配规则，将通用图灵机的计算编码为铺砖问题，以强制实现正确的状态转移和磁带行为。
• 利用扩展概念，仅允许那些被唯一确定的铺砖扩展，从而确保在非确定性瓷砖集合下仍能获得确定性输出。
• 通过强制在输出中包含程序前缀和输入长度，保持输入长度，从而确保单向性所需的长度保持性。
• 提出一个在 GF(2^|x|) 上的变换 g(a,x) = (a, f(x) + ax)，以降低熵并改善任意单向函数 f 的安全属性。

实验结果

研究问题

• RQ1 能否构造一个组合型、长度保持的单向函数，使其对所有单向函数都具备完备性？
• RQ2 如何修改从通用图灵机计算到铺砖的标准归约，以保持输入长度并强制唯一扩展？
• RQ3 在非确定性铺砖框架中，扩展操作在维持确定性和单向性方面起什么作用？
• RQ4 铺砖扩展函数能否作为归约至其他组合型或代数型单向函数候选的主问题？
• RQ5 变换 g(a,x) = (a, f(x) + ax) 是否足以从任意单向函数 f 生成一个具有低Rényi熵的单向函数？

主要发现

• 铺砖扩展函数是单向的，当且仅当存在单向函数，从而确立了其完备性。
• 该构造成功保持了输入长度，同时将通用计算编码为清晰的组合结构，克服了以往长度破坏性归约的局限。
• 扩展机制确保仅对可唯一扩展的部分铺砖进行完成，即使在非确定性瓷砖集合下也能提供确定性输出。
• 所提出的变换 g(a,x) = (a, f(x) + ax) 在 GF(2^|x|) 上，使得每个输入平均至多只有一个“兄弟”输入，暗示熵和安全性得到改善。
• 本文猜想，该变换可使单向函数的安全性处于原始 f 的多项式因子范围内，支持其用于构建强单向函数。
• 本工作为单向函数的平均情况完备性提供了一个基础性的组合候选，可能实现向其他数学问题的归约。