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

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

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

2026-09-17 21:53:58

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

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

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

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

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

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

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

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

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

重点加密货币新闻

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

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文