量子科技中心_量科网

理论计算机科学的基础性成果已证明：所有可证明的命题，皆能以零知识方式被证明。但该论断本质上基于经典计算范式，且许多有趣物理命题的可证明性尚未得到明确表征。 该工作研究以（纯）量子态作为问题实例的判定问题。研究团队阐释了该概念的若干激励性示例，并作为核心技术成果，证明了凡是可通过交互协议验证的量子问题，均能以零知识方式完成验证。在密码学标准假设下，该协议实现了无条件可靠性与计算性零知识。 此外，该团队展示了如何将所提技术应用于Uhlmann变换问题，即使在恶意验证者存在的情况下，仍能实现具有实际意义的零知识验证协议。