介绍

在本文中,我将谈谈以太坊上的 L2,当前扩容生态系统的状态;以及为什么我认为长期来看在以太坊上运行 L2 为最经济和最技术可持续的扩容解决方案。

免责声明:本文汇总了我的想法、其他人的资源和各种技术信息。这篇文章并不是对扩容生态系统的简单总结,而是对以太坊 L2 可扩展性的当前状态和未来可行性更详细的概述。

为了更深入地研究,我们需要先了解一些定义和概念。

摘要

为了总结这篇冗长的指南,我将列出与该技术及其未来前景有关的重要几点:

用户将不再需要与以太坊主网交互,因为它将仅作为 L2 的数据可用性层

Web3 应用程序的 UX 将把所有的复杂性都以简明的形式呈现出来

模块化的区块链是经济和技术最可行的长期可扩展性设计方案

目前,以太坊在模块化区块链中占主导位置,因为它拥有很强的安全性,并随着转向 PoS 安全性也会进一步提高

长期来看,有效性证明比欺诈证明更佳

Volition L2 基础设施 (Validium + zk-rollup) 正成为基于 zkVM 的 L2 的黄金标准

以太坊作为 L1 层同时也利用数据分片、维克尔树 (verkle trees)、无状态和其他改变提高可扩展性

L2 领域正在加速构建一个共享的跨 L2 通信框架,这将使不同的 L2 项目之间共享流动性和具有智能合约可组合性

L2 使用ETH作为 gas 费,但之后会利用激励机制创建 DAO 治理代币以实现去中心化运营

应用程序设计空间正不断扩大,因为构建者可用的带宽将更多且面临的执行层障碍将更少

Layer2 是什么?

L2 (二层) 是一种扩容解决方案,它具有一个单独的执行层 (代码运行的地方,如 EVM 这样的环境) 并运行在 L1 (在我们的讨论中 L1 即为以太坊) 之上。而这个执行层继承了 L1 网络的安全保证和去中心化特性。这意味着,如果 L2 由于漏洞、基础设施故障而宕机,L1 也会在智能合约桥接内安全地保护用户的资产。

根据提交到主网上的最新状态快照可以取回资产。真正的 L2 桥接是完全无需许可和去中心化的,因此一旦用户存入资金,用户总能访问自己的资产。目前几种扩容解决方案使用的是不同的加密证明机制,其中都具有不同的安全和可扩展性权衡。在下文中我们将深入讨论它们之间的差异。

L2 的主要类型

有两种参数可以用来对 L2 扩容解决方案进行分类。其一是根据使用的加密证明分类,其二是看它们的数据可用性 (DA) 存储在链上还是链下。

两种主要的证明类型:

有效性证明 - 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明

欺诈证明 - 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD),一旦证明提交至 L2,验证者留有一定的时间以标记出无效的证明;无效证明可能包含着不正确的状态转换,因而会对涉及的验证者施加惩罚;随后状态回滚至最近的有效快照状态处

数据可用性存储在链上或链下是什么意思呢?

链上:状态数据连同所有交易的所有执行的 calldata (智能合约函数调用、原生代币转移、签名) 一起放入交易捆/rollup 的加密证明中,这使得可以在链上访问和验证所有数据。

链下:执行的 calldata 和状态由 L2 处理并存储在链下。这使得这个方案不够安全和去中心化。然而,链下存储数据方案更容易将更多交易打包进一个 rollup 中,也因此比链上调用数据证明方案的速度快许多。

扩容解决方案分类

这些是帮助区分不同类型 L2 的主要相关属性。但是,既然我们可以直接通过 L1 实现扩容,为什么要使用 L2 呢?为什么不使用更便宜的链,如 Solana、Fantom、Avalanche 或 BSC?我们将在下一节回答这个问题。

模块化 vs. 单一型基础结构

在区块链中,有一个著名的概念叫做三难困境 —— 即试图优化三个主要的因素:安全性、去中心化和可扩展性。在同一个系统中实现三种优化十分困难。通常来说,区块链对三点中的某一点做出权衡并实现其他两点的优化。而在以太坊这个用例中,我们首先优化安全性和去中心化水平,同时将提高可扩展性作为次要优先的工作。需要明确的是,可扩展性并非以太坊核心开发者的主要优先考虑事项。

