抗量子攻击的零知识性

本文证明了若干交互式证明系统对量子攻击具有零知识性。这包括一些著名的经典零知识证明系统，以及复杂度类HVQSZK（包含所有具有“诚实验证者”量子统计零知识证明的问题）的量子交互式证明系统。本文还证明，假设存在量子计算隐藏承诺方案，则对NP中每一种语言都存在抗量子攻击的零知识证明。此前除诚实验证者和公共参考串模型等受限设定外，已知没有非平凡证明系统对量子攻击具有零知识性。因此，本文首次确立了在量子信息与计算存在下真正的零知识确实是可能的。