量子科技中心_量科网

统计见证不可区分性是统计零知识的一种放宽形式，它保证交互式证明的对话记录不会透露任何关于证明者使用哪个有效见证来生成该证明的信息。本文定义并开创了对QSWI（具有量子统计见证不可区分性证明的问题类）的研究。通过运用Kobayashi（TCC 2008）提出的本质量子技术，该团队证明：任何具有诚实验证者量子统计见证不可区分性证明的问题，都存在一个三消息公开硬币恶意验证者的量子统计见证不可区分性证明。这一结论在经典统计见证不可区分性领域尚无已知对应成果。作为推论，该研究表明经典统计见证不可区分性（SWI）包含于量子统计见证不可区分性（QSWI）之中。此外，该工作扩展了Bitansky等人（STOC 2023）的研究，证明量子批量证明可导出具有逆多项式见证不可区分性误差的量子统计见证不可区分性证明。