整个 2021 年,由于 DeFi 和 NFT 的增长,以太坊主网变得越来越拥挤。因而以太坊对区块空间的需求前所未有地高。但是,我们不能简单地通过改变区块 gas limit 的大小来增加区块可以包含的交易数量,因为这将极大提高运行一个节点的硬件要求,这意味着运行节点将变得更加困难 (降低去中心化)。再者,如果区块变得太大,这会破坏共识 (降低安全性)。

单一型区块链

其他链采用了不同的方法,它们优先考虑可扩展性,其次是安全性,最后才是去中心化。让我们以 Solana 主网 beta 版本为例。该网络有一个主要的客户端开发团队 (Solana Labs)、大约 1000 个验证者 (来源:SolanaBeach),以及另一种称为 Proof of History (PoH) 的共识机制。

Solana 采取了独特的扩容方案,这是一种单一型区块链。随着计算能力的增加,他们计划无限扩展运行网络的验证节点。这种方法使网络去中心化程度降低,因为节点验证者被迫不断购买性能更好的硬件以不断跟上网络。由于量子隧道效应,当我们达到芯片内部所能容纳的极限时,人们担心计算能力的增长速度会放缓。某种程度上,我们需要一种新的计算范式出现或技术上的重大突破,以使这种方法可持续。因此,我的结论是区块链扩容有更好的长期替代方案。

模块化区块链

模块化区块链的方案本质上由一个主要网络组成,该网络优先考虑安全性和去中心化,以便它可以充当 L2 的数据可用性层。如果这个主要网络出现故障,所有 L2 都会出现故障。但是,如果某个 L2 出现故障,所有资金都是安全的 (由 L1 提供安全性保障)。这是以太坊采用的方法,因为 L2 将为我们提供最大的扩容空间。当然,还有其他一些扩容 L1 的方案,如数据分片、状态休眠机制 (state expiry) 和维克尔树 (verkle trees) 以及其他各种方法。然而,需要更多时间实现这些方案,因为以太坊优先提高安全性和去中心化。

模块化区块链的一个关键方面是它们可以无限扩展,而无需快速升级硬件。它们之所以能做到这一点,是因为与单一型区块链的架构相比,它们在技术和经济上都是可持续的。至于为什么模块化架构比单一型架构更可持续,更详细的论证可以在这篇文章,作者:推特号 @ epolynya (u/Liberosist - Reddit)。

从本质上讲,区块链的可持续性从两个维度来分析:

技术可持续性

节点需要保持同步

在合理的时间内完成从区块链的创世区块开始的同步

避免状态过度膨胀而导致失控

经济可持续性

理想情况下,L1 产生的收入高于运营网络的成本

不能人为地提高吞吐量,因为最终所有中心化的 L1 将不得不增加它们的费用

Rollup 和数据分片 (rads) 成为满足这些需求的唯一解决方案,这就是为什么模块化架构是唯一长期可行的扩容解决方案。

更完整的解释请阅读下文中“拓展阅读”板块里  @epolynya's articles 的文章。

L2 的当前状态以及用户如何从中受益

我们正实现扩容,过去几年一直研究的解决方案已经上线了 —— 至少提供了有限的可扩展容量。而且在不久的将来会有更多解决方案在主网上发布其 L2 的改进版本和 Alpha 版本。在上文的 “L2 的主要类型” 板块中描述了扩容方案的不同属性,根据这些属性可以将扩容方案分成不同的类别。

L2 解决方案的不完整列表

Optimistic rollups

➤Arbitrum

Arbitrum 由 Offchain Labs 团队构建。该网络本身叫做 Arbitrum One,它利用 optimistic rollup 的技术方案来扩容以太坊。Arbitrum One 使用欺诈证明 (fraud proofs),并具有链上调用数据可用性,这意味着每笔交易的所有数据都被完全排序、捆绑并提交到主网上。由于 Arbitrum 使用了欺诈证明,它会有周期大概为七天的争议时间延迟 (dispute time delay, DTD)。一旦 DTD 通过了,就可以认为网络上的状态更改是有效的,用户可以通过本地桥接提出他们的可用余额。我们稍后会讨论其他中心化的桥接,这些桥接允许你通过跨 L2 的流动性池绕过欺诈证明的周期,实现即时提款。

Arbitrum One 是目前锁仓量最高的 L2 网络。一个很棒的网站  L2Beat 向我们统计了这些数据。

