以太坊基金会:Glamsterdam将打破8项不变量

EIP-8037、EIP-8038与Gas计费拆分

以太坊基金会于11月6日直接向部署以太坊项目的智能合约开发者和审计机构发出请求:核实为网络下一次重大升级Glamsterdam所规划的规范变更,会对各自项目造成什么影响。所谓不变量,指运行中的代码可能默认成立的条件,开发者平时未必显式写出,但代码的行为往往依赖它们。为配合这次核查,基金会发布了参考材料,列出八项将被拟议变更打破的不变量;每一条目都写明该条件是什么,解释它为何不再成立,并展示这一假设在实践中出现的位置。此次请求围绕两项以太坊改进提案展开:EIP-8037调整在链上创建新状态的gas成本,EIP-8038则修订访问已存在状态的成本。所谓状态,涵盖账户信息和已存储合约所持有的数据。在以太坊上,Gas费衡量一笔交易或一次合约执行所消耗的计算资源,网络上的每一次操作,从一笔普通转账到一次嵌套合约调用,都要消耗这个预算。EIP-8037不止于重新定价:它为创建新状态所消耗的gas引入一个独立的计量桶,与用于普通处理的gas分开,而后者目前共用同一个总额度。也就是说,这次升级将把今天由一个数字覆盖的两种资源分开定价。因此,这些变更既可能改变一次操作需要多少gas,也可能改变一次操作在中途失败后还剩多少gas可用。第二种效应正是运行中的代码面临风险之处。这份材料针对的是已经部署的智能合约,因为规则变更落在活代码上,而不是草稿上;基金会请发现自身依赖八项条件中任何一项的开发者和审计机构直接联系。请求发出时,以太坊价格在过去24小时下跌5.1%,不过推动此次沟通的是升级进程,而非市场走向。

安全公司ChainSecurity此前已追踪到这一风险。它在10月13日发布的技术分析指出,在规范变更后,若干项目可能变得脆弱,因为这些项目假设某些不变量持续成立,即合约要按设计正常工作就必须保持为真的条件。具体的失效模式涉及外部调用,也就是可组合系统赖以相互作用的机制。今天,当一次对外部合约的调用因gas不足而失败时,其后的操作无法完成,整笔交易回滚。而在拟议规范下,后续操作可能照常完成,失败的那次调用却不可重试,合约会落入其作者从未设想过的一种状态。基金会新建的代码库记录了Glamsterdam将打破的这八项不变量,每一条都配有解释、算例,以及开发者自查项目时可以运行的提示,把外部研究转成了可操作的排查工具。Glamsterdam在测试网Hoodi上的推迟并非新闻:10月22日,基金会推迟了原定于10月26日的激活,理由是需要进一步研究EIP-8037与主网合约的交互。目前没有新的日期,升级将持续搁置,直至这些悬而未决的问题厘清。影响评估由ChainSecurity和审计公司Dedaub协力进行,两家都在考察变更后的规则如何作用于已有部署,基金会的内部审计同步推进,但基金会承认,它无法覆盖每一个项目,更无法覆盖与链上合约配套的链下代码。最终决定权在AllCoreDevs开发者电话会议上,而会议首先需要一份清单:哪些东西在激活后将停止工作,以及哪些规范选项可以避免这一点。基金会强调,在该会议给出结论之前,规范中的任何内容都未敲定。Glamsterdam之后的升级Hegota,其开发工作并行推进,不受影响。

AllCoreDevs的关键节点

EIP-8037的核心gas拆分是对虚拟机本身的一次账务性改动,这也解释了基金会为何将其视为协议层面的风险,而非一次常规参数调整。对部署方而言,八项不变量的代码库把一场抽象争论变成了一张核对清单:团队可以对照八项写明的条件逐一测试自己的假设,而不必等待会议裁决。制约因素是覆盖面,基金会自己也承认这一点,因为对链上与链下代码做一次彻底排查并不现实。下一个确定的时间点是AllCoreDevs会议,届时作出决定,既需要一份失效清单,也需要可供选择的规范替代方案摆上桌面,二者缺一不可。