量子科技中心_量科网

该研究团队深入探究了两种对量子交互式证明体系影响尚不明晰的资源要素：无纠缠态的承诺保证，以及验证者基于中间测量结果进行条件分支的能力（称为“测量后分支”）。首先研究发现，无纠缠承诺能显著提升计算能力——即便仅首轮消息采用量子态，基于无纠缠态的三轮量子交互式证明体系与NEXP计算复杂性类等价。相比之下，研究证明若验证方完全不采用测量后分支策略，同类无纠缠证明体系的计算能力上限将不超过QAM复杂性类。最后，团队探究了量子-经典混合双轮证明体系中的测量后分支现象。与经典交互式证明中公开掷币与私密掷币的等价性不同，研究发现量子情境下由于测量后分支的存在，这两类系统可能产生计算能力差异。