以太坊的Fusaka硬分叉预计将在2025年末进行，核心开发者Tim Beiko已明确表示此次分叉不会包含有争议的EVM对象格式（EOF）升级。

根据以太坊基金会的一位官方人员透露，预计以太坊的Fusaka硬分叉将在2025年第三或第四季度进行。

在4月28日的一条X帖子中，以太坊基金会的联合执行董事Tomasz Kajetan Stańczak表示，该组织计划在2025年第三或第四季度部署Fusaka以太坊网络升级。然而，具体的推出时间表尚未确定。

Stańczak提到，EVM对象格式（EOF）升级的有争议的实现原本预计将成为Fusaka网络升级的一部分，但以太坊核心开发者Tim Beiko随后排除了这一可能性。

“EOF今天已从Fusaka网络升级中移除，”Beiko在4月28日的X帖子中表示，并在GitHub帖子中指出，以太坊开发者决定因为技术不确定性，其影响可能会延迟Fusaka的推出。

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

包装、盖章一次、发送

字节码是一组低级、紧凑的指令。Solidity智能合约必须编译成字节码，才能被以太坊虚拟机（EVM）执行。

EOF（以太坊改进提案）定义了一个智能合约字节码的容器模块，取代当前的自由形式字节码块，提供更明确的结构。这些对象将由以下部分组成：

• 头部：以0xEF00十六进制值开头，后面跟随一个字节的版本号，以确保可升级性。
• 节表：提供关于容器内容的元数据。每个条目由一个字节的条目类型和两个字节的条目大小组成。
• 实际内容的节：至少包含一个代码节和必要的数据节——未来的EIP可以添加更多类型的节。

这种结构简化了EVM的操作，提高了效率并降低了处理开销。此升级将为开发者提供更清晰的环境，并使已部署智能合约更加易于理解。

不使用JUMP，而是使用RJUMP

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

这种做法被称为动态跳转，EIP-4750（正在审查中）提议在EOF智能合约中禁止动态JUMP/JUMPI，而在EOF的后续部署阶段完全拒绝它们。在当前形式下，该EIP用调用函数（CALLF）和从函数返回（RETF）替代它们。这些新指令确保目标在字节码中是硬编码的，但遗留的预EOF智能合约将不受影响。

选择在升级后使用JUMP或JUMPI的开发者，其字节码将在部署时经过验证，确保他们不能跳转到数据或其他指令的中间。这一验证将通过EIP-3670的代码验证规则以及跳转表（EIP-3690）进行检查，从而检查每个目标。

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

EOF的反对者

EOF是12个以太坊改进提案（EIPs）的实施，对智能合约开发者的工作方式产生深远影响。其支持者认为，EOF更高效、更优雅，并且允许未来更容易的升级。

然而，反对者则认为它设计过于复杂，给已经复杂的以太坊系统引入了更多的复杂性。以太坊开发者Pascal Caversaccio在3月13日的以太坊魔法师（Ethereum Magicians）帖子中表示：“EOF极其复杂”，因为它增加了两种新语义，并移除了十多条操作码。他还认为，这并不是必要的。

他指出，所有的好处可以通过“更细致、更少侵入性的更新”实现。他补充说，遗留的EVM也需要维护，“这可能是无限期的”。

Caversaccio还解释道，EOF将需要工具升级，这可能会由于其较大的攻击面引入新的漏洞。他表示：“由于头部的存在，EVM合约变得更加复杂”，而当前空合约的大小仅为15字节。另一位开发者在讨论中提出了不同的观点：

“作为一个元观点，是否需要重大EVM变更似乎存在分歧。一个稳定的虚拟机，让人们能够自信地投资于构建优秀的工具和应用，显得更有价值。”

Caversaccio在反对EOF的立场上并不孤单。在以太坊投票平台ETHPulse上进行的一项专门投票显示，39名持有近17,745个以太坊（ETH）的投票者反对该升级。只有7名持有不足300 ETH的人投票支持。

相关推荐：研究员提议4年内将以太坊（Ethereum）燃料上限提升100倍