卡洛斯·霍金森反驳维塔利克·布特林关于AI威胁格密码学的警告

Cardano创始人Charles Hoskinson驳斥了Ethereum联合创始人Vitalik Buterin的警告，后者声称人工智能可能揭示基于格（lattice-based）密码学的主要弱点。Hoskinson指出，数十年的研究已经针对已知攻击测试了格系统，并塑造了当前的安全参数。他质疑Buterin提出的将格密钥大小增加10倍的建议，称该提议缺乏攻击成本计算的支持。此外，Hos金森还挑战了Ethereum仅依赖哈希值的策略，并警告在发现实际攻击之前不要放弃ML-KEM。

对数学突破假设与现有系统弱点的辨析

Hoskinson认为，Buterin的担忧依赖于对数学突破的假设，而非现有密码系统中已证实的弱点。Buterin曾暗示，人工智能可能在两年内发现基于格密码学中以前未知的弱点。Hoskinson将此可能性与整数分解技术的进步进行了比较，后者最终使较旧的RSA安全假设变得不那么可靠。然而，Hoskinson拒绝了这种类比，他认为分解技术的突破依赖于研究人员识别并利用的具体数学属性。

他解释说，格密码学已经经历了数十年的研究，包括用于攻击这些系统的算法的改进。根据Hoskinson的说法，ML-KEM和ML-DSA的安全参数已经考虑了既定攻击及其计算成本。他还挑战了Buterin关于基于格的加密密钥可能需要扩大十倍的说法。“将密钥大小乘以十是数字迷信”，Hoskinson写道，他强调参数的变化必须遵循攻击方法的可测量改进。他解释道，在某些假设下，攻击效率提高20%可能需要大约25%更大的维度。

后量子候选方案的失败案例与测试流程

这一争议发生在Cardano继续研究抗量子安全之际。今年5月，Hoskinson确认Cardano正在准备一项治理策略，以应对未来的量子计算威胁。Hoskinson还为现有的密码系统测试流程辩护，指出了在安全审查期间发现的早期攻击。他引用了Rainbow和SIKE两个后量子候选方案的失败案例，它们的弱点是在公开评估中出现的。这些案例表明，研究人员可以在受影响的密码方法广泛部署之前发现漏洞。Hoskinson坚持认为，新的AI辅助攻击应在开发者放弃既定安全方法之前进行类似的测试。

Ethereum哈希安全战略的质疑

分歧还涉及Ethereum日益增长的基于哈希的密码学偏好，Buterin认为这种方法较少暴露于某些数学攻击之下。Buterin曾辩称，人工智能可以加速数学研究，从而削弱以前被认为对量子计算机具有抵抗力的基于格系统。他的Ethereum安全路线图更加强调基于哈希的签名，包括WOTS和SPHINCS。然而，Hos金森质疑基于哈希的系统本质上更安全的假设，因为它们似乎包含较少的可利用数学结构。

Buterin提到了针对MD5和SHA-1的历史攻击，认为哈希函数也遭受了严重的安全失败。Hoskinson进一步质疑Ethereum对Poseidon和Poseidon2的依赖，这些设计使用了旨在实现高效密码证明的数学结构。他认为，这些设计也需要仔细的安全分析，因为它们的代数属性可能成为未来攻击的目标。随着Ethereum继续开发抗量子升级以及隐私和交易验证的改进，批评也随之而来。

避免过早放弃格密码学

Buterin还建议在较旧的钱包地址使用时保持谨慎，尽管他警告不要匆忙进入潜在的不安全迁移。Hoskinson提出了一个单独的担忧，即在研究人员确定实际弱点之前，不应阻碍对基于格的加密的采用。他指出，浏览器和消息应用程序中的混合ML-KEM部署结合了传统加密和后量子保护。根据Hoskinson的说法，对这些系统的不必要怀疑可能会推迟升级，而组织将继续依赖较旧的密码方法。

随着Ethereum开发人员努力通过2029年计划的后量子安全升级，这场辩论仍在继续。Hoskinson坚持认为，安全决策应遵循经过测试的攻击、可测量的成本和实际部署需求，而不是关于AI突破的预测。