应用于对称密码体制分析的量子算法研究.pdfVIP

摘 要 量子计算因其具有经典计算无可比拟的优势受到了广泛的关注，其发展对当 今密码学的安全构成了威胁。众所周知，Shor 算法可以在多项式时间内破解多种 公钥密码方案，如 RSA 和 ECC 。近些年来，一些应用于对称密码体制分析中的 量子算法得到了研究，如 Grover 算法、Simon 算法、Bernstein-Vazirani （BV ）算 法，以及它们的衍生算法。本文主要研究两种应用于对称密码体制分析的量子算 法：量子周期查找算法和量子布尔函数代数正规型学习算法。 量子周期查找算法已经被广泛用于对称密码体制分析，如 3 阶 Feistel 结构 和 Even-Mansour 结构可以通过利用量子周期查找算法在多项式时间内被打破。 本文中，首先提出了一种仅需要 O(n)次量子查询的求解向量值函数周期的新算 法，该算法以 BV 算法作为子例程的其中一步。然后，将该算法与 Simon 算法进 行了比较。当算法应用于某些场景时，如 Even-Mansour 结构和满足 Simon 的允 诺的向量值函数等，上述算法在量子存储和时间的权衡方面比 Simon 算法效率 更高。此外，结合了该算法与 Grover 算法，用于 FX 结构上的密钥恢复攻击。与 Leander 和 May 在 17 年的亚密会上提出的 Grover-Meets-Simon 算法相比，新算 法需要较少的量子存储。 线性布尔函数的代数正规型可以直接用 BV 算法恢复，而对于更一般的布尔 函数的代数正规型的量子学习算法目前相关研究还很少。本文研究了二次布尔函 数代数正规型的量子学习算法。首先，求得了二次布尔函数中变量的影响力，使 BV 算法能够在其上运行。然后，研究了将二次布尔函数中的一些变量取反或置 零后的函数，展示了其量子 oracle 的构造方法。接着，引入了“团”的概念以把 出现在二次项中的变量分组，并研究了团的性质。此外，给出了一种利用纠缠度 量检查退化变量的方法。在此基础上，提出了一系列二次布尔函数代数正规型的 学习算法。特别地，所提出的最优算法相比于经典算法提供了 O(n) 的加速，且量 子查询次数与退化变量无关。 关键词：量子密码分析；对称密码；布尔函数；Bernstein-Vazirani 算法；量子计 算 I Abstract Quantum computing has been received extensive attention since it has incomparable advantages over classical computing, and thus its development has threatened the security of current cryptography. As is well known, Shors algorithm could break many public-key cryptographic schemes (e.g., RSA and ECC) in polynomial time. In the past few years, some quantum algorithms applied to symmetric cryptanalysis have been studied, such as Grovers algorithm, Simons algorithm, the Bernstein-Vazirani (BV) algorithm and their derivative algorithms. In this thesis, we mainly study two kinds of quantum algorithms applied to symmetric cryptanalysis: quantum period finding algorithms and quantum algorithms for learning the algebraic normal form of Boolean functions.