60.00% 40.00%
看涨
看跌

以太坊Fusaka硬分叉将于2025年底启动,带来重大EVM变革

2025-04-28 22:49:25

以太坊Fusaka硬分叉预计将在今年第三或第四季度进行

据以太坊基金会一位官员透露,以太坊的Fusaka硬分叉预计将在今年第三或第四季度进行。在4月28日的一篇X帖子中,以太坊基金会联合执行董事Tomasz Kajetan Stańczak表示,该组织计划在2025年第三或第四季度部署Fusaka以太坊网络升级。不过,具体的推出时间尚未确定。

这些评论是在围绕即将实施的以太坊虚拟机(EVM)对象格式(EOF)升级的争议中发表的。正如Stańczak所指出的,EOF预计将成为Fusaka网络升级的一部分。

EVM与EOF升级

EVM是运行以太坊智能合约的软件。EOF将实施一系列协议变更,称为以太坊改进提案(EIPs),对其操作方式产生深远影响。EOF为智能合约字节码引入了一种可扩展和版本化的容器格式,在部署时进行一次验证,将代码和数据分离以提高效率。

字节码与容器模块

字节码是一组低级别、紧凑的指令。Solidity智能合约必须编译成字节码,EVM才能执行它们。EOF为智能合约字节码定义了一个容器模块,用更明确的结构取代了当前自由格式的字节码块。这些对象将由以下部分组成:

  • 以0xEF00十六进制值开头的头部,后跟一个字节的版本号以确保可升级性。
  • 一个部分表,提供容器内容的元数据。每个条目包括一个字节的条目类型设置和两个字节的条目大小。
  • 包含实际内容的部分,至少有一个代码部分和任何必要的数据部分——未来可以通过EIPs添加更多类型的部分。

这种结构简化了EVM操作,提高了效率并降低了处理开销。这一升级将带来更干净的开发环境和更易于理解的已部署智能合约。

EIP-4200与动态跳转

EIP-4200是EOF EIPs之一,它提供了JUMP和JUMPI指令的替代方案,这些指令允许程序将执行移动到任意字节偏移量。这种执行链会导致难以发现的错误(在某些情况下JUMP值错误可能不易预测),并容易在数据块中隐藏恶意软件并将执行指针移动到那里。

这种做法被称为动态跳转,EIP-4750(正在审查中)提议禁止在EOF智能合约中使用动态JUMP/JUMPI,在EOF部署的后期阶段完全拒绝它们。在目前的形式中,该EIP用调用函数(CALLF)和从函数返回(RETF)函数调用取代它们。这些新指令将确保目标被硬编码到字节码中,但传统的pre-EOF智能合约将不受影响。

选择在升级后使用JUMP或JUMPI的开发者将使其字节码通过部署时验证,确保它们永远不会跳入数据或另一条指令的中间。此验证将通过EIP-3670的代码验证规则以及跳转表(EIP-3690)进行,因此每个目标都会被检查。

作为这些函数的替代方案,EOF实现了RJUMP和RJUMPI,它们要求目标被硬编码在字节码中。然而,并非所有人都支持EOF的实施。

EOF的反对者

EOF是12个EIPs的实施,对智能合约开发者的工作方式产生深远影响。其支持者认为它高效、更优雅,并允许未来更容易的升级。

然而,其反对者认为它过度设计,并进一步增加了以太坊这样已经复杂的系统的复杂性。以太坊开发者Pascal Caversaccio在3月13日的以太坊Magicians帖子中感叹道:“EOF极其复杂”,因为它增加了两种新语义,并删除和添加了十几个操作码。此外,他认为这是不必要的。

他表示,所有好处都可以通过“更零碎、更少侵入性的更新”引入。他补充说,传统的EVM也需要维护,“可能无限期地”。

Caversaccio还解释说,EOF将需要工具升级,由于其大的攻击面,可能会引入新的漏洞。此外,他说:“由于头部,EVM合约变得更加复杂”,而目前空合约仅重15字节。另一位开发者在帖子中提出了另一个观点:

“也许作为一个元观点,关于是否总体上需要重大的EVM变更似乎存在分歧。一个稳定的虚拟机,人们可以自信地投资于构建优秀的工具和应用程序,更有价值。”

Caversaccio在反对EOF方面似乎并不孤单。以太坊投票平台ETHPulse上的一项专门投票显示,持有总计近17,745以太币(ETH)的39名投票者反对该升级。只有持有不到300 ETH的七名持有者投了赞成票。

展开阅读全文
更多新闻