# Vitalik：梳理各类 L2 的不同

By [Waato](https://paragraph.com/@waato) · 2023-11-26

---

> 原文标题：《Different types of layer 2s》
> 
> 撰文：Vitalik Buterin

_特别感谢 Karl Floersch 的反馈和审查_

以太坊第 2 层生态系统在过去一年中迅速扩张。EVM Rollup 生态系统传统上以Arbitrum、Optimism和Scroll为特色，最近又以Kakarot和Taiko为特色，进展迅速，在提高安全性方面取得了长足进步；L2beat 页面很好地总结了每个项目的状态。此外，我们还看到构建侧链的团队也开始构建 rollups ( Polygon )、寻求成为 validiums 的第 1 层项目 ( Celo ) 以及全新的工作 ( Linea、Zeth ...)。最后，还有不只是 EVM 的生态系统：“几乎 EVM”（如Zksync）、扩展（如Arbitrum Stylus）以及更广泛的工作（如Starknet 生态系统、Fuel等）。

其不可避免的后果之一是我们看到 Layer 2 项目变得更加异构的趋势。我预计这种趋势将持续下去，原因如下：

*   **一些目前独立于 Layer 1 的项目正在寻求更接近以太坊生态系统**，并可能成为 Layer 2。这些项目可能需要逐步过渡。现在一次性全部转换会导致可用性下降，因为该技术尚未准备好将所有内容汇总起来。稍后一次性全部转型可能会牺牲动力，而且为时已晚，没有任何意义。
    
*   **一些中心化项目希望给用户更多的安全保证，并正在探索基于区块链的路线**。在很多情况下，这些项目在以前的时代都会探索“许可联盟链”。实际上，他们可能只需要“中途之家”级别的权力下放。此外，它们通常具有非常高的吞吐量，因此甚至不适合汇总，至少在短期内是这样。
    
*   **非金融应用程序，如游戏或社交媒体，希望实现去_中心化_，但只需要中等程度的_安全性_**。在社交媒体案例中，这实际上涉及以不同方式对待应用程序的不同部分：用户名注册和帐户恢复等罕见且高价值的活动应在汇总上完成，但发帖和投票等频繁且低价值的活动则需要较低的安全性。如果连锁故障导致您的帖子消失，这是可以接受的成本。如果连锁故障导致您失去帐户，那就是一个更大的问题。
    

一个重要主题是，虽然**目前以太坊第 1 层上的应用程序和用户**可以在短期内支付较小但仍然可见的汇总费用，但**来自非区块链世界的用户**不会：如果您支付 0.10 美元，则更容易证明支付 0.10 美元是合理的。之前支付 1 美元与之前支付 0 美元相比。这既适用于当今集中化的应用程序，也适用于较小的第 1 层，这些应用程序的费用通常非常低，而用户群仍然很小。

一个自然出现的问题是：对于给定的应用程序，汇总、验证和其他系统之间的复杂权衡中哪一个有意义？

**Rollups、validiums、断开连接的系统**
-----------------------------

我们要探讨的安全性与规模的第一个维度可以描述如下：**如果你有一个在L1上发行的资产，然后存入L2，然后转移给你，你有什么程度的保证，你会得到什么？能把资产带回L1吗？**

还有一个并行的问题：导致这种保证水平的技术选择是什么，以及该技术选择的权衡是什么？

我们可以用图表简单地描述这一点：

![](https://storage.googleapis.com/papyrus_images/ce3beb2a3eb9703b4d48df503acfd8dbd4fe2493543060890158f8830a37e2b6.png)

值得一提的是，**这是一个简化的模式，并且有很多中间选项**。例如：

*   **Rollup 和 validium 之间**：任何人都可以进行链上支付以支付交易费用的 validium，此时运营商将被迫在链上提供一些数据，否则会损失押金。
    
*   **Plasma 和 validium 之间**：[Plasma 系统](https://arxiv.org/abs/1911.12095)提供类似汇总的安全保证以及链下数据可用性，但它仅支持有限数量的应用程序。系统_可以_提供完整的 EVM，并为不使用这些更复杂应用程序的用户提供 Plasma 级保证，并为使用这些更复杂应用程序的用户提供 validium 级保证。
    

这些中间选项可以被视为介于汇总和验证之间。但是，是什么促使应用程序选择该频谱上的特定点，而不是更左或更右的某个点？这里，有两个主要因素：

1.  **以太坊原生数据可用性的成本，随着技术的进步，成本将随着时间的推移而降低**。以太坊的下一个硬分叉[Dencun](https://consensys.io/blog/ethereum-dencun-upgrade-explained-part-1)引入了[EIP-4844](https://www.eip4844.com/)（又名“proto-danksharding”），它提供约 32 kB/秒的链上数据可用性。在接下来的几年中，随着[完整 danksharding](https://hackmd.io/@vbuterin/sharding_proposal)的推出，这一数字预计将分阶段增加，最终目标是约 1.3 MB/秒的数据可用性。同时，[数据压缩的改进](https://twitter.com/VitalikButerin/status/1554983955182809088)将使我们能够用相同数量的数据做更多的事情。
    
2.  \*\*应用程序自身的需求：与应用程序中的某些问题相比，用户会因高额费用而遭受多少损失？\*\*金融应用程序会因应用程序故障而损失更多；游戏和社交媒体涉及每个用户的大量活动，且活动价值相对较低，因此不同的安全权衡对他们来说是有意义的。
    

大约，这种权衡看起来像这样：

![](https://storage.googleapis.com/papyrus_images/1bcfafcb9541b12676a74e3a3473a98416ef1a76211274903ad3583fb286bc1e.png)

另一种值得一提的部分保证是**预先确认**。预确认是由一些参与者在汇总或验证中签名的消息，表示“我们证明这些交易包含在这个订单中，并且后状态根就是这个”。这些参与者很可能会签署与后来的实际情况不符的预先确认，但如果他们这样做，押金就会被烧毁。这对于消费者支付等低价值应用程序非常有用，而数百万美元的金融转账等高价值应用程序可能会等待由系统完全安全性支持的“定期”确认。

**预确认可以被视为混合系统的另一个例子**，类似于上面提到的“plasma/validium混合”，但这次是在具有完全安全性但高延迟的rollup（或validium）和具有安全级别低得多，延迟低。需要较低延迟的应用程序的安全性较低，但可以与可以接受较高延迟的应用程序生活在同一生态系统中，以换取最大的安全性。

**无需信任地_阅读_以太坊**
----------------

**另一种较少被考虑但仍然非常重要的连接形式与系统_读取_以太坊区块链**的能力有关。特别是，这包括**在以太坊恢复时能够恢复**。要了解为什么这是有价值的，请考虑以下情况：

![](https://storage.googleapis.com/papyrus_images/7c70e4eaee92b4d98ddcc60a2f8d5021aeb89d2c1b81a05510098e2c0d3be9c1.png)

假设如图所示，以太坊链恢复。这可能是一个时期内的暂时性问题，而链尚未最终确定，也可能是一个不活动泄漏期，其中链在较长时间内没有最终确定，因为太多验证者处于离线状态。

由此可能出现的最坏情况如下。假设顶部链的第一个块从以太坊链上最左边的块读取一些数据。例如，以太坊上有人将 100 ETH 存入顶链。然后，以太坊恢复。然而，顶部链不会恢复。因此，顶链的未来区块正确地遵循来自新正确的以太坊链的新区块，但_现在错误的旧链接_（即 100 ETH 存款）的后果仍然是顶链的一部分。这种漏洞可以允许印钞，将顶部链上桥接的 ETH 转变为部分储备。

有两种方法可以解决这个问题：

1.  **顶级链只能读取以太坊的_最终_区块**，因此它永远不需要恢复。
    
2.  **如果以太坊恢复，顶级链可能会恢复**。两者都可以防止这个问题。前者更容易实现，但如果以太坊进入不活动泄漏期，可能会导致长时间丧失功能。后者更难实现，但始终确保最佳的功能。
    

请注意，(1) 确实有一种边缘情况。如果对以太坊的 51% 攻击创建了两个新的不兼容的区块，并且这两个区块同时出现，那么顶级链很可能会锁定错误的区块（即以太坊社会共识最终不支持的区块），并且会必须恢复以切换到正确的位置。可以说，没有必要提前编写代码来处理这种情况；它可以简单地通过硬分叉顶部链来处理。

链以不可信方式读取以太坊的能力很有价值，原因有两个：

1.  它减少了将以太坊（或其他 L2）上发行的代币桥接到该链所涉及的安全问题
    
2.  它允许使用共享密钥库架构的账户抽象钱包安全地保存该链上的资产。
    
3.  很重要，尽管可以说这种需求已经得到广泛认可。(2) 也很重要，因为这意味着您可以拥有一个允许轻松更改密钥并保存跨大量不同链的资产的钱包。
    

**拥有一座桥梁会让你成为valium吗？**
-----------------------

假设顶层链最初是一条单独的链，然后有人在以太坊上放置了一个桥接合约。桥接合约只是一个接受顶链区块头的合约，验证提交给它的任何头是否带有有效证书，表明它已被顶链共识接受，并将该头添加到列表中。应用程序可以在此基础上构建来实现诸如存入和提取代币之类的功能。一旦这样的桥梁就位，是否可以提供我们之前提到的_任何_资产安全保证？

![](https://storage.googleapis.com/papyrus_images/f5165a60ff4ac3104ea09eb812d837bc9512f8f9c667240f382b63bd5c6c166d.png)

到目前为止，还没有！有两个原因：

1.  我们正在验证块是否已_签名_，但不是状态转换是否正确。因此，如果您将在以太坊上发行的资产存入顶链，并且顶链的验证器发生故障，他们可以签署无效的状态转换来窃取这些资产。
    
2.  顶链仍然没有办法读取_以太_坊。因此，如果不依赖其他一些（可能不安全的）第三方桥，您甚至无法将以太坊原生资产存入顶链。
    

现在，让我们将桥设为**验证桥**：它不仅检查共识，还检查 ZK-SNARK，证明任何新块的状态都已正确计算。

完成此操作后，顶级链的验证者将无法再窃取您的资金。他们_可以_发布一个包含不可用数据的区块，阻止所有人撤回，但他们无法窃取（除非试图为用户提取赎金，以换取允许他们撤回的数据）。这与 validium 的安全模型相同。

然而，我们仍然没有解决第二个问题：顶链无法读取以太坊。

为此，我们需要执行以下两件事之一：

1.  在顶部链中放置一个桥接合约来验证最终的以太坊区块。
    
2.  让顶部链中的每个块都包含最近以太坊块的哈希值，并具有强制哈希链接的分叉选择规则。也就是说，链接到不在规范链中的以太坊区块的顶链区块本身就是非规范的，并且如果顶链区块链接到最初是规范的以太坊区块，但随后变得非规范，顶部链块也必须变得非规范。
    

![紫色链接可以是哈希链接，也可以是验证以太坊共识的桥接合约。](https://storage.googleapis.com/papyrus_images/6fd14c8ce33c4a600f3c38cce503500a99da2f16494bb3aafdc7cf931a76d48c.png)

紫色链接可以是哈希链接，也可以是验证以太坊共识的桥接合约。

这够了吗？事实证明，仍然不行，因为有一些小的边缘情况：

1.  如果以太坊受到 51% 攻击会发生什么？
    
2.  如何处理以太坊硬分叉升级？
    
3.  您如何处理_链的_硬分叉升级？
    

对以太坊的 51% 攻击与对顶链的 51% 攻击会产生类似的后果，但相反。以太坊的硬分叉可能会导致以太坊在顶链内的桥梁不再有效。**如果以太坊恢复最终确定的区块，则社会承诺恢复；如果以太坊硬分叉，则社会承诺进行硬分叉，是解决此问题的最干净的方法**。这样的承诺很可能永远不需要实际执行：如果发现可能的攻击或硬分叉的证据，您可以激活顶部链上的治理小工具，并且只有在治理小工具失败时才对顶部链进行硬分叉。

不幸的是，对（3）的唯一可行答案是在以太坊上拥有某种形式的治理小工具，可以使以太坊上的桥接合约意识到顶链的硬分叉升级。

**摘要**：双向验证桥_几乎_足以使一条链成为验证。剩下的主要成分是社会承诺，如果以太坊发生异常情况导致桥梁不再工作，另一条链将硬分叉作为响应。

**结论**
------

“与以太坊的连接”有两个关键维度：

1.  提现到以太坊的安全性
    
2.  阅读以太坊的安全性
    

这些都很重要，并且有不同的考虑因素。两种情况都有一个谱：

![](https://storage.googleapis.com/papyrus_images/a016fee8203b6980127526c24f0f1fdba0311a604b168b8c26aa3dc959e09744.jpg)

请注意，这两个维度都有两种不同的衡量方法（所以真的有四个维度吗？）：**提款的安全性**可以通过 (i) 安全级别和 (ii) 受益于最高安全性的用户或用例百分比来衡量级别和**读取的安全性**可以通过以下指标来衡量：(i) 链读取以太坊区块的速度，特别是最终区块与任何区块的速度，以及 (ii) 链处理边缘情况（例如 51% 攻击和攻击）的社会承诺的强度硬分叉。

该设计空间的许多区域的项目都具有价值。对于某些应用程序，高安全性和紧密连接性非常重要。对于其他人来说，为了获得更大的可扩展性，更宽松的东西是可以接受的。在许多情况下，从今天较松散的耦合开始，并在未来十年随着技术的进步转向更紧密的耦合，很可能是最佳选择。

---

*Originally published on [Waato](https://paragraph.com/@waato/vitalik-l2)*