Cardano创始人Charles Hoskinson就Vitalik Buterin关于人工智能可能削弱加密货币安全的警告提出挑战,认为现有安全标准已经考虑了数十年的数学攻击研究。
Hoskinson反驳了Buterin关于AI威胁抗量子密码系统的说法。Buterin曾警告称,人工智能的进步可能发现当前被信任的基于格的密码学中的数学弱点。
Cardano创始人质疑Vitalik的AI安全警告
这场争论始于Buterin警告称,AI辅助数学的快速进展可能挑战目前被认为安全的密码系统背后的假设。
他特别指出基于格的密码学是一个值得担忧的领域,认为能力越来越强的AI系统可能发现更高效的方法来解决用于保护数字信息的数学问题。
在他看来,自动化数学研究的进步可能把几十年的发现压缩到更短时间内。这种进展可能迫使开发者重新审视现有算法的安全性。
Buterin将这种可能的发展与整数分解领域的进步作比较,称研究人员发现了一些方法,使某些计算比此前估计容易得多。
这位Ethereum联合创始人认为,基于格的安全性也可能出现类似突破,从而使一些当前参数选择不再足够。
Hoskinson拒绝了这一类比,认为整数分解的历史并不能证明格系统存在同等程度的弱点。
Hoskinson写道:“分解类比是错误的。”他解释称,整数分解的改进依赖于特定数学技术,而这些技术并未在现代密码学使用的格问题上得到验证。
这位Cardano创始人提到了可追溯至1982年Lenstra–Lenstra–Lovász格约简算法引入时期的研究。他还引用了后续在格筛法和其他攻击方法上的改进,作为数十年测试的例子。
Hoskinson表示,现代基于格算法使用的安全参数已经考虑了这些技术已知的进展。
他的回应出现在Ethereum Foundation研究员Justin Drake于10月7日提出有关AI辅助攻击加密货币钱包的担忧之后。Drake警告称,强大的AI系统最终可能发现针对用于授权区块链交易的椭圆曲线密码学的攻击。Buterin支持认真对待这些可能性,但不鼓励用户急于把资金转移到新钱包中。
Hoskinson为安全标准中使用的格密码学辩护
Hoskinson论点的核心部分涉及ML-KEM和ML-DSA,这两种密码系统已被美国国家标准与技术研究院(NIST)标准化。
ML-KEM允许各方建立共享的密码学秘密,而ML-DSA则提供用于认证信息和验证授权的数字签名。
NIST在2024年8月依据FIPS 203和FIPS 204批准了这两种系统,此前经历了多年的研究和公开评估。该机构还依据FIPS 205单独标准化了SLH-DSA,这是一种基于哈希的数字签名系统。
Hoskinson认为,ML-KEM和ML-DSA是在研究人员审视了不同攻击基于格数学问题的方法后被选中的。
他坚持认为,数学结构的存在并不自动意味着某种算法不安全,尤其是在安全参数是依据既定的攻击成本计算来选择的情况下。
Buterin曾建议,未来AI的进步可能足以证明大幅增加基于格密钥的大小是合理的,增幅甚至可能达到10倍。
Hoskinson拒绝了这一提议,称其为“数字占卜”,因为这一建议并未得到具体算法或计算支持。
这位Cardano创始人表示,在没有识别出相应攻击的情况下单纯增大密钥,并不是衡量安全性的可靠方法。
他认为,研究人员应先确定一种新攻击的计算成本,再判断现有密码参数是否需要调整。
NIST目前将ML-KEM和ML-DSA描述为被认为能够抵御足够强大的量子计算机攻击的算法。相关标准并未断言这些系统能免疫所有可能的数学发现。
Ethereum基于哈希的安全计划遭质疑
Buterin的担忧与Ethereum为抵御未来量子计算攻击而推进的密码系统工作有关。
该网络的Lean Ethereum研究越来越倾向于在开发者可使用的场景中采用基于哈希的签名,包括WOTS和基于SPHINCS的构造。
Buterin认为,基于哈希的方法可能提供更强的长期安全性,因为它们不依赖与基于格系统相同的数学假设。
不过,Hoskinson质疑“哈希函数天生更安全”这一说法,因为哈希函数被设计得结构更少、可利用性更低。
他提到了MD5和SHA-1的历史弱点,这两种哈希算法都曾被研究人员利用其内部设计缺陷成功攻击。
Hoskinson表示,即便是SHA-256,也没有数学证明能确保其免受所有可能攻击。
“它的安全性在于还没人攻破它,”他写道,并认为同样的审视标准应适用于所有密码学家族。
他还质疑Ethereum此前对Poseidon和Poseidon2的研究,这两种哈希函数是为某些区块链证明系统的高效使用而设计的。
Ethereum研究人员已经在其Layer 1路线图中逐步放弃Poseidon,转而采用SHA-2和BLAKE2s等成熟替代方案。
今年8月,Ethereum Foundation研究员Justin Drake解释称,二进制域证明系统的改进使传统哈希在未来网络设计中变得更实用。
Hoskinson认为,基于哈希的签名在其局限可接受的地方仍然有用,但它们不能替代公钥密码学执行的所有功能。
这场争论还延伸到用于安全通信、网站及其他需要建立受保护通信的应用中所使用的加密系统。
AI密码学争论延伸至区块链钱包安全
两位创始人的交锋发生之际,区块链开发者正在思考如何保护数字资产免受未来AI和量子计算进展的影响。
Buterin建议用户考虑把加密货币保存在那些公钥尚未因外发交易而暴露的地址中,前提是他们能够安全地这样做。
他强调,这一建议并不意味着用户应匆忙迁移钱包,因为这样做本身也可能带来安全风险。
这位Ethereum创始人支持让Ethereum抵御量子攻击的计划,包括对交易签名、共识机制和零知识证明系统的修改。
Hoskinson则坚持认为,应当继续研究基于格的方法,同时推进基于哈希的替代方案。
这场争论已经波及开发机构托管系统的公司。今年5月,BitGo使用与Silence Laboratories合作开发的ML-DSA技术测试了抗量子钱包签名。
这项演示检验了后量子签名是否能够在现有机构钱包流程中运行。这是一次受控测试,并不意味着当前钱包密码学已经被攻破。
其他区块链网络也在推进类似防护。Sui的后量子安全路线图包括面向未来账户认证的基于格和基于哈希的签名选项。
Hoskinson在10月9日的回应中并未宣布新的Cardano密码学升级或部署时间表。他呼吁,在开发者修改安全参数或放弃既有算法之前,任何新发现的攻击都应经过测试、成本分析和审查。











