以太坊联合创始人 Vitalik Buterin 表示,人工智能正在明显加快以太坊开发进度。他提到,2026 年初有开发者借助 agentic coding,在数周内完成了一个与以太坊 2030 路线图对齐的客户端原型。这个原型包含约 70 万行代码,覆盖65 个路线图事项,并且在两周内完成了与以太坊主网的同步。
数周完成原型,但代码仍有明显局限
Buterin 说,这样的进展在 6 个月前看起来几乎无法实现。速度很快。但他同时明确提醒,这套代码很可能存在严重漏洞,也有未完成的实现部分,不能把快速生成代码直接等同于安全可用的系统。
在他看来,AI 带来的价值不只体现在写代码更快,也体现在调试周期可以更密集、测试可以做得更深。他举例称,自己曾用本地模型在 1 小时内重建博客软件。按他的说法,AI 带来的效率提升,应该平均分配给开发提速和安全强化,而不是只追求产出速度。
重点不在单次生成,而在测试与形式化验证
Buterin 强调,更有效的用法是把更快的编码能力与更大的测试集、更多形式化验证结合起来。他特别提到,Lean Ethereum 的一名协作者曾使用 AI,为一个与 STARK 相关的复杂定理生成可由机器验证的证明。Lean Ethereum 的目标,是对每一个组件进行形式化验证。
他还表示,无缺陷代码依然很难实现。短期内不会因为一次提示词输入就得到安全系统。现实路径还是反复测试、持续调试,以及通过多实现版本交叉检查来发现问题,只是现在这些流程推进得更快。
量子抗性路线图指向签名和证明系统调整
除开发工具外,Buterin 还谈到以太坊的量子抗性路线图。他点名了几个潜在脆弱点,包括BLS 共识签名、基于 KZG 的数据可用性、ECDSA 账户签名以及零知识证明系统。针对这些部分,他提出以基于哈希的签名替换 BLS,并引入 STARK 聚合。
对于外部拥有账户,他提到 EIP-8141,该提案将支持多种签名方案,其中包括具备量子抗性的选项。他承认这会带来更高的 Gas 成本,但也表示效率会随时间改善。至于证明系统,他指出 STARK 证明目前成本高于现有 ZK-SNARK,但聚合方式可以降低链上计算压力。以太坊基金会上个月也表示,生态下一阶段将扩展容量,同时维��长期安全性与韧性。

