以太坊路线图或能借力AI加速推进，Buterin表示

以太坊的长期协议路线图可能比许多人预期的推进得更快，这得益于AI工具的进步。Vitalik Buterin指出，最近一项实验利用自主编码技术成功构建了一个雄心勃勃的参考客户端，覆盖了以太坊2030年规划架构的大部分内容。

这番评论源于开发者Qi Jiayao（X平台账号YQ）发布的ETH2030项目——这是一个瞄准以太坊"2030+"草案路线图的实验性客户端。该项目包含70.2万行Go代码，涵盖8个阶段的65个路线图目标，通过了36,126项官方以太坊状态测试，并能通过go-ethereum v1.17.0集成与主网同步。Qi表示该客户端仅用约6天时间通过Claude Code构建完成，成本约5,750美元，消耗了27.7亿个代币。

AI或加速以太坊路线图

Buterin称这项实验"令人印象深刻"，同时强调如此快速构建的原型存在明显局限。"这种仅用两周且未参考EIP的方案存在重大缺陷，"他写道，"几乎必然存在大量关键漏洞，某些情况下AI可能只生成了功能模块的'存根'版本。但六个月前，这种成果还完全不可想象，重要的是技术趋势的发展方向。"

对Buterin而言，趋势意义远大于演示本身。他认为AI不仅能压缩开发时间，更将改变以太坊工程师的质量保证方式。"合理的使用方式或许是各取所长：一半用于提速，一半用于安全强化，"他解释道，"生成更多测试用例，对所有代码进行形式化验证，建立更多多重实现方案。"

他特别提及以太坊正在推进的形式化验证工作。谈到Lean Ethereum项目时，Buterin透露已有合作者利用AI生成了支撑STARK安全性的复杂定理的机器可验证证明。"@leanethereum的核心信条是对所有内容进行形式化验证，AI极大提升了我们这方面的能力，"他写道，"除了形式化验证，生成更庞大的测试用例库同样重要。"

ETH2030项目本身更多是作为路线图的压力测试，而非候选客户端。Qi多次强调这仅是草稿版本，其价值在于提前暴露工程难题而非立即投入生产。该项目实现的路线图目标包括：L1实现1万+TPS、秒级最终确认（现需15分钟）、1ETH即可独立质押、7美元树莓派运行无状态节点、L1+L2超百万TPS。但实验也暴露出升级间的深度耦合问题，从区块访问列表和gas费重定价到PeerDAS、原生rollup与快速终局性等。

Qi直指现存缺陷：纯Go加密实现性能落后生产代码10-100倍，共识逻辑未在实时信标链验证，在当前MEV和合约依赖模式下，从500万gas/秒到10亿gas/秒的跨越仍存在高度不确定性。

Buterin并未宣称AI能消除这些问题。他警告不要期待单次提示就能生成安全协议："实现方案间必然存在大量漏洞和不一致性需要处理，"他写道，"但处理过程可以提速5倍，彻底性提高10倍。"

这对以太坊研究者和客户端团队而言意义重大。如果AI能同时加速实现与验证，路线图将不仅是远期架构草图。正如Buterin所言，人们至少应该保持开放态度：以太坊路线图有可能"以远超预期的速度完成，并达到远超预期的安全标准"。

截至发稿，ETH报价1,956美元。