容错量子计算与验证中的漏洞修复
随着量子云计算的出现,委托量子计算的安全性变得至关重要。虽然已有多种统计上安全的盲验证方案在准备-发送模型中被提出,但这些方案均未实现完全的量子容错能力——这是可扩展量子计算机上进行有效验证的先决条件。本文提出了首个适用于通用量子计算的容错盲验证方案,能够处理验证者量子设备上的秘密依赖噪声。该研究团队在抽象密码学框架中证明了所提出协议的可组合安全性。 该工作的主要工具是两种新颖的蒸馏协议,这些协议能够将秘密依赖噪声转化为秘密独立噪声。第一个协议由验证者运行,作用于其噪声门;第二个更为复杂的协议则完全在证明者设备上运行,作用于验证者提供的状态。这两种协议对于克服秘密依赖噪声引起的泄露都是必需的。该团队利用这些协议在X-Y平面中准备状态,这些状态的噪声极大部分是秘密独立的,从而使得该工作能够以指数级置信度验证任意容错的BQP计算。