1. 引言

前序博客有：

  • Rollup Decentralization
  • Rollup去中心化
  • Rollup交易的固化流程

  • Layer 1：数据可用层
  • Layer 2：执行层
  • Layer 3：链下系统

所有系统设计中，都包含了某种可信元素，用于保护系统safety和liveness。具体的可信机制可为一定阈值的参与者会忠实地遵循指定的协议，具体的阈值可为：

  • N-of-N
  • honest majority
  • K-of-N

在Rollup系统中，相应的可信第三方为：

  • 运行在以太坊上的bridge合约。

L1 bridge合约负责检查链下database的所有updates都是有效的 并 及时提交的。

Rollup中的2大元素有：

  • Off-chain database：记录Rollup中的债务往来——包括账号余额、program state、smart contract code等。
  • On-chain bridge：holds所有资产，负责保证链下数据库的safety&liveness。由Bridge合约来唯一确定链下数据库的状态。

Nearly all rollups are deployed as silos on top of Ethereum which comes with a lot of off-chain infrastructure overhead.

数据可用性是个难题。不同的Rollup方案，所采用的的数据可用性假设各不相同：

当有新的L3链下系统启动时，需决定由谁来负责执行其交易：

  • 采用自己的executor
  • 或者 付费给 其底层的Rollup executor：

如Optimism的SuperChain和StarkNet的Shared Prover都提供了相应的支持，其链下系统可自己sequence其用户交易，而将其它的hard work都交给其底层的Rollup：

参考资料

[1] SHARP? SuperChain? Layer-3s? Temporary Rollups? AHHHHHH