以太坊新闻
8月10日,Vitalik Buterin 发布了一份对比,将以太坊2023年升级路线图与其当前的发展参考——“稻草图”——进行了对照。这份“稻草图”最近一次更新于8月4日,涵盖了计划到2029年的协议变更。Buterin 在X平台上的帖子详细列出了自原计划制定以来,哪些内容发生了变动、哪些被取消、以及哪些被新增。
2023年的路线图将以太坊的发展划分为一系列命名阶段,从“合并”(The Merge)到“激增”(The Surge)、“清洗”(The Scourge)、“边界”(The Verge)、“净化”(The Purge)和“挥霍”(The Splurge)。该计划中的多项内容已被重新调整、降级优先,或替换为更新的方法。可验证延迟函数(VDF)以及一系列以太坊虚拟机(EVM)的改进已被缩减。Verkle 树已被统一二叉树方法取代,而状态过期也让位于Buterin所称的“新状态类型”。

Buterin 表示,这次对比最显著的一点并非哪些内容改变了位置,而是“稻草图”中出现了2023年完全不存在的东西。“最引人注目的……是‘稻草图’中有一些全新的内容,这些内容在这个图表中是没有的,因为它们在2023年的路线图中根本不存在,”他在X上写道。

隐私已从边缘问题转变为核心协议需求。更新后的路线图涵盖了旨在隐藏用户活动和余额的机制,包括隐私池和“虫洞”——这些机制允许在不暴露完整交易历史的情况下进行价值转移。它还包含了分叉选择强制包含列表(FOCIL)的相关内容,这一功能预计将成为以太坊计划中的Pectra硬分叉的亮点。量子安全在优先级上显著提升,目前已成为Buterin称之为“精益化”(Lean-ification)的更广泛努力的一部分,这是一系列可能最终修订或替换协议几乎所有核心组件的变革。
两项在2023年要么尚不成熟、要么根本不存在的技术,如今支撑着更新后计划的大部分内容。零知识STARK证明出现在协议的多个层面,包括执行层、共识层和数据层。Buterin 表示,一种他称之为“聚合到联合验证依赖项”的特定原语预计将在所有三个层面中使用。原生Rollup在2023年因SNARK技术不够成熟而不可行,现在已成为计划的一部分。Blob和Gas期货——这些概念在三年前还不存在——也已被加入。
基于AI辅助的形式化验证已被作为基础假设纳入,而非未来的可能性。Buterin 写道,对以太坊所有内容进行完整形式化验证“之所以成为可能,只因为有了现代AI工具”,并且该协议现在明确围绕这一能力构建。
“精益化”努力包括向开发者开放替代计算格式(如RISC-V和leanISA)的可能性,这反映了扩展理念的更大转变。Buterin 将这一变化描述为从试图统一扩展所有以太坊活动,转向为高负载用例(如代币转移、交换和隐私协议)构建专门机制。
“稻草图”被描述为一个动态草案,可能会随时修订,而非固定时间表。2026年6月,以太坊基金会裁减了20%的员工,并围绕五个集群进行重组,重点关注抗审查性、开源开发、隐私和安全性。与此同时,两个新组织——EthLabs和EthSystems——也已成立,以支持以太坊的发展和机构采用。