Rollup 到底分几种?用数据可用性和状态证明两根轴看懂二层谱系 图 1
Rollup 到底分几种?用数据可用性和状态证明两根轴看懂二层谱系 · 图 1

在中文资料里,Layer2 常常被分成“乐观 Rollup”和“ZK Rollup”两派,可一旦碰到 Validium、Optimium、Volition 这些名字,二分法立刻不够用。更可靠的读法是把两条独立的轴分开看:一条是交易数据放在哪里,另一条是状态正确性由谁担保。两条轴交叉出的四个格子,几乎能安放市面上大多数扩容方案。

第一条轴:交易数据是发到 L1,还是留在链下

Rollup 的核心约定是:执行搬到 L2,但每笔交易的原始数据仍然发布到以太坊,任何人拿这份数据都能自己重算出 L2 的状态。数据发布的位置决定了扩容上限——数据进了主网 calldata 或 blob 空间,就要付主网的费用,吞吐量受限于主网能塞下多少字节。

如果项目把数据留在链下,只把状态承诺写回主网,命名上就不再是 Rollup:用有效性证明担保、数据放链下的通常叫 Validium;用欺诈证明担保、数据放链下的常叫 Optimium。以太坊官方文档把 Validium 描述为“用有效性证明强制交易完整性、但不在主网存储交易数据”的方案,这一定义正好点出了它和 ZK Rollup 的唯一分歧在数据可得性,而不是密码学强度。

数据放链下有两种常见做法。一是数据可用性委员会(DAC),由若干签名者承诺数据可用,用户必须相信委员会里至少一个诚实方真的公开了数据;二是专用数据可用性链,安全性来自那条链自己的共识。两者的信任假设都不如“数据在以太坊上”那么硬,因为以太坊自己不需要额外信任就能保证数据可查。

Rollup 到底分几种?用数据可用性和状态证明两根轴看懂二层谱系 图 2
Rollup 到底分几种?用数据可用性和状态证明两根轴看懂二层谱系 · 图 2

第二条轴:状态错了会怎样

二维谱系图上四个格子分别对应链上数据与有效性证明、链上数据与欺诈证明、链下数据加证明、链下数据加委员会的组合

乐观方案假设最新承诺是对的,留出一段挑战期;在此期间任何人可以用欺诈证明指出错误,挑战成功则承诺被撤销。ZK 方案在承诺生效前就提交有效性证明,主网合约验证通过后状态才被接受。前者的成本压力落在挑战者和时间上,后者的成本压力落在证明生成和验证 gas 上。

两条轴合起来看,四个格子的差异是清晰的:数据在 L1 加有效性证明,是最常见的 ZK Rollup;数据在 L1 加欺诈证明,是乐观 Rollup;数据在链下的两种,安全边界都退回到数据提供方或委员会。有些项目提供 Volition 模式,允许按交易在链上链下数据之间切换,等于把选择权交回用户。

用这两条轴读风险

普通用户可以把它们转成三个问题。第一,如果运营方停止发布数据,我还提得出钱吗?数据在 L1 的链,答案通常是能用逃生通道或重建状态;数据在链下的链,就要看数据承诺方的合约里有没有强制公开条款。第二,我需要等多久才能确信状态改不了?乐观方案取决于挑战期长度,ZK 方案取决于证明生成与提交延迟,两者都不是“交易上屏”那一秒。第三,我依赖的桥是谁的合约在管?这属于另一条独立维度,和分类无关。

需要注意的是,分类只描述技术形态,不评价运营水平,也不等于安全评分。同样是数据在 L1 的 Rollup,升级权限可能在多签手里,也可能已在时间锁后面;同样是 ZK 方案,证明系统的成熟度、客户端数量、历史运行记录都不同。看一个 L2 时,先把它在两条轴上的位置定下来,再单独查治理与升级、验证合约、数据可用性三块细节,比记住一串营销名称有用得多。

也有一种容易混淆的情况:侧链拥有自己的共识与验证者集合,跨链资产安全性取决于那条链的诚实比例,与上面两条轴都不沾边,但常被笼统称为“二层”。区分它们最直接的方式,是看能否仅凭以太坊上的数据把用户余额完整恢复出来。

本文只讨论技术机制与风险边界,不构成投资建议,也不对任何项目作出安全性承诺。扩容方案的具体参数、挑战期长度与合约地址会随版本变化,请以各链官方文档与链上合约的当前状态为准。