第二层解决方案

以太坊主网目前每秒处理平均 12 笔交易，在网络活动高峰期，交易成本已经达到了大多数用户无法接受的水平。这个可扩展性问题源于网络中的每个节点都需要存储和验证在网络上发生的所有交易。

为了解决这个问题并扩展以太坊，人们发明了第二层解决方案（L2）。第二层是一个独立的区块链，扩展了以太坊并继承了以太坊的安全保证。第二层本质上是一个独立的区块链，用户在主链（以太坊）之外进行交易。每个第二层解决方案都有自己的安全保证和权衡。在以太坊上，最流行的第二层扩展形式是 Rollups（Arbitrum、Optimism、zkSync）。

Rollups

Rollups 是 L2 解决方案，在返回到 L1 之前处理 L1 的事务。以太坊上的标准交易通常为 156 字节，其中签名是数据密度最高的部分。因此，Rollups 在 L2 执行环境中处理多个交易，然后将它们捆绑成一个交易，提交给 L1 进行常规状态验证。将多个交易捆绑成一个交易可以减少每个交易支付的 Gas 费，因为 Gas 费分摊到多个交易上，而不仅仅是一个交易。然而，并非所有的 Rollups 都是相同的，有许多不同类型的 Rollups：

智能合约 Rollups：Optimistic Rollups（Arbitrum、Optimism）、零知识 Rollups（Matic 的 zkEVM、zkSync、Scroll）；

Celestiums;

Enshrined Rollups;

Sovereign Rollups.

智能合约 Rollups

智能合约 Rollups 是用户将资金发送到 L1 上的 Rollup 智能合约，然后该智能合约管理交易和状态变化。

Rollups 和区块链的一个关键组成部分是 Merkle 树。Merkle 树是存储每个人的资金状态和发生的交易的数据结构，允许 L1 在不下载整个状态的情况下验证 L2 上的状态。简单来说，用户在 L2 上进行交互和交易（从而改变状态），L2 会定期向 L1 发送状态的 Merkle 根，以便 L1 可以验证链的状态。

除了将 Merkle 根发布到 L1，L2 还必须发布足够的 Merkle 树变化数据，以便用户能够完全重建 Merkle 树。如果由于某种原因 L2 停止运行，如果没有提供这些数据，用户将被困在 L2 上。因此，L1 智能合约具有「紧急功能」，用户可以在 L2 停止运行时从智能合约 Rollup 中提取他们的资金。

L1 需要某种证明来确保 L2 发送的 Merkle 根是有效的，这就是两种主要的智能合约 Rollup 之间的区别。使用的两种主要证明是欺诈证明和零知识证明。

Optimistic Rollup

像 Arbitrum 和 Optimism 这样的 OptimisticRollup 使用欺诈证明来完成状态的最终确认。欺诈证明的工作原理如下：

L2 节点将 Merkle 根与一小笔保证金一起发布到 L1 智能合约中。

L1 智能合约默认信任 L2 节点，这就是「Optimistic」一词的含义——L1 对 L2 的更新持乐观态度。

然而，这种状态变化在 7 天内不会最终确认。

在这 7 天内，任何人都可以提交一个证明，证明提交的 Merkle 根是欺诈性的，这将撤销更新并惩罚 L2 节点，将保证金交给报告欺诈性更新的人。

报告者能够通过验证状态根变化中发生的所有交易，并确认这些交易上的每个签名都是有效的来证明更新是欺诈性的。这是因为 L2 节点发布了 Merkle 根和足够的 Merkle 变化数据来重新创建 Merkle 树。

如果在 7 天的争议期内没有对状态转换提出异议，更新将最终确认并被视为不可变的。

ZK Rollup

ZK Rollup 使用零知识证明。它们的工作方式如下：

Layer 2 节点将 Merkle 根与证明一起发布到 L1 智能合约中，证明 L2 正确处理了交易并生成了一个新的 Merkle 根。

如果 Layer 2 节点试图发布一个欺诈性的更新，它们将无法生成有效的零知识证明，因此 L1 智能合约将不接受新的 Merkle 根。

一旦验证了零知识证明，状态更新将立即完成。

排序器

排序器是 L2 收集并将交易发布回以太坊基础链的机制。在它们目前的中心化状态下，它们的工作方式如下：

用户在 L2 上提交交易——DeFi、NFT、发送/接收等等。

这些交易由中心化的排序器收集。

然后，排序器（块构建）将这些交易（调用数据/状态差异）按顺序排列为单个块或批处理交易。

目前，L2 排序器使用先进先出（FIFO）的排序方法对这些交易进行排序。

