The Entire Quantum Computer on a Classical Leash
在假设容错学习问题（Learning with Errors）具有后量子硬度的前提下，本文提出了一种协议，使纯经典客户端能够向不受信任的量子服务器安全地外包任意量子计算、状态制备及量子存储，从而有效地构建了一个虚拟的受信任量子计算机，并解决了经典验证与远程状态制备中的开放性问题。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在计算领域，拥有强大量子机器的人与没有量子机器的人之间正形成日益扩大的鸿沟。量子计算机不仅仅是现有设备的快速版本；它们运行在不同的物理规则之上，允许将信息保持在一种脆弱的叠加态中，从而能在几秒钟内解决经典机器需要数千年才能完成的特定问题。然而，这种力量伴随着一个代价：量子态极其脆弱。一旦你试图过于仔细地观察它们以验证其正确性，它们往往会坍缩并失去其特殊属性。这造成了一个根本性的信任问题。如果用户仅拥有一台标准计算机，他们如何确定远程量子服务器实际上是在执行他们要求的任务，而不是在伪装？此外，经典用户如何向服务器发送一条秘密的量子消息，而不让服务器获知该秘密或对其进行非法复制？多年来，科学家们一直致力于弥合这一差距，但经常发现，检查工作的行为本身就会破坏结果，或者安全保证过于薄弱，无法用于实际的密码学应用。
一组研究人员现在提出了一种解决方案，能够有效地让一台经典计算机获得完整受信任量子机器的能力，即使唯一的可用量子硬件属于一个潜在不诚实的服务器。他们的工作表明，一个完全没有任何量子设备的客户端可以指挥远程量子服务器执行复杂的计算、准备特定的量子态，甚至为以后使用而存储量子信息，同时让服务器对实际发生的情况一无所知。研究人员称之为“虚拟量子计算机”。它不是一个物理设备，而是一个协议——一套通信规则——允许经典客户端将不受信任的服务器视为自己思想的一个私密且安全的延伸。这项成就的关键在于，客户端可以在不破坏量子态的情况下验证服务器的工作，甚至可以将该状态的一部分保存在服务器的内存中，以便在未来的计算中使用，同时确保服务器无法偏离协议或窃取信息。
这一突破的核心在于一种新的两方计算方法，这是一种密码学技术，其中两方共同计算一个函数，而无需向对方透露各自的私有输入。在这种场景下，一方是经典的，另一方是量子的。研究人员构建了一个协议，使经典客户端可以向量子服务器发送指令，服务器执行计算，而客户端无需直接看到量子数据。相反，客户端使用一系列巧妙的检查来确保服务器遵循规则。如果服务器偏离协议，检测机制会识别出偏差并停止过程。如果服务器是诚实的，客户端则会收到正确的结果。至关重要的是，这个过程不需要客户端拥有任何量子硬件；所有的交互都通过标准的经典通信渠道进行。该系统的安全性依赖于被称为“容错学习”（learning with errors）问题的数学难度，该问题被认为即使对于未来的量子计算机来说也是难以解决的。
这项工作的最显著方面之一是它如何处理“测量问题”。在量子力学中，测量一个系统通常会改变它。以往验证量子计算的方法通常要求客户端请求许多个结果副本，测试其中的大部分，并寄希望于剩下的那一个是正确的。这种方法效率低下，并且留下了一个微小但危险的机会，使得错误的结果可能溜掉。新协议完全改变了这种动态。它允许客户端温和地测试量子态，在不破坏它的情况下确认其有效性，然后将该经测试的态用于最终输出。这意味着客户端可以以近乎完美的确定性来验证服务器的工作，而不仅仅是“非常好”。研究人员展示了这种方法适用于任何可以被高效描述的量子电路，允许客户端运行复杂的算法、准备特定的量子态，甚至处理由其他方发送的状态。
这项工作的意义远不止于简单的验证。研究人员证明，该协议可以解决量子密码学中几个长期存在的开放问题。例如，它允许对任何可以被高效创建的量子态进行“远程态准备”（remote state preparation）。这意味着经典用户可以指示量子服务器准备一个特定的、复杂的量子态，并将其发送给另一方，而服务器既无法获知该状态的内容，也无法对其进行额外的复制。这对于安全通信至关重要，因为它防止了窃听者复制密钥。论文还展示了如何利用这项技术来撤销量子密钥的访问权限。在一个用户借用量子解密密钥的系统中，用户稍后可以向经典验证者证明他们已经销毁了该密钥，并且不再能够解密消息，而无需归还物理对象。这把一个以前需要复杂量子交互的过程转变为可以通过标准互联网连接完成的过程。
另一个主要应用是能够在远程服务器上维持“持久内存”。在典型的量子交互中，一旦计算完成，量子态通常会丢失或被测量。通过这个新协议，经典客户端可以指示服务器将一部分量子态保留在内存中，使其对服务器本身是隐藏的，并在稍后的计算中使用存储的同一个状态作为起点。这允许一系列的交互使量子态随时间演化，从而有效地为经典客户端提供了一个由其控制但其自身并不实际拥有的长期量子内存。研究人员证明，服务器无法在此类步骤之间篡改该内存，从而确保了整个计算链的完整性。这种能力将单一、孤立的量子计算转变为连续的、交互式的会话，为更复杂和动态的量子应用打开了大门。
论文还解决了安全错误的问题。在许多之前的密码协议中，失败或安全漏洞的可能性与协议的步骤数相关联，这意味着随着协议变长，出错的风险也会增加。新方法实现了所谓的“可忽略”误差，意味着失败的可能性极小，以至于在任何实际用途中都可以视为零，无论交互持续多久。这是一个关键的区别，对于安全性要求极高的现实应用而言，这一点至关重要。研究人员展示了他们的协议可以用同样的确定性来验证量子采样任务（即生成特定分布的随机数的目标）。这解决了该领域的一个重大问题，即经典计算机是否能在不显著损失安全性的情况下完全验证量子计算机的输出。
该协议的构建依赖于先进密码学工具的结合，包括量子全同态加密和一种称为“见证保持论证”（witness-preserving arguments）的技术。这些工具允许客户端以一种加密方式发送指令，使得服务器可以在看不见内容的情况下对其进行计算，并能证明计算是正确执行的，而无需揭示中间步骤。研究人员还引入了一种新型的量子态承诺方案，它就像一个数字保险箱。服务器可以将一个量子态锁在盒子内，客户端可以要求关于该状态的特定信息以进行验证，但服务器无法在客户端察觉的情况下更改盒子内的状态。这确保了服务器被绑定到它所承诺的特定量子态上，即使在多轮交互之后也是如此。
本文呈现的工作并非仅仅是理论练习；它为未来经典与量子系统如何安全交互提供了具体的蓝图。通过展示经典客户端可以在各种交互式协议中扮演量子参与者的角色，研究人员消除了采用量子技术的一个主要障碍。他们证明了，用户并不需要拥有量子计算机才能受益于量子能力。相反，一个受信任的远程量子服务器可以作为一个共享资源被使用，其安全性和隐私保障由经典客户端自身的协议提供。这实现了从“量子属于少数人”到“量子属于所有人”的范式转变，即通过人们现有的设备即可获取量子计算的力量。
研究人员谨慎地指出，他们的解决方案假设服务器是不可信且具有潜在恶意性的，这意味着它可能会尝试偏离协议或窃取信息。该协议旨在检测并防止此类行为。他们也承认，目前的构建适用于一类特定的量子电路，即那些可以使用实数进行描述的电路，但他们指出，这涵盖了绝大多数实际应用，并且可以通过一些额外的编码扩展到更复杂的电路。整个系统的安全性建立在“学习错误问题”对于量子计算机仍然困难的假设之上，这是密码学领域一个广泛接受的观点。如果这一假设成立，该协议将为经典用户利用量子计算能力提供一种稳健且安全的方式。
总之，本文提出了一个“虚拟量子计算机”的全面框架，允许经典用户以完全的隐私和安全性控制远程量子服务器。它解决了在不破坏结果的情况下验证量子工作的难题，实现了量子态的安全准备与传输，并允许跨多次交互存储量子内存。通过解决这些根本挑战，这项工作为量子计算成为一项任何人都可以使用的服务铺平了道路，使用户能够确信其数据和指令受到保护，即使执行工作的硬件属于对手。研究结果是以严谨的数学证明形式呈现的，只要底层的数学假设成立，便能为该协议按所述运行提供高度的信心。这代表了在使量子技术变得实用、安全且易于获取方面迈出的重要一步。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。