量子零知识证明的一般性质
量子物理
2007-05-23 v1
摘要
本文研究了分别具有量子计算零知识证明系统和诚实验证者量子计算零知识证明系统的问题的复杂度类 QZK 和 HVQZK。本文证明的结果包括:(a) HVQZK = QZK,(b) QZK 中的任何问题都具有公共硬币量子计算零知识证明系统,(c) QZK 中的任何问题都具有完美完备性的量子计算零知识证明系统,以及 (d) QZK 中的任何问题都具有完美完备性且可靠性误差为任意小常数的三消息公共硬币量子计算零知识证明系统。上述所有结果都是无条件的,不依赖任何计算假设。对于分别具有量子完美零知识证明系统、诚实验证者量子完美零知识证明系统和量子统计零知识证明系统的问题类 QPZK、HVQPZK 和 QSZK,证明了以下新性质:(e) HVQPZK = QPZK,(f) QPZK 中的任何问题都具有公共硬币量子完美零知识证明系统,(g) QSZK 中的任何问题都具有完美完备性的量子统计零知识证明系统,以及 (h) QSZK 中的任何问题都具有完美完备性且可靠性误差为任意小常数的三消息公共硬币量子统计零知识证明系统。需要强调的是,我们的证明是直接的,未使用完全承诺问题或其等价形式。这提供了一个适用于所有量子完美、统计和计算零知识证明的统一框架,使我们能够证明即使对于尚不知晓完全承诺问题的计算和完美零知识证明也具有的性质。
引用
@article{arxiv.0705.1129,
title = {General Properties of Quantum Zero-Knowledge Proofs},
author = {Hirotada Kobayashi},
journal= {arXiv preprint arXiv:0705.1129},
year = {2007}
}
评论
33 pages