已经有许多协议和应用程序支持 Arbitrum 了,包括支持无缝切换至 Arbitrum L2 的基础设施。目前使用 L2 的唯一问题是它需要累积更多的流动性,并且像跨 L2 AMM 架构 (比如由 Starkware 和 Loopring 发明的 dAMM) 这样的创新方案以及 Connext 和 Hop 这样的流动性协议需要足够多的流动性和足够去中心化,以便所有扩容解决方案能够共享同样的基础设施,而不会导致生态系统碎片化。

关于 Arbitrum 应用程序的生态系统概述,请浏览 Arbitrum Portal 网页。

主要工具:

区块浏览器 - Arbiscan

桥接 -Arbitrum 原生桥接 (提款大约需要等待 7 天的 DTD 时间)

网络 RPC 配置- Chainlist (搜索 Arbitrum One 并添加至MetaMask) / 在桥接你的资产之前请检查你的移动钱包是否支持 Arbitrum (这可能会导致你的财产永久丢失) — 个人建议:Rainbow wallet (免责声明:尚未支持 Arbitrum)

AMM 聚合器 - 1inch

如果读者使用 Arbitrum 桥接时感到困惑,请查看 Arbitrum 桥接教程。如果想要从以太坊以外的其他网络进行桥接,请查看下文的 L2 桥接板块 (注意,这些桥接都有不同程度的中心化)。

Arbitrum Nitro

Arbitrum Nitro 是 Arbitrum One L2 的升级版,它使用 Web Assembly (WASM) 目标取代了自定义的 AVM (Arbitrum VM) 以负责欺诈证明。这个升级也会使得整个系统与 EVM 更加兼容。另一个变化是,EVM 模拟器 (EVM-emulator) 会被 Geth 取代 (Geth 是目前运行最多的以太坊客户端)。ArbOS 组件也被修改,以提供跨链通信;还会发布一个新的、改进的交易批处理和压缩系统,以最小化 L1 成本。

这次升级将会无缝推出,所以用户无须做任何事情。升级后,执行速度预计会提高 20-50 倍并极大地降低交易成本。更多内容请阅读 Offchain Lab 团队发布的公告。

Arbitrum 的未来方向

像 Offchain Labs 团队宣称的那样,Arbitrum 不仅仅是一个 optimistic rollup 方案,他们会推出其他基于零知识证明 (zero knowledge proofs) 的扩容解决方案,同时还将继续改良 Arbitrum One optimistic rollup L2 方案。这是零知识化趋势的一个很好的例子,许多项目正在转向零知识方向。因为一旦 zk L2 的技术实现得到了更好的研究并能够实现通用的 EVM 计算,执行环境就会更加灵活,或者说可扩展性更强。

Optimism

Optimism 是一家公益公司  (PBC),它在以太坊上构建了一个 optimistic rollup L2 解决方案 Optimistic Ethereum (OE)。我将通过解释 Arbitrum 和 OE 在基础架构上的异同来描述 OE。详细的比较可以阅读 Kris Kaczor 发布的推文介绍。

Optimism 和 Arbitrum 的相同之处:

都属于 rollup 并且所有交易数据都存储在 L1 上

都属于 “optimistic” 机制,因为都使用欺诈证明

都利用定序者 (sequencer) 来实现即时 “最终确定性”

都具备通用的跨链通信功能,可以用来构建高级代币桥

都支持与 EVM 相关的工具,但是需要专门的插件

Optimism 和 Arbitrum 的不同之处:

具有不同的欺诈证明验证机制

Optimism OVM 2.0 目前是 EVM 等同的 (EVM equivalence),而 Arbitrum One (即便 Nitro 升级之后) 只是 EVM 兼容的

Optimism 采用单轮欺诈证明,而 Arbitrum 采用多轮欺诈证明

在 Optimism 上部署 app 依然需要通过许可 (为之前的申请者开放私有白名单网络),而 Arbitrum 发布了公开主网版本 (无需许可)

主要工具:

区块浏览器 - Optimistic Etherscan

原生桥接 - Optimism Gateway

用户指南

现有的应用程序门户

网络 RPC 设置 - Chainlist (搜索 Optimistic Ethereum)

OVM 2.0

OVM 是 Optimistic Virtual Machine (Optimistic 虚拟机) 的缩写,它是执行 OE L2 中所有交易的虚拟机。OVM 2.0 于 11 月 11 日完成了主网升级。

