AI生成的密码分析HAWK经受了多年测试，直到通过神话发现了致命的弱点。图片来源：Getty Images 一种正在考虑成为美国官方标准的抗量子密码算法因Anthropic的安全模型发现了一处缺陷而被淘汰。被淘汰的算法称为HAWK。它是一种数字签名方案，旨在抵御量子计算机未来的攻击。HAWK已在NIST（国家标准与技术研究院）进行了两轮测试，以评估PQC（后量子密码学）算法的安全性，经过广泛测试后存活下来。HAWK正处于第三轮测试中，旨在捕捉神话所帮助揭示的那种缺陷。在Anthropic周一公布结果后，HAWK的开发者周二表示他将撤回该算法。即使在开发之前，Anthropic就对其神话AI安全模型在面对的两个密码学问题的结果表示赞赏。该模型发现了HAWK的数学问题中存在的弱点，以及广泛使用的AES加密算法的弱点。尽管HAWK被撤回，但很难判断该公司的报告有多少是市场宣传，但这些发现仍然值得关注，因为它们可能标志着在破解对隐私和安全至关重要的密码学方面的重要进展。在深入研究结果之前，有几个注意事项。首先，结果是渐进的。它们没有破解任何今天人们依赖的密码系统。相反，它们揭示了适度减少击败系统所需的工作的方式。其次，测试的密码系统是形式规范中定义的那些的弱化版本。这种“挑战实例”是由规范的作者提供，用于对抗性同行评审。标准是在测试中使用弱化版本，但真实版本在生产环境中通常要更为强大。第三，尽管有改进，但基础的“原语”——意味着形成密码系统基本构建块的基础数学问题——至少目前仍然是安全的。最后，这两种攻击都使用的方法在测试环境外很可能是不可行的。HAWK已经“死了”Anthropic表示，其神话模型——目前仅对一小群值得信赖的用户可用——能够推动针对两种密码系统的攻击。第一个系统是HAWK，一种旨在抵御量子计算机未来攻击的数字签名方案。HAWK迄今为止已在NIST进行了两轮测试，以评估PQC（后量子密码学）算法的安全性，经过广泛测试而存活下来。HAWK目前处于第三轮测试中，离作为正式标准的最终确定还很远。然而，针对HAWK的结果仍然很重要。经过大约60小时的工作和大约100,000美元的计算成本，一名对密码学没有专业知识的Anthropic研究人员促使神话改善了对该算法的最佳已知攻击，有效地将其密钥强度削减了一半。HAWK的安全性依赖于格同构问题的困难性，与今天使用的许多数字签名方案不同，据信其不会受到量子计算机攻击的威胁。解决该问题的最佳已知经典计算攻击通过找到所谓的自同构对称来实现。神话输出了一种之前未知的寻找这种对称的方法，削减了HAWK的密钥强度。可以通过将密钥大小加倍来缓解这种弱点，但增加的计算使HAWK变得不那么可取，并可能使其完全出局。约翰霍普金斯大学教授和密码学专家马修·格林表示，这一发现令人印象深刻的地方在于它依赖于几种现有的方法，之前没有人想到将其组合在一起。“特别值得关注的是，这种攻击并没有发明基本的新数学，”格林写道。“它只是扩展了一堆已经存在且众所周知的工具，得到了一个好的结果。”Anthropic进一步阐述：为了找到这种攻击，Claude Mythos Preview在代理环境中半自主工作，偶尔有人类指导和非技术方向。神话在进行广泛文献回顾以了解最新技术之后找到攻击，并经过大量数学推理和计算实验。在发现攻击之后，神话实施了一条端到端的验证流程，以说服自己——以及人类操作员——该攻击的正确性。为了找到改进的方法，神话部署了两个独立工作的代理。一个最初拒绝了该方法，认为不可行。第二个找到了一种使其可行的方法。