本文为研究机构 Delphi Digital 发布的 The Complete Guide to Rollups。文章分为三个部分，由 DeFi 之道进行编译：

• 第一部分——模块化经济学?

• 第二部分——以太坊 Rollup 堆栈

• 第三部分——Celestia Rollup 堆栈

本文为报告的第二部分，由 Kyle 以及 Wendy 共同编译：

第二部分——以太坊 Rollup 堆栈

近期，Mustafa（Celestia Labs）在文章中?给出了 Rollups 最简洁的定义，我在这里引用一下：Rollup 是一个区块链将其区块发布到另一个区块链，并继承该区块链的共识和 DA。

Rollup 中存在各种角色，如排序者（sequencer）、提议者（proposer）、证明者（prover）和挑战者（challenger），这取决于实际的部署情况。我把他们统称为 "运营者"（operators）。运营者结合用户交易，定期向基础层发布数据。他们还向最新的 Rollup 状态（例如，Merkle 根）提交 commitment。

任何人都可以使用压缩的交易数据（只要它是可用的）来重新创建状态，并检查一个状态转换是否有效。Rollup 轻客户端不会下载和执行完整的交易数据，所以他们依靠欺诈/有效性证明来保证状态转换的有效性。

以太坊——智能合约 Rollup

这都能在当前的以太坊中看到（例如 Arbitrum、Optimism、StarkNet、zkSync 等）。他们是这样运作的：

智能合约 Rollups（SCR）有效地运作在众多的 L1 智能合约中。Rollup 执行是在链下处理的，运营者定期发布数据到 L1。智能合约根据需要验证证明/仲裁争端。他们还跟踪所有的 Rollup 状态根和交易数据，以便他们可以重新计算状态：

欺诈（ORU）或有效性（ZKR）证明然后确认状态转换的有效性。运营者在 L1 智能合约中发布保证金，以发布区块。如果这个区块或证明是无效的，他们的保证金可以被罚没，交易将不会被最终确定。这对 ORU 来说可能需要一个多星期的时间，但有效性证明可以立即敲定最终的结果。

提交和仲裁一个欺诈证明实际上是相当快的。ORU 需要这么长的时间，主要是因为 L1 智能合约需要接收证明，而这可能会被审查。在 L1 审查证明的情况下，我们需要时间通过社会共识来协调。

这些智能合约也作为信任最小化的双向桥梁，在 Rollup 和 L1 之间发挥作用。这是他们的关键优势之一。它是信任最小化的，因为 Rollup 暗中对以太坊进行了完整的验证，而 L1 上的智能合约则承担了 Rollup 轻客户端（接收由欺诈/有效性证明保护的区块头）的角色。

现在到了 FUD 的时候了。

这些始终是智能合约。就在最近，我们才刚刚见证了可怕的跨链桥攻击?（主要原因都是漏洞，与密钥被破解或者经济攻击无关）。Rollups 也不能做到免疫。这个合约是一个非常特殊的信任最小化的双向桥，但它仍然是桥。就算你的代码里出现小小的失误，都可能让你损失惨重。

这就是为什么很多 Rollup 团队?都紧紧抓住他们的升级密钥不松手。通常有一个多签委员会，有一个升级通知期，在其他情况下，代码甚至可以由团队任意改变而不做通知。

在安全和去信任化之间，要对升级时机进行平衡。如果你发现了一个 bug，你可能不想在管理论坛上大肆宣扬并等待一个月的时间，而是想要马上修复它。

有一个想法是具备延迟升级功能，但增加一个停止选项，可以立即停止 Rollup。虽然暂停 Rollup 令人面上无光，但确实能够减少对升级密钥持有者的信任。

Bartek（Maker 基金会）最近就这个话题和 L2 Beat 的风险框架做了一个很棒的 Rollup FUD 演讲，链接在这里?。

我明白，Rollup 的成熟需要时间。我想说的是，我们要现实地看待目前我们处于什么阶段。如中心化的排序者和欺诈证明（如果有的话）一样，这些团队打算逐步实现去中心化。

移交升级密钥有两种选择：

1. 永远不变的 Rollup——没有人可以升级智能合约（除非 L1 分叉）。这是一个巨大的牺牲。基本上你已经接受了这个 Rollup 最终会被废弃的事实，而你要从头开始部署另一个实例。希望做到等同 EVM（以太坊虚拟机）的 Rollup 绝对不能这样做。当 L1 发生变化时，他们必须升级自己的虚拟机，以保持一致。Fuel v1 是目前以太坊上唯一永远不变的 Rollup。

2. 去中心化的治理——这是我实际期望的。虽然它在 L1 交易的基础上增加了信任假设，但 Rollup 治理现在控制着升级密钥。