以太坊(ETH)核心开发者暂缓Hoodi测试网Glamsterdam分叉,等待8项不变量核查

Hoodi分叉暂缓

以太坊(ETH)核心开发者决定暂不在Hoodi测试网上执行Glamsterdam分叉,即网络的下一次大型升级,直至遗留问题清零。以太坊基金会在11月6日(星期五)发布的博客文章中确认了这一决定。此前的审计发现,部分项目会在新规则下出现漏洞。在测试网测试阶段,审计机构ChainSecurity识别出多个项目:一旦升级生效,它们将转入易受攻击状态。此次暂缓只涉及演练环节。Hoodi的存在意义,是让硬分叉在触及主网之前先承受真实的网络负载,因此在这里暴露的缺陷代价是延期,而不是实际损失。主网激活排在流程更靠后的位置,所以此次推迟并不直接影响主链,也不直接改变以太坊价格。问题的核心落在两项拟议改动上:EIP-8037和EIP-8038。它们调整特定操作所收取的gas费用,并重写状态的计价方式。所谓状态,是节点持续保存并更新的数据。部分项目在编写时假定这些计费条件不变;在新的记账规则下,这一假定被推翻。日程其实早已松动。10月22日(星期四),基金会宣布原定10月27日(星期二)进行的分叉延期,且未给出替代日期。审计发现随后为这次延期提供了具体原因。基金会引入ChainSecurity和另一家审计机构Dedaub共同复核,其内部审计也在同步推进。基金会同时划定了一条硬性边界:没有任何一方能覆盖以太坊上的每一个项目,包括各项目的链上与链下代码。这一问题卡在升级路线图的早期位置,属于演练阶段,距主网尚远。

真正把一次日程延误变成无限期搁置的,是覆盖范围问题。两家审计机构介入、内部审查进行中,基金会仍坦率表示:全面覆盖不可能做到,它无法逐一列举以太坊上所有项目,更谈不上审计每个项目背后的链上与链下代码。于是核查责任转移到建设者身上。在下一次核心开发者会议之前,也就是将就时间表作出务实判断的场合,基金会要求智能合约开发者和审计方自查各自项目,确认其不依赖所列8项不变量中的任何一项。所谓不变量,是项目当作保证来对待的属性,例如某项操作执行时按什么价格计费。Glamsterdam在设计上就是要改变其中多项保证。这场自查实质上是对已部署代码做一次分叉风险普查。风险之重,来自以太坊自己的历史。这条区块链经历过多次大规模分叉,其中最引人注目的是把结算层迁移至权益证明的以太坊2.0升级,而每一次这样的过渡,走的都是Glamsterdam此刻所处的同一条演练管线。带着错误假定上线的分叉,会把依赖这些假定的项目一并拖垮,这正是审计发现所描述的失效模式。管线中有一环未受波及:另一项独立升级Hegota的工作仍在并行推进,基金会表示Glamsterdam的延期对它没有影响。目前尚无新的分叉日期。这一决定交给下一次核心开发者会议,而在8项不变量核查通过之前,分叉排期没有任何依据。

8项不变量决定时间表

我们的判断是:这次延期给gas记账改革标出了可见的代价。改动操作的计费方式和状态的计量规则,等于重写已部署代码赖以成立的前提,而8项不变量清单正是基金会为这一风险给出的操作性回应。在核查通过之前,Glamsterdam没有时间表:没有分叉日期,没有主网演练窗口,链上建设团队也就少了一个可据以规划的近期节点。我们的以太坊技术分析持续追踪交易者在日历悬而未决期间关注的价位,此前我们也报道过该币在清算潮之后守住2,200美元支撑的表现。决定Glamsterdam下一步走向的数字,就是8。