[论文解读] Quantum statistical zero-knowledge

John Watrous|ArXiv.org|Feb 20, 2002

Quantum Computing Algorithms and Architecture参考文献 37被引用 14

一句话总结

本文提出了诚实验证者量子统计零知识（QSZK）交互式证明系统的正式定义，并证明了量子态可区分性（QSD）问题——即判断两个量子态在迹范数下是接近还是远离——是QSZK的完全问题。主要贡献在于证明了QSZK ⊆ PSPACE，并表明任何此类系统均可并行化为仅需单个量子比特消息的一轮协议，凸显了其与经典SZK的强烈结构相似性。

ABSTRACT

In this paper we propose a definition for (honest verifier) quantum statistical zero-knowledge interactive proof systems and study the resulting complexity class, which we denote QSZK. We prove several facts regarding this class that establish close connections between classical statistical zero-knowledge and our definition for quantum statistical zero-knowledge, and give some insight regarding the effect of this zero-knowledge restriction on quantum interactive proof systems.

研究动机与目标

• 鉴于量子环境下尚无正式定义，旨在为诚实验证者提出一个有意义的量子统计零知识概念。
• 研究量子零知识的复杂性理论性质，特别是其与经典SZK及已知复杂性类的关系。
• 探讨量子零知识是否在计算能力或协议效率方面优于经典零知识。
• 建立基础性结果，如补集封闭性及量子情形下包含于PSPACE。
• 为理解更一般、具有密码学意义的量子零知识定义提供基础铺垫。

提出的方法

• 基于多项式时间量子模拟器能够近似验证者视图的存在性，提出诚实验证者量子统计零知识的定义。
• 将量子态可区分性（QSD）问题识别为QSZK的完全问题，其输入为一对制备混合态的量子电路。
• 使用密度矩阵之间的迹范数距离作为区分标准，且满足承诺：态要么接近（≤α），要么相距较远（≥β）。
• 利用量子电路模拟与矩阵计算技术，证明迹范数估计可在NC(2^n)内完成，从而表明PSPACE包含性。
• 应用已知的经典结果对交互式证明进行并行化，并将其适配至量子设置，以证明一回合等价性。
• 利用量子态制备与迹范数计算可通过空间高效量子算法以足够精度近似的事实。

实验结果

研究问题

• RQ1 是否存在一个自然且形式化的量子统计零知识定义，既能推广经典SZK，又保持计算上的意义？
• RQ2 量子零知识证明系统能否被并行化为一回合协议？其最小通信量是多少？
• RQ3 复杂性类QSZK与经典复杂性类（如PSPACE和SZK）之间有何关系？
• RQ4 是否存在属于QSZK但不属于经典SZK的问题，从而表明量子零知识计算具有优势？
• RQ5 QSD问题与其他量子信息与复杂性理论中的自然问题之间存在何种关系？

主要发现

• 量子态可区分性（QSD）问题是QSZK的完全问题，可作为Sahai与Vadhan所提出的经典完全问题的量子类比。
• QSZK对补集封闭，与经典SZK的关键性质一致。
• QSZK包含于PSPACE，尽管一般量子交互式证明与PSPACE之间的关系尚不明确，但该结果建立了强有力的上界。
• 任何诚实验证者量子统计零知识证明系统均可并行化为一轮协议，其中证明者仅需发送一个量子比特，即可实现指数级小的完备性误差与有界于1/2的错误率。
• 通过量子电路制备的两个量子态之间的迹范数距离，可在NC(2^n)内以O(1)比特精度近似，从而表明QSD属于PSPACE。
• 结果表明，尽管量子模型在定义安全性时引入了新复杂性，但经典与量子统计零知识之间存在深刻的结构相似性。