自选
我的自选
查看全部
市值 价格 24h%
  • 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

维塔利克·布特林称:人工智能正加速以太坊2030年路线图发展

2026-03-01 15:59:01
收藏

人工智能加速以太坊客户端开发

一位开发者利用人工智能工具,仅用两周时间便构建出一个符合2030+路线图的以太坊客户端原型。该原型包含约70万行代码,涵盖了路线图中的65个项目,并成功实现了与以太坊主网的同步,这一技术成果值得关注。需指出的是,此项工作是在相关改进提案尚未最终确定的情况下快速完成的。

以太坊联合创始人维塔利克·布特林承认,鉴于开发速度极快,该原型存在明显局限,其代码库中几乎必然包含关键错误,部分功能可能仅为未完全实现的“框架”版本。但他强调,这一趋势本身更具意义。

布特林分享了自己的测试体验:他在笔记本电脑上运行一个200亿参数的本地模型,仅用一小时就重建了自己的博客软件。他表示,若使用更强大的模型,任务可能通过单次提示即可完成。这体现了人工智能编码工具在不同规模上的快速进步。

他认为,开发速度的提升不应成为仓促行事的理由,而应转化为更深入工作的契机。建议开发者将人工智能带来的效率增益均衡分配给速度与安全性两方面,使更快的开发进程与更严格的测试及验证流程同步推进。

形式化验证与安全性获益显著

除开发速度外,布特林指出形式化验证是人工智能提升以太坊安全性的关键领域。在精益以太坊项目中,协作者已借助人工智能为STARK安全体系中最复杂的定理之一生成了机器可验证的证明。此类工作原本进展缓慢且依赖深厚的数学专长,而人工智能工具正使其变得更易实施且更高效。

该项目致力于对协议的每个组件进行形式化验证,人工智能正在积极加速这一进程。目前能够生成比以往更大量的测试用例,即使出现错误,其发现与解决过程也可实现五倍的速度提升和十倍的彻底性增强。

布特林提出,曾被视作不切实际的“无错误代码”未来或可实现。他谨慎地将此表述为一种可能性而非确定性,并指出完全的安全性仍难企及,因为代码无法完全涵盖开发者的全部构思。但通过特定安全声明的验证,能够消除破损代码所带来的超过百分之九十九的风险。

展开阅读全文
更多新闻