如何在保持去中心化的同时提升吞吐量?Layer 2 是当前最有希望的答案。
区块链领域有一个著名的「不可能三角」(Blockchain Trilemma),最早由以太坊创始人 Vitalik Buterin 正式提出:在安全性(Security)、去中心化(Decentralization)和可扩展性(Scalability)三者之间,任何单一区块链系统最多只能同时满足其中两个。
安全
/\
/ \
/ \
去中心化——扩容
这个三角的约束并非理论猜想,而是源于分布式系统的深刻限制:
Layer 2 的解题思路是分工:L1(主链)优先保障安全性和去中心化,将扩容的任务委托给 L2 网络。L2 在链下处理大量交易,将压缩后的证明或摘要提交回 L1,利用 L1 的安全性作为最终仲裁层。
在 L2 成为主流之前,社区尝试过多种扩容方案:
2024 年后,Rollup-Centric 路线图已成为以太坊生态的共识方向,Layer 2 不再被视为「备选方案」而是「唯一可规模化路径」。
一个合格的 L2 方案需要满足以下条件:
状态通道(State Channels)是最早被提出的 L2 方案之一,灵感来源于比特币的支付通道。其核心思想是:参与方在链上锁定一笔保证金,然后在链下自由交换经过签名的状态更新,只有最终结算时才将最终状态提交上链。
工作流程:
如果一方提交的是旧状态,另一方可以在争议期内提交更新的状态来惩罚欺诈行为。这使得状态通道是「即时最终确认」的——只要对方签名了,交易就不可逆。
闪电网络是比特币生态中最重要的状态通道实现:
除了比特币闪电网络,以太坊上也曾有 Raiden Network、Celer Network 的状态通道方案,但随着 Rollup 的崛起,状态通道在以太坊生态中已逐渐边缘化,更多用于高频的双向交互场景(如游戏、流支付)。
Rollup 的核心思想是将执行移到链下、将数据留在链上(或通过其他方式保证可用性)。L2 的排序器(Sequencer)收集用户交易、执行并打包,将压缩后的交易数据发布到 L1 上。L1 上的 Rollup 合约验证这些数据的有效性(直接验证或通过欺诈证明/有效性证明)。
Rollup 是目前以太坊生态中最重要、发展最快的 L2 方案,根据验证方式的不同,分为两大类:Optimistic Rollup 和 zk-Rollup。
Optimistic Rollup 采用「乐观执行」策略:默认假设所有提交到 L1 的交易批次都是有效的。如果有人认为某一批次包含无效交易,可以在挑战期(通常 7 天)内提交**欺诈证明(Fraud Proof)**来质疑。
详细流程:
这是 Optimistic Rollup 安全模型的核心:
Arbitrum:
Optimism(OP Mainnet):
其他值得关注的项目:
优势:
限制:
zk-Rollup 使用零知识证明(特别是有效性证明 Validity Proof)来验证交易批次的正确性。与 Optimistic Rollup 不同,它不需要挑战期——因为数学证明本身就已经保证了交易的有效性。
详细流程:
由于有效性证明在数学上是不可伪造的,zk-Rollup 实现了即时最终确认(一旦证明在 L1 上被验证,状态就不可逆)。
理解 zk-Rollup 需要了解两种主要证明系统:
zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge):
zk-STARK(Zero-Knowledge Scalable Transparent Argument of Knowledge):
zKP 证明生成是 zk-Rollup 最大的技术挑战:
zkSync Era:
StarkNet:
Scroll:
Polygon zkEVM:
Linea:
优势:
限制:
| 维度 | Optimistic Rollup | zk-Rollup |
|---|---|---|
| 安全模型 | 经济安全(1-of-N 诚实假设) | 数学安全(密码学证明) |
| 最终确认 | 7 天挑战期(可第三方桥加速) | 即时(证明验证后) |
| EVM 兼容 | 高(Arbitrum/OP 接近完全兼容) | 中高(进步中,Scroll/Polygon 接近等效) |
| Gas 成本 | 交易数据发布到 L1 较高 | 证明+压缩数据发布,通常更低 |
| 证明生成 | 无需生成 | 需专用硬件(FPGA/GPU) |
| 提款延迟 | 7 天(可通过流动性桥绕过) | 几分钟到几小时 |
| 生态成熟度 | 最成熟(Arbitrum/OP 主导) | 快速增长 |
| 信任假设 | 需要信任至少 1 个诚实方 | 最小信任(只信任密码学) |
什么时候选择 Optimistic Rollup?
什么时候选择 zk-Rollup?
侧链是独立的区块链网络,通过**双向桥接(Two-Way Peg)**与主链连接。侧链有自己的共识机制、验证节点集合和安全模型,不完全依赖主链的安全性。
关键区别:
Polygon PoS(原 Matic)是最成功的侧链之一,也是最早的以太坊扩容方案之一:
历史角色变化:
| 维度 | Rollup | 侧链 |
|---|---|---|
| 安全性 | 继承 L1 | 独立 |
| 数据可用性 | 发布到 L1 | 自行维护 |
| 共识 | 无需单独共识 | 需要独立共识 |
| 去中心化 | 依赖 L1 | 自建验证者网络 |
| TPS | 2K-10K | 7K+ |
| 资产风险 | 智能合约风险 | 验证者/桥风险 |
侧链面临的最大风险是桥接安全:
Plasma 是 2017 年由 Vitalik Buterin 和 Joseph Poon 提出的早期 L2 方案,可以被视为 Rollup 的思想前身。
设计:
为什么 Plasma 逐渐被放弃?
Plasma 的思想影响了后来的 Arbitrum 和 Optimism——它们解决了 Plasma 的数据可用性问题,将完整交易数据发布到 L1。
Validium 是 zk-Rollup 的一个变体:它同样使用有效性证明,但不将交易数据发布到 L1,而是将数据存储在链下(由一组数据可用性委员会维护)。
与 zk-Rollup 的区别:
优势:更低的 Gas 成本(不需要在 L1 发布交易数据),更高的吞吐量。
风险:如果数据可用性委员会合谋扣留数据,用户资金可能被冻结。
代表项目:
2023 年以后兴起的趋势:标准化 L2 部署框架使用户可以一键部署自己的 Rollup:
L2 生态爆炸式增长后,跨 L2 资产转移成为关键需求。主要解决方案:
官方桥:
流动性桥(Liquidity Bridge):
无需信任的消息传递:
当前大多数 L2 使用单一的集中式排序器(Sequencer),这带来两个问题:
共享排序器网络试图解决这些问题:
随着 L2 数量和吞吐量增长,将全部数据发布到以太坊 L1 成为瓶颈和成本中心。专用数据可用性层提供替代方案:
使用外部 DA 层的 Rollup 通常被称为 Sovereign Rollup 或 Validium,它们在一定程度上牺牲了继承 L1 的安全性。
2024 年 3 月以太坊 Cancun-Deneb 升级引入的 EIP-4844 是以太坊扩容路线图的关键里程碑:
Full Danksharding 是以太坊路线图的下一阶段:
| 方案 | TPS | 最终确认 | 安全性 | 代表项目 |
|---|---|---|---|---|
| 状态通道 | 百万级 | 即时 | L1 锚定 | 闪电网络 |
| Optimistic Rollup | 2K-4K | 7 天 | L1 锚定 | Arbitrum |
| zk-Rollup | 2K-10K | 即时 | L1 锚定 | zkSync |
| 侧链 | 7K+ | 即时 | 独立 | Polygon PoS |
| Validium | 9K+ | 即时 | 数据委员会 | Immutable X |
选择 L2 方案时,可以从以下维度评估:
安全需求:需要 L1 级别的安全性吗?
吞吐量需求:需要多高的 TPS?
10K → Validium 或侧链
最终确认需求:对提款延迟敏感吗?
EVM 兼容性需求:需要完全兼容现有工具链吗?
预算和费用:对 Gas 成本的敏感度?
2024-2025 年,以太坊 L2 数量急剧增加(超过 50 条活跃 L2),带来了碎片化挑战:
解决方案方向:
L2 之上的 L3(Layer 3)概念由 Arbitrum Orbit 和 StarkNet 等推动:
当前区块链生态正在向模块化、多层架构演进:
这个架构与互联网的协议栈(物理层→链路层→网络层→传输层→应用层)形成了有趣的类比——区块链正在形成自己的分层协议栈。
扩展不是妥协,而是分工。L1 负责安全,L2 负责规模。正如互联网通过分层协议实现了全球化连接,区块链也将通过分层架构实现亿级用户的可信计算。