Semi-Quantum Cryptography with Certified Deletion
本文提出了一种通用编译器，使经典客户端能够向服务器上传量子密文，以实现公开可验证的认证删除和非破坏性审计，该技术依赖于基于学习错误（LWE）的后量子硬度，并引入了一种新颖的模拟技术，将基于纯化的安全性论证应用于经典交互。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在数字时代，我们信任服务器来保存我们最敏感的信息，从私人消息到财务记录。我们依赖加密技术来保护这些数据，将其打乱，使得只有持有正确密钥的人才能读取。然而，当我们想要删除这些数据时，一个根本性的问题出现了。一旦文件被复制到服务器上，所有者就无法强制服务器销毁原始副本。一个不诚实的服务器可以简单地保留一个隐藏的备份，等待未来某个加密密钥可能被泄露或窃取的时刻，届时他们就可以解锁数据并读取一切。对于经典计算机而言，这是一个无法解决的困境；没有物理方法可以证明一段信息已经被擦除。
量子物理通过一种被称为“不可克隆定理”（no-cloning theorem）的特性，为这一困境提供了潜在的解决方案。与可以被完美复制的经典比特不同，量子信息存在于脆弱的状态中，如果有人试图复制它们，状态就会受到干扰。这使得“认证删除”（certified deletion）的概念成为可能。在这种场景下，用户将数据作为量子态上传。如果服务器随后声称已删除该数据，它必须出具一份证书。基于量子力学的定律，如果服务器确实删除了数据，它就无法保留一个能让其在日后即使获得解密密钥也能读取信息的副本。如果服务器试图保留副本，复制的行为就会改变状态，从而导致证书验证失败。
多年来，这个强大的想法在很大程度上仍停留在理论阶段，或者要求用户拥有自己的量子计算机来上传数据。这造成了一个巨大的障碍：普通用户甚至许多机构都负担不起生成和发送量子态所需的昂贵、专门的硬件。数据必须通过量子信道传输，这一要求使得该技术难以广泛应用。Yael Tauman Kalai 和 Justin Raizes 的一项新研究改变了这一局面，他们展示了如何让一台完全普通的经典计算机将数据上传到量子服务器，并依然获得这些删除保证。他们创造了一种方法，允许标准用户仅使用常规的数字通信与量子服务器进行交互，却仍能实现量子力学的安全益处。
研究人员通过设计一种巧妙的协议，在经典世界与量子世界之间搭建了一座桥梁来实现这一点。该协议并非要求用户直接准备复杂的量子态，而是由用户发送一系列经典指令。拥有必要量子能力的服务器会利用这些指令在自身内部准备所需的量子态。这种新方法的精妙之处在于，它能在用户从未见过量子态的情况下，验证服务器是否确实执行了所要求的操作。该协议使用了一种名为“陷门无爪函数”（trapdoor claw-free function）的数学工具。简单来说，这是一种数学谜题，如果你拥有秘密密钥（即“陷门”），解开它很容易；但如果没有它，解开谜题则极其困难。服务器必须证明它知道这个谜题的解法才能接收数据，但由于谜题结构的特性，确保了服务器无法在不破坏谜题规则的前提下保留数据的副本。
他们发现的核心技术在于，即使用户从未见过量子态，也能让安全证明生效。在以往的尝试中，证明此类系统的安全性需要用户持有该状态的一个“纯化”（purified）版本，本质上是与服务器副本纠缠在一起的量子孪生体。如果用户使用的是经典计算机，这是无法实现的。作者开发了一种新方法，仅通过经典通信来模拟这种纠缠。他们证明了，尽管用户的消息是经典的，看似完全决定了状态，但协议的数学结构允许安全证明在处理时，将其视为仍然处于量子叠加态。这意味着，如果服务器试图保留数据副本以便日后读取，系统的数学保证将会崩溃，服务器也会因此被识破。
这项突破并不局限于发送单条消息。作者提供了一个通用的“编译器”，这是一套可以应用于多种不同类型加密工具的指令集。他们证明了该方法适用于公钥加密（任何人都可以向接收者发送消息）、属性基加密（访问权限取决于特定凭证），甚至是全同态加密（允许在不解密的情况下对加密数据进行计算）。在每种情况下，用户都可以仅通过经典通信上传数据，而服务器可以被强制执行删除操作并提供可验证的证书。如果服务器遵守规则并删除了数据，用户可以确信，即使服务器日后获得了解密密钥，也无法恢复原始信息。
除了简单的删除，研究人员还展示了该系统可以实现“无入侵证明”（proofs of no intrusion）。这是一种让用户在不破坏数据本身的前提下，检查数据是否被窃取或泄露给第三方的手段。在许多安全场景中，检查是否存在泄露通常需要销毁证据，但在这种情况下，用户可以要求服务器证明没有其他人可以访问该数据，且服务器可以在不丧失日后解密消息能力的前提下完成证明。这对于审计至关重要，因为它允许用户在不丢弃数据的情况下验证其数据存储的完整性。服务器可以证明它是唯一持有密钥的人，用户也可以确信数据依然安全。
该研究还解决了数据检索的实际问题。在某些量子删除方案中，一旦数据被删除，即使是所有者也无法再找回。作者设计了一种协议，使用户可以在检索数据的同时，确保数据已从服务器中删除。服务器执行特定的量子操作，将数据转换为用户可读的形式，但在执行此操作的同时，也破坏了其未来读取该数据的能力。这意味着用户不必在“取回数据”与“保护数据免受未来密钥泄露影响”之间做出选择；两者可以兼得。
整个系统的安全性建立在一个假设之上，即某些数学问题（特别是与“容错学习问题/Learning With Errors (LWE)”相关的数学问题）对于量子计算机来说仍然难以解决。这是现代密码学中的标准假设，被广泛认为是成立的。作者证明，只要这些数学问题保持难度，他们的系统就是安全的。他们没有依赖任何未经证实的或奇异的假设，也不要求用户拥有任何量子硬件。唯一的条件是服务器具备执行必要操作的量子能力，这对于未来的云服务提供商来说是一个合理的预期。
这项工作代表了迈向让量子安全惠及每个人的重要一步。通过消除用户对量子计算机的需求，作者消除了进入“认证删除”领域最大的障碍。他们描述的技术让用户能够将数据上传到云端，并获得一种数学上的保证，即数据是可以被擦除的——即便在加密密钥遭到破坏之后，这种保证依然有效。它将数据删除的概念从一种“希望”转变为一种“可验证的事实”，这种事实植根于物理定律和数学的难度之中。其结果是，信任不再仅仅是一个政策问题，而是一个物理定律问题。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。