量子统计零知识

本文提出（诚实验证者）量子统计零知识交互式证明系统的定义，并研究由此产生的复杂度类，记为 QSZK。我们证明了关于该类的一些事实，建立了经典统计零知识与我们的量子统计零知识定义之间的紧密联系，并给出了关于该零知识限制对量子交互式证明系统之影响的某些见解。