一位开发者和 Vitalik Buterin 打赌：单个人可以通过智能体式编程实现一个面向 2030 路线图的 Ethereum（ETH）客户端。他在两周内完成了 ETH2030 —— 70.2 万行 Go 代码，覆盖 65 个路线图项目，并能与以太坊主网同步。
Buterin 在周五评论了这一成果，称其为「相当令人印象深刻的实验」，同时列出了重要的保留意见，并提出一个可能性：AI 对以太坊路线图推进速度的加速，可能会超过当前社区的普遍预期。
对于这个项目「不是什么」，Buterin 说得很直接：它是在缺乏正式的以太坊改进提案（EIP）前提下构建的，几乎可以肯定存在严重漏洞，也很可能在 AI 无法给出完整实现时，只做了功能的「桩（stub）」版本。
他认为关键不在于当前产出，而在于发展轨迹。他写道，六个月前，连这样规模的原型都「远远超出可能的范畴」。
速度 vs. 安全性
Buterin 在他的表述中认为，AI 加速开发的正确方式，是在「速度」和「安全性」之间分配收益，而不是把全部红利用来堆叠开发速度。
他偏好的模式是：用 AI 生成更大规模的测试用例集，对实现进行形式化验证，并为同一组件生成多个相互独立的版本进行交叉检查。
在 LeanEthereum 项目（目标是对全部以太坊代码做形式化验证）中，他的一位合作者最近使用 AI，生成了一份关于支撑 STARK 安全性的最复杂定理之一的、可被机器验证的证明。
在 Buterin 的框架里，这才是更高价值的用例：不是更快上线代码，而是上线在形式上更接近「正确」的代码。
延伸阅读： Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
他认为可能实现的事
Buterin 小心地将自己的乐观描述为「一种可能性」，而非时间表预测。他表示，大家应该对以太坊路线图在高安全标准下、早于当前时间预期完成的可能性保持开放态度。
在安全性方面，他个人对「无漏洞代码」从「理想化妄想」转变为关键基础设施的基本预期这一前景，感到非常兴奋。
他也承认，绝对意义上的「完全安全」仍是不可能的——那需要代码与开发者头脑中的全部内容精确一致——但他认为，AI 驱动的形式化验证已经可以消除超过 99% 的、由特定且定义良好的代码缺陷所引发的负面后果。
ETH2030 代码库目前仍然公开托管在 github.com/jiayaoqijia/eth2030。