arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv quant-ph/0511020quant-ph
收藏

零知识对抗量子攻击

Zero-knowledge against quantum attacks

John Watrous

摘要:

本文证明了几种交互式证明系统是零知识的。这包括一些著名的经典零知识证明系统以及复杂性类HVQSZK的量子交互式证明系统,其中包括具有“诚实验证者”量子统计零知识证明的所有问题。它还证明了零知识证明NP中的每一种语言存在的量子攻击是安全的,假设存在量子计算隐藏的承诺计划。以前没有非平凡的证明系统是已知的零知识对量子攻击,除了在有限的设置,如诚实的验证者和共同的参考字符串模型。因此,本文第一次确立了真正的零知识在量子信息和计算的存在下确实是可能的。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