• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

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

Vitalik Buterin表示AI或将加速以太坊发展进程,同时提升安全标准。

2026-03-01 18:27:09
收藏

以太坊开发的未来可能比预期来得更快

近日,以太坊创始人Vitalik Buterin描述了一项实验:通过人工智能工具,仅用数周时间便初步实现了以太坊原计划于2030年完成的路线图中的大部分构想。尽管他强调该成果尚不成熟,无法直接投入应用,但这一尝试传递出明确信号:人工智能正在深刻变革区块链基础设施的构建方式。

AI编码正以前所未有的速度推进

Buterin表示,若在六个月前,仅用两周时间构建如此复杂路线图的雏形几乎不可想象。他指出,AI生成的代码必然存在关键缺陷与未完成部分,某些组件可能仅为占位符而非完整功能。然而,开发速度本身已昭示着范式转变。

他还透露,近期曾借助在本地笔记本电脑运行的开源AI模型,在一小时内重构了自己的博客软件版本。更先进的系统或能以更高效率完成类似任务。

这并非说明AI能瞬间生成安全的区块链基础设施,而是揭示了开发周期正在急剧缩短的现实。

速度仅是故事的一半

Buterin强调,单纯提升编码速度远远不够。他认为真正的机遇在于实现开发速度与安全实践的平衡。开发者不应仅用AI生成代码,更可借助其实现以下目标:

生成数量级的测试用例;执行更深层次的安全审计;创建同一系统的多个独立实现版本;对关键组件进行形式化验证。

据悉,LeanEthereum计划的合作者已利用AI为基于STARK的密码学复杂数学定理生成了机器可验证证明。对于日益依赖高级零知识系统的以太坊而言,此类验证工具至关重要。

形式化验证或将成为标准实践

LeanEthereum的核心原则是在可行范围内对所有组件进行形式化验证,即通过数学方法严格证明代码行为完全符合设计意图。

在守护数百亿美元价值的区块链系统中,即便微小漏洞的减少也可能产生巨大影响。Buterin指出,AI正在加速大规模生成可验证证明与压力测试实现的能力。

他谨慎补充道,任何人都不应期望仅输入简单指令就能获得完美无缺的安全代码。漏洞、逻辑矛盾与设计权衡仍将伴随开发过程。但调试与测试周期有望提升五倍效率,且覆盖范围将远超以往。

以太坊路线图会提前完成吗?

尽管未作出明确预测,Buterin鼓励社区保持开放心态,接受以太坊长期路线图可能比预期更早完成的潜在可能性。更重要的是,他认为该系统有望达到比传统复杂分布式系统更高的安全标准。

若AI技术持续以当前速度演进,曾经制约区块链升级的开发瓶颈或将逐渐消解。

免责声明:

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证,网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责,与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%