[论文解读] Zero-knowledge against quantum attacks

John Watrous|ArXiv.org|Nov 3, 2005

Cryptography and Data Security参考文献 19被引用 4

一句话总结

本文建立了首个针对量子多项式时间攻击者的零知识交互式证明系统的通用框架。在量子计算可隐藏承诺方案的假设下，证明了经典零知识协议和量子统计零知识证明（QSZK_HV）在验证者使用量子计算时依然保持零知识特性。

ABSTRACT

This paper proves that several interactive proof systems are zero-knowledge against quantum attacks. This includes a few well-known classical zero-knowledge proof systems as well as quantum interactive proof systems for the complexity class HVQSZK, which comprises all problems having "honest verifier" quantum statistical zero-knowledge proofs. It is also proved that zero-knowledge proofs for every language in NP exist that are secure against quantum attacks, assuming the existence of quantum computationally concealing commitment schemes. Previously no non-trivial proof systems were known to be zero-knowledge against quantum attacks, except in restricted settings such as the honest-verifier and common reference string models. This paper therefore establishes for the first time that true zero-knowledge is indeed possible in the presence of quantum information and computation.

研究动机与目标

• 为在存在量子攻击者的情况下建立零知识的形式化定义与安全模型。
• 证明已知的经典零知识协议在验证者为量子计算机时依然保持安全。
• 将零知识的概念扩展至量子交互式证明系统，特别是针对 QSZK_HV 类。
• 在量子计算可隐藏承诺方案存在的假设下，证明 NP 存在量子安全的零知识证明。
• 解决长期存在的开放问题：在量子世界中，真正的零知识是否可能实现。

提出的方法

• 将经典零知识模拟技术适配至量子环境，特别是重放策略。
• 使用一个将验证者视为黑箱的量子模拟器，并采用量子测量与态制备技术。
• 应用混合论证法，限制因量子承诺导致的成功概率偏差，表明其与经典值的偏离可忽略不计。
• 证明模拟器的输出在非均匀量子电路模型下与真实交互在计算上不可区分。
• 分析关键算子 Q 的本征值结构，表明其对理想行为的扰动可忽略。
• 依赖于量子计算可隐藏承诺方案的存在，该方案可由量子单向置换导出。

实验结果

研究问题

• RQ1 当验证者为量子计算机时，经典零知识协议是否仍保持安全？
• RQ2 能否为量子验证者构造一个模拟器，使其输出与真实交互不可区分？
• RQ3 量子计算承诺是否能在量子环境下实现安全的零知识证明？
• RQ4 Goldreich、Sahai 和 Vadhan 的统计零知识协议能否在量子攻击下被证明安全？
• RQ5 量子零知识对并发和可重置零知识协议有何影响？

主要发现

• 本文证明了多个著名的经典零知识证明系统（包括图同构和二次剩余问题的系统）在面对量子多项式时间验证者时仍保持零知识特性。
• 证明了在标准量子定义下，QSZK_HV 类的量子交互式证明系统是零知识的。
• 在量子计算可隐藏承诺方案存在的假设下，证明了 NP 中的每个语言都存在对量子攻击安全的零知识交互式证明系统。
• 由于承诺算子的本征值结构，量子模拟器的成功概率与理想经典情况的偏差至多为一个可忽略函数。
• 在相同假设下，即使面对任意辅助量子输入，模拟器的输出在计算上仍与真实交互不可区分。
• 本研究解决了长期存在的开放问题：在量子世界中，真正的零知识是否可能实现，结论是肯定的。