然后，排序器将这批交易提交回以太坊主网，以便包含在一个区块中。

在当前状态下，Rollup 的排序器是中心化的，并由一个实体（Arbitrum 的 Offchain Labs 和 Optimism 的 Optimism PBC）控制。这种中心化为 Rollup 创建了单点故障，并可能导致活跃性问题（以及缺乏审查抵抗力）——如果排序器出现故障，L2 将无法正常运行。

例如，在 6 月初，Arbitrum 的排序器遇到了一个错误，导致批处理在链上回滚，从而导致批处理的 Gas 成本损失。在短时间内，批处理提交者没有 Gas，并且无法正确地将交易发送到以太坊。

L2 Gas 费用

现在我们来看一下这两种主要的智能合约 Rollup 如何计算用户将支付的 Gas 费用以及对中心化排序器的影响。

在 Arbitrum 和 Optimism 上，用户进行交易时需要支付两项费用：

L2Gas/执行费用；

L1 调用数据/安全费用。

L2Gas/执行费用

L2 Gas 费用类似于以太坊的 Gas 费用。在 L2 上的每笔交易都需要支付一个 Gas/执行费用，该费用等于交易使用的 Gas 量乘以交易附加的当前 Gas 价格。

L1 调用数据/安全费用

L1 调用数据费用是为了支付将交易发布回以太坊的成本而支付的。这个费用存在是因为排序器或批处理提交者需要支付 L1 Gas 费用来将交易发布到以太坊上。

排序器收入模型

在目前的形式下，Optimistic Rollup（ORU）通过单个中心化排序器的运作来产生收入。未来，预计 ORU 最终会实现去中心化，这将为通过 MEV（最大化以太坊价值）或要求排序器运营商质押原生代币/分享收入的其他收入流打开大门。

但就目前而言，在最简单的表示中，我们可以认为排序器向 ORU 用户收取 L2 交易费用（排序器收入），并且需要支付 L1 Gas 费用来将用户的 L2 交易数据批量提交到以太坊网络（成本 1），以及支付运营排序器的运营成本（成本 2）。

进一步来说，我们可以将收入和成本分解为具体的组成部分。虽然不同的 ORU（例如 Arbitrum、Optimism）没有完全相同的定价公式，但它们遵循一个通用的框架：

收入（L2 Gas Fees）

Fees = L1_gas_price_estimate * (L1_calldata_size + L1_buffer) + L2_gas_price * L2_gas_used

成本

Costs = L1_actual_gas_price * L1_calldata_size + Sequencer_operational_costs

L2 费用定价

在所有 ORU 中，L2 费用价格是 L1 计算规模、L1 计算成本、L2 计算规模和 L2 计算成本的函数。

由于所有 L2 排序器在将批次/证明发布到 L1 主网时都会产生成本，因此当执行 L2 交易时，将主网结算的动态成本传递给用户是合乎逻辑的。

Arbitrum 和 Optimism 的 L2 费用定价方式不同。两者之间一个非常重要的区别在于 Optimism 和 Arbitrum 计算 L1 计算成本的方式。Arbitrum 使用一个定价 L1 计算的预言机，这意味着在没有治理投票的情况下，预言机以与 4844 之前相同的方式定价 L1 计算。然而，Optimism 的 L1 计算包含一个可以由 Optimism 团队调整的动态开销（标量）变量，以调整 L1 计算成本。

Arbitrum

Arbitrum 的 L2 费用定价实现了「二维 Gas 费用」的概念，其中 Gas 限制是 L2 使用的 Gas 单位、L1 使用的 Gas 单位和估计的 L1Gas 价格的函数。

从中我们可以得出以下结论：

L2 Gas 限制随着 L2 Gas 价格的增加而减少。

L2 Gas 限制随着 L2 计算、L1 Gas 价格和 L1 计算的增加而增加。

Optimism

与 Arbitrum 类似，Optimism 的交易费用考虑了 L1 和 L2 计算的成本。Optimism 将其称为 L2 执行费用和 L1 数据/安全费用。

注意：

- dynamic_overhead 变量是由 Optimism 团队设置的变量，以确保他们的排序器在将交易批次提交回 L1 网络时能够得到足够的补偿，以支付产生的 Gas 成本。

- 目前它被设置为 0.684，这表示排序器正在补贴 Gas 成本。

免责声明：本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况，及遵守所在国家和地区的相关法律法规。 欢迎转载分享!
转载请注明本文地址：
如有文章侵犯了您的权利，请联系本站站长，我们将在第一时间删除相关内容，谢谢！