- 简介量子计算设备现在可以执行一些抽样任务,根据复杂性理论和数值证据,这些任务是经典计算机无法达到的。这就引出了一个问题,如何有效地验证在这种模式下运行的量子计算机是否按照预期工作。2008年,Shepherd和Bremner提出了一种协议,其中验证者从相对容易实现的所谓的IQP电路家族中构建一个酉矩阵,并挑战证明者在量子计算机上执行它。挑战问题被设计为包含一个混淆的秘密,可以转化为统计测试,接受来自正确的量子实现的样本。据推测,从挑战问题中提取秘密是NP难的,因此通过测试的能力构成了证明证明者拥有量子设备并且按照所声称的方式工作的强有力证据。不幸的是,大约十年后,Kahanamoku-Meyer发现了一种有效的经典秘密提取攻击。Bremner、Cheng和Ji最近进行了跟进,构建了最初协议的广泛概括。他们的IQP稳定器方案已经明确设计用于规避已知的弱点。他们还建议通过调整问题参数来使最初的构造安全。在这项工作中,我们开发了一些秘密提取攻击,这些攻击对于广泛的问题参数和两种新方法都是有效的。因此,找到一种有效和可靠的基于抽样的量子霸权证明验证协议仍然是一个重要的问题。
- 图表
- 解决问题量子计算设备的验证问题
- 关键思路构建基于IQP电路的量子计算机验证协议
- 其它亮点提出IQP Stabilizer Scheme协议以解决已知攻击问题,但仍存在验证量子计算机的可靠性问题
- Shepherd and Bremner提出的IQP电路验证协议,Kahanamoku-Meyer发现了攻击漏洞,Bremner、Cheng和Ji提出了IQP Stabilizer Scheme协议
沙发等你来抢
去评论
评论
沙发等你来抢