量子科技中心_量科网

该研究团队针对满足以下条件的NP问题非交互式零知识证明（NIZK）展开研究：1）统计可靠性 2）计算零知识性 3）认证永久零知识性（CE-ZK）。CE-ZK特性允许量子证明的验证方以可被证明方检验（认证）的方式撤销证明。在成功认证的前提下，验证方的状态可以仅凭命题语句就能以统计不可区分的方式高效模拟。关于这些认证永久性NIZK（CE-NIZK）的主要贡献包括： - 通过推广满足CE-ZK的已知交互式证明，发现通用参考字符串（CRS）模型下获取CE-NIZK存在理论障碍 - 通过黑盒使用满足特定性质的NP问题NIZK及单向函数（OWF）突破该障碍，最终基于错误学习（LWE）假设的多项式难度，在CRS模型中实现了NP问题的CE-NIZK构造 - 此外，研究人员发现上述障碍不适用于共享EPR对模型，基于任意统计绑定的隐比特生成器（可依托LWE实现），在该模型中构建了NP问题的CE-NIZK方案。该协议中唯一的量子计算操作仅涉及对共享EPR对的单量子比特测量。