Optimism 通过 OVM 2.0 升级实现 EVM 等同性这一目标,这将使得 OE 成为完全等同于 EVM 的编译目标。像 Dapptools (智能合约代码库和命令行工具 — 形式化验证、符号执行、项目管理等等)、Hardhat、Solidity、Vyper 等等这样的开发者工具将可以直接在 OVM 2.0 本地运行,这些工具的开发者不必担心如何支持碎片化的代码库。这就是以太坊社区中每个人都提到的强大的“网络效应”。值得注意的是,EVM 的任何竞争者都必须从头开始重建所有这些开发者工具。

阅读 Optimism 的博客文章以了解他们如何实现 EVM 等同性。

追溯性公共物品募资

我认为 Optimism 团队最重要的公告之一就是他们承诺将其所有利润用于推动公共物品发展 (总计超过 100 万美元),并追溯性地使用二次方投票。团队还承诺将 L2 定序者的利润 100% 捐赠出去以推动公共事业发展。这笔利润是由产生的交易费收入减去向以太坊主网提交欺诈证明所需支付的成本而剩下的金额。这位以太坊社区中其他 L2 项目树立了一个利他主义的榜样。

OE 的未来方向

Optimistic Ethereum 未来的计划雄心勃勃,其路线图可在 Optimism 规范中查看。

摘自其规范:

该路线图和抽象的设计是为了使每个组件能够独立发展。这 4 个主要组件是:

optimistic 主网部署

欺诈证明基础设施

无状态客户端

分片

每个组件都会发布独立且增量式的版本,每一次更新都会让 Optimistic Ethereum 更加统一、更加强大。

Boba Network

Boba 是一个以太坊 L2 扩容解决方案,由 OMG 基金会核心贡献者 Enya 团队构建。Boba 是 Optimistic Rollup 解决方案,可以降低 gas 费,提高交易吞吐量,并扩展智能合约的性能。Boba 通过社区驱动的流动性池为用户提供了快速退出功能 (类似于 Connext 或 Hop 协议等其他解决方案),将 Optimistic Rollup 的退出周期从 7 天缩短到只有几分钟,同时让流动性提供者能够进行流动性挖矿并从中获益。

Boba 最初通过分叉 Optimism 而形成,他们团队是 OVM (optimistic 虚拟机)的关键贡献者之一。一个有趣的事实是,Boba 部署 OVM 2.0 的时间比 optimism rollup 早,后者于 11 月 11 日在 Optimistic Ethereum 上发布。尽管 Boba 是分叉而来的,但它们确实有一个模块化的结构,使其能够向主网提交证明,这允许在未来实现可升级性或零知识化。团队计划为即将发布的 v3 完全重写代码库,v3 将在未来几个月在主网上发布。Boba 的设计还能够实现智能合约可扩展性,并允许开发者构建dapp,调用在 web 规模的基础设施 (如AWS Lambda) 上执行的代码,这使得无法在链上执行或成本过于昂贵的算法得以使用。

BOBA 空投 - 治理代币

资源:

区块浏览器

Boba 网络门户网站 (桥接)

开发者门户

Metis

Metis 是以太坊上的 L2 扩容解决方案,它使用并行或分片式的 optimistic rollup 架构。在 Metis 虚拟机 (或 MVM) 中,有着所谓的去中心化自治组织,即DAC (Data Availability Committee),它们拥有独立的计算和存储层,可以根据 L2 应用 (如 DAO、dapp、协议等等) 的需求定制。这些 DAC 是 optimistic rollup 的并行执行层。由于 DAC 具有跨层通信协议,各个 DAC 之间是完全可互操作的,并且流动性可以无缝地在它们之间转移。根据 Metis 的技术白皮书,他们设计的扩容解决方案可以对以太坊进行横向扩容,而无需在基础设施上投入大量资金。

在 Liscon 期间,我偶然遇到了 Metis DAO 团队,我对其基础构架的理解是,它是一个具有不同执行层的网络,不同的执行层专门为特定的应用者服务以达到扩容目的 (DAO、dapp 等等),同时通过向主网提交欺诈证明来保证其具有以太坊 L1 级别的安全性。可能也会有一些公共 DAC,比如一些用来做 swap 的 AMM 流动性协议。由于其具有跨 DAC 的原生互操作性,其他 DAC 的用户也可以在需要时使用这种公共 DAC。这是一种新颖的设计和有趣的实验。

来源 | mirror.xyz/dcbuilder.eth

作者 |  DCBuilder