维塔利克·布特林挑战AI网络安全末日论

以太坊创始人：**AI将通过形式化验证提升网络安全

维塔利克·布特林（Vitalik Buterin）认为，先进的人工智能技术将通过形式化验证手段改善网络安全状况。目前，以太坊已利用AI代理来检测软件漏洞。与此同时，Anthropic公司观察到，攻击性网络防御策略中的AI能力正在不断增强。

针对人工智能技术进步可能导致黑客无法被抵御的言论，布特林予以驳斥。他指出，AI可以通过形式化验证的方式帮助改进网络安全体系。形式化验证是指利用数学证明来评估软件的安全属性。不过，布特林也承认，如果开发者在规范说明中遗漏了某些内容，验证机制便无法保护系统免受相关缺陷的影响。与此类似，以太坊方面强调了制定**安全规范的重要性。此外，布特林透露，其净资产中约有90%以加密货币形式持有。

一种日益普遍的观点认为，AI黑客技术的出现意味着网络安全已无药可救。但我对此持不同意见。我认为，一旦人们建立起完善的防御体系，网络安全本质上将是“防御优于进攻”的。**继续持有加密货币的人（包括我本人，我的净资产约90%为加密货币），都在隐含地支持这一观点。

AI与安全研究的结合已成为以太坊的常态

以太坊科学家已经开始使用AI代理来分析协议代码并自主复现漏洞。基金会宣布，协同工作的AI代理在安全研究过程中协助发现了实际存在的漏洞。其中一例涉及Rust lib**库中Gossipsub网络协议的远程可利用崩溃问题。该漏洞在被研究人员独立复现后，被正式披露为CVE-2026-34219。与此同时，以太坊科学家仍在多个协议开发项目中推进形式化验证的研究。基金会旗下的better.codes项目也在Lean环境中将AI代理与机器可检查的证明相结合。总体而言，以太坊的发展路线图涵盖了形式化验证、隐私保护、零知识系统及后量子安全研究等多个领域。

AI同样增强了攻击性网络行动

根据Anthropic发布的九月威胁报告，攻击者已在行动的各个阶段利用AI技术，这些阶段包括漏洞研究、漏洞利用以及数据分析。此外，该公司报告称，自动化技术已被用于针对政府机构、科技公司及其他基础设施的攻击。Anthropic指出，AI能够执行原本需要专业人类团队才能完成的复杂任务。同时，Anthropic也利用AI模型在开源项目中寻找漏洞。因此，AI在攻防两端的能力展示均呈现出不断扩展的趋势。

布特林的论点基于一个核心问题：基于AI的验证能否为抵御**攻击提供更强的防御力？以太坊的研究为此类方法的测试提供了实践场所。目前仍待解答的问题是，对组件的AI验证能在多大程度上扩展到对整个数字系统的验证。

**加密货币新闻

Revolut遭黑客袭击，对方索要300万门罗币并威胁出售680份客户文件