L2 与侧链技术要点：Rollup、ZK 与数据可用性

把所有扩容方案摊在一张桌子上，关键不是比 TPS，而是比「你究竟信任谁」。状态通道（State Channel）：双方把资金锁进 L1 多签合约，之后在链下反复签名结算，只在开关通道时上链；你信任的是「随时能提交最新状态」，但需要保持在线或委托瞭望塔（Watchtower），适合高频双向支付（如闪电网络），不适合复杂合约。

Plasma：把子链状态根锚定到 L1，用户靠「退出游戏（Exit Game）」离场；但数据可能不发布到 L1，一旦运营方隐藏数据，用户无法证明自己的余额，以太坊主网因数据可用性难题基本放弃 Plasma。

Rollup：把交易数据压缩后发布到 L1，配合欺诈证明或有效性证明，只需信任「至少有一个诚实验证者」或「数学证明」，是当前主流。侧链（Sidechain）：独立共识、独立验证者，靠桥锁定与映射资产，安全性等于它自己的验证者集合。

Validium：用有效性证明但数据放链下，成本更低、引入了数据可用性风险。Volition：让用户每笔交易自己选数据放链上还是链下，是 Rollup 与 Validium 的混合体。

Optimistic Rollup（乐观 Rollup）的核心假设是「默认所有提交者都是诚实的」。流程是：排序器在 L2 上执行交易、把压缩后的批次与新状态根提交到 L1 合约，并在 L1 质押保证金；提交后进入一段挑战期（Challenge Period），通常为 7 天；这段时间内任何验证者（Verifier）都可以下载 L1 上的数据、重新执行一遍交易，如果发现状态根不对，就提交欺诈证明（Fraud Proof），L1 合约会重新计算有争议的那一步（单步证明），判定谁错并没收作恶者的质押。

所以它的安全性建立在「至少存在一个诚实的、有动机去挑战的验证者」之上，这被称为 1-of-N 诚实假设。代价也很明显：因为要留足挑战时间，从 L2 官方桥提现回主网通常需要等约 7 天——这不是技术没做好，而是这套安全模型的必要成本。

ZK Rollup（零知识 Rollup）走的是另一条路：每一批交易都会附带一个密码学证明，证明「状态从 A 变到 B 的每一步都是合法的」，称为有效性证明（Validity Proof）。

L1 合约只需验证证明是否正确，验证通过即最终确认——因此不需要挑战期，提现可以快很多。实现上有两大证明体系：SNARK（简洁非交互式零知识论证）证明体积小、链上验证成本低，但早期方案需要可信设置（Trusted Setup）且不抗量子计算；STARK（可扩展透明知识论证）不需要可信设置、透明且抗量子，代价是证明体积大得多、链上验证 Gas 更高。

另一个容易被忽视的成本在生成端：把 EVM 的任意逻辑编译成电路（Circuit）再生成证明，需要大量算力与内存，越是通用 EVM 兼容、证明生成越慢越贵，这也是各家 zkEVM「EVM 等价程度」各不相同的原因。

两大流派没有绝对优劣，差异集中在证明方式与时间成本上：

选型建议：要生态和开发便利选 Optimistic 系列，要快最终性与长期可扩展性看 ZK 系列；对普通用户而言，两者都比主网便宜得多，真正的差异体现在提现速度与生态成熟度。

侧链（Sidechain）是一条拥有自己共识机制与验证者集合的独立区块链，通过一条桥（Bridge）与主链互通：你把资产转入桥合约锁定，桥在侧链上给你发行映射资产，反向操作则销毁映射资产、解锁主链资产。

它的优点是兼容性好、成本低、可定制；根本问题在于安全性不与 L1 共享：侧链有多少验证者、桥由谁的多签密钥控制，安全上限就到那里。两个典型事故说明了后果：Ronin（Axie Infinity 的侧链）在 2022 年 3 月被攻破，攻击者获取了 9 个验证者密钥中的 5 个，盗走约 6.24 亿美元；Poly Network 在 2021 年 8 月因合约逻辑漏洞被跨链盗走约 6.11 亿美元（后大部分被归还）。

