一位与 Vitalik Buterin 打赌的开发者认为，一个人就能通过 agentic 编码完成面向 2030 路线图的 Ethereum（ETH）客户端，他在两周内构建了 ETH2030——使用 Go 写出 70.2 万行代码，覆盖 65 个路线图项，并能与以太坊主网同步。
Buterin 在周五对此发表评论，称其是「相当令人印象深刻的实验」，同时列出了一系列重要的保留意见，并提出一个可能性：AI 对以太坊路线图完成速度的加速作用，或许会远超当前社区的预期。
Buterin 直接指出了这个项目「不是什么」：由于并未基于正式的以太坊改进提案（EIP）来构建，它几乎可以肯定存在关键性漏洞，而且很可能包含大量功能的「桩实现」，即在 AI 未尝试完整实现时给出的简化版本。
他认为，这个实验的意义更多在于「发展轨迹」而不是当前产出本身。六个月前，他写道，即便只是一个这种规模的原型，都「远在可能性的范围之外」。
速度 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。