[论文解读] A Note on Quantum Security for Post-Quantum Cryptography

Fang Song|arXiv (Cornell University)|Sep 8, 2014

Cryptography and Data Security被引用 7

一句话总结

本文提出一个通用框架，通过识别‘量子友好’的归约，将经典安全证明提升至量子环境，实现将后量子签名方案的经典安全保证（如存在性不可伪造性）转移至量子敌手。证明了基于量子抗性单向函数的哈希树签名在量子选择消息攻击下依然安全。

ABSTRACT

Shor's quantum factoring algorithm and a few other efficient quantum algorithms break many classical crypto-systems. In response, people proposed post-quantum cryptography based on computational problems that are believed hard even for quantum computers. However, security of these schemes against \emph{quantum} attacks is elusive. This is because existing security analysis (almost) only deals with classical attackers and arguing security in the presence of quantum adversaries is challenging due to unique quantum features such as no-cloning. This work proposes a general framework to study which classical security proofs can be restored in the quantum setting. Basically, we split a security proof into (a sequence of) classical security reductions, and investigate what security reductions are "quantum-friendly". We characterize sufficient conditions such that a classical reduction can be "lifted" to the quantum setting. We then apply our lifting theorems to post-quantum signature schemes. We are able to show that the classical generic construction of hash-tree based signatures from one-way functions and and a more efficient variant proposed in~\cite{BDH11} carry over to the quantum setting. Namely, assuming existence of (classical) one-way functions that are resistant to efficient quantum inversion algorithms, there exists a quantum-secure signature scheme. We note that the scheme in~\cite{BDH11} is a promising (post-quantum) candidate to be implemented in practice and our result further justifies it. Finally we demonstrate the generality of our framework by showing that several existing works (Full-Domain hash in the quantum random-oracle model~\cite{Zha12ibe} and the simple hybrid arguments framework in~\cite{HSS11}) can be reformulated under our unified framework.

研究动机与目标

• 为解决经典安全证明常因量子特性（如叠加和不可克隆性）而对量子敌手失效的挑战。
• 识别哪些经典安全归约可被‘提升’至量子环境，特别是在后量子密码学中。
• 提供一种系统化、可检查的标准，以判断经典归约在量子攻击下是否仍然有效。
• 通过证明通用且高效的哈希树签名方案的量子安全性，展示该框架的适用性。
• 将现有量子安全证明（例如在量子随机预言模型中的结果）统一并重构于单一、模块化的框架之下。

提出的方法

• 将经典安全证明分解为经典归约的序列。
• 通过识别经典归约可被提升至量子环境的充分条件，定义‘量子友好’归约。
• 基于归约步骤的结构特性，形式化一个简单、可检查的准则，用于提升游戏更新型归约。
• 构建解释器，于经典游戏化框架内模拟量子敌手，从而实现经典归约的转换。
• 应用提升定理，证明若单向函数抵抗量子逆向，则通用哈希树签名构造及 [BDH11] 的优化变体均为量子安全。
• 将现有结果（如 Zhandry 在 QRO 模型中对全域哈希的研究，以及 HSS11 的混合论证）重构于所提框架内，以展示其通用性。

实验结果

研究问题

• RQ1 当敌手为量子力学敌手时，哪些经典安全归约可被保留？
• RQ2 归约的何种结构条件可确保其在量子敌手存在下的有效性？
• RQ3 能否证明基于单向函数的经典通用哈希树签名构造在量子选择消息攻击下是安全的？
• RQ4 [BDH11] 提出的哈希树签名高效变体在量子随机预言模型下是否依然安全？
• RQ5 现有量子安全证明（例如在 QRO 模型中或针对混合论证）能否在单一框架下统一并模块化？

主要发现

• 所提框架识别出经典安全归约可被提升至量子环境的充分条件，从而实现模块化的量子安全分析。
• 若单向函数抵抗量子逆向，则基于单向函数的经典通用哈希树签名构造被证明为量子安全。
• [BDH11] 提出的哈希树签名更高效变体在相同假设下也被证明为量子安全，为其在后量子环境中的实际部署提供了依据。
• Zhandry 在量子随机预言模型中对全域哈希的研究结果被重构并在此框架内证明，展示了其兼容性与模块化特性。
• 该框架统一并推广了现有结果，包括 [HSS11] 关于混合论证的研究，表明其适用范围不仅限于基本原原子。
• 提升定理提供了一种实用、可检查的标准，用于评估新后量子方案的量子安全性，而无需从头重新推导证明。