两者的共同点是：风险不在链本身，而在「跨链那一环」的密钥与代码。

Validium 可以理解为「ZK Rollup 去掉链上数据」：它同样使用有效性证明来保证状态转换的正确性，但把交易数据放在链下（由运营方或数据可用性委员会 DAC 保管），只在 L1 提交状态根与证明。

好处是成本更低、吞吐更高——链上只留极少的证明数据；代价是引入了数据可用性风险（Data Availability Risk）：如果运营方拒绝提供数据，用户手里没有完整交易数据，就无法自行计算自己的余额、也无法独立构造退出证明，这时资产的命运重新回到运营方手里。

Volition 是折中方案：把选择权交给用户，每笔交易自己决定数据放链上（更安全、更贵）还是放链下（更便宜、风险更高），让「安全预算」可以按资产大小灵活分配。

对初学者来说，判断标准很简单：凡是数据不在 L1 的方案，都要多问一句「谁在保管数据、它作恶或消失了怎么办」。

L2 的成本大头一直是把数据发布到 L1 的费用。EIP-4844（Proto-Danksharding，随 2024 年 3 月 Dencun 升级上线）引入了一种新的交易类型——blob 交易：它把 L2 的数据放进独立于常规 Calldata 的「数据块（Blob）」中，由共识层临时保存约 18 天并用 KZG 承诺（KZG Commitment）校验，且 blob 有独立的费用市场，不与普通交易的 Gas 竞争。

效果是 L2 的数据成本大幅下降（上线初期多数 L2 费用下降了一个数量级以上），而 L1 的存储压力可控。在此之上还出现了专门的 DA 层（数据可用性层）：Celestia 提供模块化的数据可用性采样（DAS），让 L2 把数据发布到更便宜的外部网络；EigenDA 基于以太坊再质押（Restaking）提供高吞吐 DA；Avail 同样提供模块化 DA 与跨链数据可用性验证。

它们的定位是把「数据存哪」从 L1 拆出来单独定价，代价是安全性不再完全由以太坊共识承担，需要评估各自的验证者与抽样机制。

排序器（Sequencer）是 L2 的「出块人」：它接收用户交易、决定执行顺序、在 L2 上快速给出软确认（Soft Confirmation，界面显示成功但尚未最终结算到 L1），再把批量数据与状态提交到 L1。

目前绝大多数 L2 的排序器由项目团队单独运营，这带来三类现实风险：一、审查（Censorship）——理论上可以拒绝打包特定地址的交易；二、停机（Downtime）——排序器故障时新交易全部卡住（Arbitrum、Optimism 都出现过数小时的排序器中断，期间用户只能等待或被迫走 L1 强制包含通道）；三、MEV（Maximal Extractable Value，最大可提取价值）——排序权意味着可以先看到交易再决定顺序，从而套利或进行三明治攻击。

行业正在推进去中心化排序器：Metis 的排序器池、Espresso 与 Astria 等共享排序器（Shared Sequencer）网络，以及各家 L2 路线图中的排序器竞拍与轮换机制，但截至今天尚未全面落地。

在 L2 体系里，桥分三类，信任假设完全不同。官方桥（Canonical Bridge）：由 L2 的 L1 合约实现，退出不依赖第三方，是最可信的通道，缺点是慢（Optimistic 系列约 7 天）。

第三方桥（Third-Party Bridge）：靠流动性池或中继者垫资实现「跨链即到账」，速度快但你信任的是桥运营方的多签、合约与结算逻辑，历史上被盗金额最高的也正是这一类。

交易所中转：通过中心化交易所的充值提现实现跨链，本质是把信任转移到交易所的托管风险上。两个必须纠正的误区：「L2 一定比 L1 安全」——不对，L2 继承的是 L1 的结算与数据可用性，但它自己新增了桥、排序器与合约升级等信任面；「用了 Rollup 就完全不需要信任」——也不对，Rollup 依然需要 1-of-N 诚实假设或证明系统正确性，加上合约可升级、排序器中心化等现实因素。

正确的心态是把每个环节的信任假设单独列出来，逐一评估。