CoinFubi

Vitalik Buterin 表示，AI 有望在提升网络开发路线图的同时，提升安全标准。AI 的收益应有一半用于更强的测试与形式化验证。AI 还可能帮助将近乎无错的加密代码变成现实预期。对此，一项有人用 AI 在数周内完成以太坊整個 2030 路线图的 vibe 编码的实验作出回应时，Buterin 写道：“六个月前，即便是这也远超出可能的范围，关键在于趋势将走向何方。”

Buterin 本人用笔记本在一个小时内通过 AI 构建了相当于他博客软件的等效实现。以太坊创始人建议将 AI 的提速的一半用于安全领域，通过增加测试用例、形式化验证和多种实现来提升安全性。 “人们应对这一可能性保持开放态度（并非确定性，而是可能性）：以太坊的路线图可能比人们预期更快完成，且安全标准也将达到远高于预期的水平。”

这是一次相当令人印象深刻的实验。所谓的 vibe 编码在数周内覆盖了整个 2030 路线图。显然，在没有 EIPs 的情况下，用两周就完成这样的工作，存在巨大的隐患：几乎肯定存在大量关键漏洞，在某些情况下甚至可能只是某个功能的“存根”版本。完全的安全性仍然不现实，因为这需要代码行与大脑内容完全对应，而 Buterin 估计这需要数 TB 的信息。Lean Ethereum 项目的一名合作者设法用 AI 编写了一个机器可验证的证明，证明了 STARKs 为安全所依赖的最复杂定理之一。Lean Ethereum 项目旨在对所有组件进行形式化验证，AI 将提升实现这一目标的能力。