亚洲财经

☰ 搜索

以太坊开发者表示暂不对Hoodi进行“Glamsterdam”分叉

以太坊核心开发者因安全顾虑推迟Hoodi测试网上的Glamsterdam升级

以太坊核心开发者在识别出与两项特定Gas成本变更提案(EIP-8037和EIP-8038)相关的安全问题后,推迟了在Hoodi测试网上进行的Glamsterdam升级进程。以太坊基金会周五在其官网博客中表示,这一延迟将持续存在,直到与该升级行为相关的八个智能合约“不变量”得到解决。

这一决定对开发者和关注以太坊升级路线图的人士具有重要意义,因为Glamsterdam包含了对某些操作Gas收费方式的更改。根据以太坊基金会的说法,一些现有项目可能依赖于“特定操作始终产生可预测、固定Gas成本”的假设。一旦新的Gas规则生效,这些假设可能会失效——特别是在外部调用失败的场景下。

关键要点

  • 以太坊核心开发者因涉及八个智能合约不变量的安全问题,推迟了Hoodi测试网上的Glamsterdam升级。
  • EIP-8037和EIP-8038改变了某些操作的Gas计费方式,可能导致依赖固定Gas成本的智能合约失效。
  • ChainSecurity于10月13日发布的报告指出,这两项EIP可能在外部调用失败时破坏合约逻辑。
  • 在问题解决之前,Hoodi分叉将不会继续推进,这为团队提供了额外时间来评估是否需要进一步的修复措施。

Hoodi测试网升级暂停的原因

以太坊基金会在周五的最新更新中指出,Hoodi测试网分叉的延期是因为开发人员需要解决近期审计流程中凸显的漏洞。其根本原因并非广泛的“升级不稳定性”指控,而是一个更具体的担忧:拟议的EIPs如何影响那些依赖既定Gas成本预期的智能合约的正确性。

基金会特别指出了围绕“不变量”的风险——即智能合约在某些执行条件下期望保持为真的属性。在这种情况下,担忧主要与EIP-8037和EIP-8038所涵盖操作的Gas计量方式有关。如果这些不变量不再成立,那些基于旧Gas核算假设编写和测试的合约,在出现特定调用模式时可能会出现意外行为。

EIP-8037和EIP-8038如何打破假设

以太坊基金会的博客文章将暂停原因与一类假设特定操作Gas用量的合约联系起来。历史上,一些以太坊应用程序依赖于固定的Gas相关计算,无论是用于内部会计、风险控制,还是基于预期Gas消耗做出执行决策的逻辑。

由于Glamsterdam包含了Gas定价的变化,一旦新规则生效,这些固定成本假设可能与现实不符。基金会解释说,EIP-8037和EIP-8038可能会使这些假设失效,特别是在“外部调用失败”时——这种故障模式会改变执行流程,进而改变Gas成本的反映方式。

这是关键的细微差别:问题不仅仅是Gas成本发生变化,而是特定的合约逻辑可能是围绕旧的行为进行工程设计的。当外部调用回滚或失败时,“预期”与“实际”Gas计费之间的差异可能会导致连锁反应,从而破坏不变量。

ChainSecurity的审计引发了此次行动

以太坊的决定紧随智能合约审计公司ChainSecurity于10月13日发布的报告之后。正如基金会所述,该审计得出结论认为,这两项EIP可能会“破坏那些在外部调用失败时依赖固定Gas相关假设的智能合约”。

这一表述为开发人员提供了后续工作的具体目标。团队无需将整个升级视为黑盒,而是可以专注于识别受影响的合约模式,评估是否可以调整升级以保留预期属性,以及在广泛部署之前哪些已部署的应用程序可能需要警告或兼容性测试。

基金会强调,Hoodi上的额外时间正是为了支持这一目标:在Glamsterdam更接近主网部署之前,发现潜在的智能合约问题并确定是否有必要进行修改。

Glamsterdam已在Sepolia上预演

虽然Hoodi分叉暂停,但更广泛的Glamsterdam工作并未完全停滞。此前,该升级于10月6日在Sepolia测试网上线,被描述为其最后一次重大预演之一。

在9月28日的早期指导中,以太坊基金会表示,Glamsterdam旨在推进以太坊Layer-1扩展路线图。该升级的既定目标包括确立提议者-构建者分离(PBS)、添加区块级访问列表以及修改Gas定价,使其更好地反映执行成本。

这一新发展——在解决问题期间推迟Hoodi——展示了测试和部署是如何作为风险管理流程处理的。Sepolia为团队提供了预演环境,但现在Hoodi成为了舞台,未解决的Gas不变量问题被视为进一步进展前的阻塞项。

读者还应密切关注“外部调用失败”场景的持续处理情况。在实践中,失败案例是许多现实世界合约经历边缘条件的地方,从钱包集成到跨合约交互。如果最终修复再次改变Gas行为,基于新规则构建的开发人员可能需要重新测试故障路径,而不仅仅是验证正常执行路径。

Glamsterdam进入主网前值得关注的事项

以太坊的下一步取决于团队能否解决八个不变量,并确定是否需要进一步的EIP级别或实施调整。对于开发人员来说,当前的首要任务是重新评估任何假设受影响操作周围固定Gas成本的合约——特别是涉及外部调用失败的流程——同时升级团队继续处理ChainSecurity审计中标记的问题。