XiaoMi-AI文件搜索系统
World File Search System后由验
使用现成设备进行量子委托 - DROPS
在交互式证明系统中，计算受限的验证者与强大的证明者交互，以验证商定的问题实例的真实性。从 QMA 开始，接着是 QIP 和 QMIP（等等），量子交互式证明系统（其中验证者是量子多项式时间）被定义和研究 [48, 49, 30]。然而，这些量化关键取决于验证者可以访问可信量子多项式时间验证的一个默认假设。鉴于目前量子计算发展的最新水平、表征量子系统的固有困难、以及无法可靠地验证量子计算轨迹的事实，有充分的证据表明这一假设可能是值得怀疑的。事实上，尽管技术取得了令人瞩目的进步，但我们最终可能不得不面对一个现实，即量子计算机永远不会像传统设备那样值得信赖或可靠。这一前景促使人们考虑以下模型：验证者可以访问非常有限但值得信赖的量子功能 [ 1 , 4 , 18 ]，或者验证者完全是经典的而证明者受计算限制 [ 31 ]，而另一类称为 MIP ∗ 的模型则模拟了一个高效的经典验证者与几个孤立的、不受限制的量子证明者交互 [ 14 ]。每种方法都有优势也有挑战：早期的量子服务器价格昂贵，因此在其他条件相同的情况下，最好只使用一个证明者；另一方面，现有的单证明者协议要么需要可信设备，要么做出计算假设。多证明者协议利用强大的设备独立性技术来避免这些假设，但代价是需要几个强大的证明者并需要隔离。该领域的当前时代精神让我们可以富有想象力地考虑如何描述和模拟量子世界中的任务。这些方法的共同点是，我们不考虑经典协议的直接量子模拟，而是努力做出在量子设置中自然激发的考虑 1 。在这里，我们继续保持这种势头，并引入一种新颖的证明验证方法，其中设置本身只能在量子设置中得到激励。为此，我们考虑以下问题：
实用安全的量子位置验证 - NSF-PAR
摘要 我们讨论量子位置验证 (QPV) 协议，其中验证者创建单量子比特状态并将其发送给证明者。众所周知，使用单量子比特状态的 QPV 协议对于共享少量纠缠量子比特的对手来说是不安全的。我们介绍了实际上安全的 QPV 协议：它们只需要每个验证者的单量子比特状态，但如果共享大量纠缠量子比特的对手采用基于远距传态的攻击，它们的安全性就会被破坏。这些协议是对已知 QPV 协议的修改，我们在其中包含一个经典的随机预言机，而不会改变验证者所需的量子资源量。我们提出了一种作弊策略，该策略要求对手之间共享一定数量的纠缠量子比特，该数量随着随机预言机的经典输入的大小呈指数增长。
I2O办公室宽建议者日 sgil@seas.harvard.edu
•高助理网络军事系统（HACM）•安全文件（SAFEDOC）•验证者的管道推理验证者可以实现鲁棒系统（provers）•验证的安全性和性能增强大型遗产软件（V-Spells）（V-Spells）（V-Spells）（V-Spells）（V-Spells）•受到验证的微观匹配（AMP）•快速的开发工具（固化的执行工具）•加强执行工具（固化的执行工具）•硬化工具（固化工具）•硬化工具（固化工具）•硬化工具（固化工具） （arcos）
量子性的深度有效证明 - 研究集锦
量子性证明是一种质询-响应协议，其中经典验证者可以有效地证明不受信任的证明者的量子优势。也就是说，量子证明者可以正确回答验证者的质询并被接受，而任何多项式时间经典证明者都将基于合理的计算假设被高概率拒绝。为了回答验证者的质询，现有的量子性证明通常要求量子证明者执行多项式大小的量子电路和测量的组合。在本文中，我们给出了两种量子性证明构造，其中证明者只需执行恒定深度量子电路（和测量）以及对数深度经典计算。我们的第一个构造是一个通用编译器，它允许我们将所有现有的量子性证明转换为恒定量子深度版本。我们的第二个构造基于舍入问题学习，并且产生的电路深度比通用构造更短，需要的量子位更少。此外，第二种构造对噪声也具有一定的鲁棒性。
安全性：使用Agilex™5 fpgas
平台证明提供了设备身份的加密证书以及对外部验证器服务的设备状态和配置的测量。这种功能强大的功能允许验证者帮助回答以下问题：这是：这是预期的FPGA吗？FPGA是否配置为预期的bitstream，并且预期的安全设置是否已编程？在FPGA之外使用这些功能放置验证者，可以帮助您在整个Agilex FPGAS部署中实现前所未有的保证水平。图3给出了这些条款的细分以及它们如何应用于平台证明。
![arXiv:2209.01655v1 [stat.ME] 2022 年 9 月 4 日](/simg/e\ef0b60e3e17b419ee4c33a0e8a8dd3b263499764.webp)
arXiv:2209.01655v1 [stat.ME] 2022 年 9 月 4 日
µ ( dj ) 的后验估计与 φ S 最接近的水平，即 j ∗ S = arg min j ∈{ 1 , ··· ,d } | ˆ µ ( dj ) − φ S |