Ethereum 创始人 Vitalik Buterin 表示 AI 不会毁掉加密安全

简报

• Vitalik Buterin 驳斥了人工智能驱动的黑客攻击意味着网络安全注定失败的观点。
• 他认为人工智能可以使形式验证在整个软件系统中变得切实可行。
• 这些评论建立在 Ethereum 推动人工智能辅助安全、隐私、STARKs 和抗量子攻击的基础之上。

Ethereum 联合创始人 Vitalik Buterin 表示，人工智能并不意味着网络安全的终结，相反，他认为先进的模型可以帮助加密软件变得更难被攻破。

在周三发布于 X 的一篇帖子中，Buterin 认为人工智能不会给黑客带来不可逾越的优势，并补充说加密货币持有者——包括他自己，其净资产的约 90% 是加密货币——正押注于安全防御能够跟上步伐。

“人工智能黑客攻击意味着网络安全注定失败，这是一种越来越普遍的观点，”Buterin 写道。“我不同意。我认为一旦人们行动起来，网络安全在本质上是倾向于防御的。”

Buterin 认为，人工智能可以使形式验证（使用数学证明来确定软件是否安全）即使对于复杂系统也具有实际意义。

“如果人工智能能够证明 Navier-Stokes 和 FLT，那么人工智能就能将‘这个程序是安全的’这一陈述证明为一个数学定理，”他写道。“即使该程序非常复杂。”

换句话说，Buterin 认为，足够先进到能够解决著名数学难题的人工智能，也可以证明即使是复杂的软件也能满足明确定义的安全性要求。

但他表示，这并不意味着安全是容易的。困难之处首先在于定义什么是“安全”。

区块链开发者越来越多地使用人工智能代理来扫描代码、测试漏洞利用，并在攻击者行动之前验证错误，研究人员已经在 Ethereum 基础设施和 Bitcoin 软件中都发现了漏洞。

在发生几起引发人工智能正赋予攻击者优势担忧的事件后，整个加密领域的开发者都在部署人工智能进行防御。

5 月，安全研究员 Taylor Hornby 使用 Anthropic 的 Claude Opus 4.8 发现了 Zcash 的 Orchard 隐私池中一个存在了四年的缺陷，该缺陷可能导致 ZEC 被无限量且无法察觉地伪造，尽管开发者在 6 月修复该缺陷之前没有发现其被利用的证据。

攻击者和防御者之间的竞争在 7 月加速，当时 Ethereum 基金会的研究人员表示，人工智能代理发现了关键网络基础设施中的漏洞。同月，攻击者开始利用一个存在多年的固件缺陷排空 Coldcard 钱包，该缺陷削弱了助记词生成，最终窃取了约 1.3 亿美元的 Bitcoin。Coldcard 制造商 Coinkite 表示，人工智能可能帮助识别了该漏洞。

到 8 月，威胁已蔓延至 Bitcoin 软件生态系统。Boltz 暂停了其交换服务，称疑似攻击者发现漏洞的速度超过了其开发者的修复速度，而 Core Lightning 证实人工智能生成的报告中确定的几个漏洞是真实的。作为回应，自愿的 Bitcoin 红队使用人工智能辅助审计，在 390 个项目中标记了 4,962 个潜在漏洞。

Buterin 表示，人工智能现在可以验证整个程序而不仅仅是选定的组件，以太坊计划在未来几年内采取这种方法。

“如果不这样做，区块链就没有未来——尤其是具有可扩展性和隐私性的区块链，”他说。“我们需要让软件真正安全。我们已经取得了很大进展。”

每日简报通讯

每天从当下的热门新闻故事开始，外加原创专题、播客、视频等。