Arbitrum ArbOS升级为何引起「硬分叉」讨论？

近期，Arbitrum作为L2解决方案的一部分，提出了一项备受关注的升级提案，该提案旨在对核心组件ArbOS进行升级，被称为L2领域中的首个"硬分叉"提案，引起了广泛的讨论。

Odaily星球日报对这一提案进行了解读，试图探究Arbitrum的ArbOS升级对其生态系统产生的影响。那么，什么是ArbOS升级呢？

ArbOS是Arbitrum的虚拟机（AVM）操作系统。其主要职责是监控和管理网络资源, 通过接收消息生成区块，并利用其自身的Geth实例执行智能合约。

通过上述图表，我们可以了解到ArbOS在Arbitrum中的重要性。Arbitrum的网络结构由五个关键组成部分构成。首先是以太坊作为底层，以确保二层网络的安全性。其次，通过桥接智能合约在以太坊上验证以太坊和L2之间的运行准确性。接下来是AVM结构，它是一种虚拟机程序，能够识别以太坊上桥接智能合约的输出内容。ArbOS充当了网络中的黏合剂，类似于操作系统，可有效运行Arbitrum。相应地，ArbOS还提供了EVM的兼容性。

让我们通过举例来说明Arbitrum的运用场景。假设有一个在Arbitrum上运行的DApp，该应用需要与其他链进行通信并执行智能合约操作。作为Arbitrum的一部分，ArbOS将负责追踪和处理来自其他链的消息，将其转化为L2的区块，并执行相应的智能合约操作。此外，ArbOS还可以通过预先编译的方式提供多种特定功能，比如实现与其他链的跨链通信或资源计费。通过该设计，Arbitrum成功实现了安全高效的网络交互。在ArbOS技术的支持下，DApp能够在Arbitrum上以较低的成本和更高的效率运行，并与其他链实现互操作。显然，ArbOS在这个过程中发挥了桥梁的角色，有如L1公链的客户端软件。本次ArbOS的升级，其影响可与公链的一次“分叉”相媲美。然而，L2核心组件的更新与L1公链的升级相比，并不具备产生真正硬分叉的可能性。

尽管ArbOS的升级需要节点操作者协调升级其软件，可能导致不同版本的ArbOS在节点上运行，从而产生两个不一致的链历史版本。但L2的优势在于，L2需要依赖以太坊的桥接智能合约“Arbitrum Bridge”来验证与主网以太坊的状态的正确性。这样就可以避免因共识而导致的分叉行为。

在ArbOS的升级过程中，验证者可以对链的状态提出声明，其他验证者可以对其进行质疑和挑战，从而加强了链的安全性和透明度。通过一系列断言和欺诈证明，桥合约将裁决并确保只有符合Arbitrum桥合约规则的链才被视为规范链，以保证桥对Arbitrum链的视图准确无误。这一裁决将解决目前存在的挑战。

那么，ArbOS的升级将产生哪些影响呢？

根据官方提案的描述，本次升级对整个Arbitrum的整体影响并不显著。一系列新的改进措施已得到批准，并已做好准备。这些改进主要是为了支持EVM上海升级和PUSH 0操作码，并解决各种错误。此提案的设计目标是为Arbitrum One和Arbitrum Nova提供支持。

此次升级对底层验证者的影响较大，而对普通用户的影响较小。根据当前的投票比例，赞成率高达99.79%，通过的可能性非常大。因此，在官方发布相关消息后，大家可以遵循指导方针，确定在升级期间是否可以执行转账等一系列链上操作。