Optimistic Rollup解析

Optimistic Rollup4个最重要的模块分别为Sequencer（序列器）、Verifier（验证者）、CTC（交易链）、SCC（状态链）。Sequencer 和 Verifier都是在L2链上的结点，而CTC和SCC属于部署在L1链的智能合约

区块生成 Optimism的区块主要由一个参与方生成 sequencer ,它主要提供以下主要功能 一 交易的实时确认和状态更新 二 构建、执行L2区块 三 提交用户交易到L1 sequencer 没有交易池，因此交易按照被接收的顺序立即接受或者被拒绝。当用户发送交易至sequencer时，它会检查交易的有效性(手续费...)、然后将交易作为待处理区块应用到本地状态。待处理区块以批次形式周期性的提交到以太坊上进行最终确定。可以理解，sequencer不需要共识，它自己是唯一的矿工。 sequencer有写的权限，因此它一旦决定新的pending 块之后，它可以立即知道一个被L2接收的交易会产生什么样的结果，这样的处理在Defi项目中是非常具有优势的。这也是因此为什么它会有那么高的速率 目前sequencer 是中心化。由 OP Labs PBC组织运行维护，而且为了使其具备一定的安全保障，sequencer必须质押一定的资产

由sequencer 到 L1链的执行逻辑大致如下 一 每隔几分钟，Sequencer节点会把本地区块的压缩版本存储至ETH主网；这些内容包括交易数据的摘要，以及交易发生后的状态根StateRoot。这个过程就是Rollup（打包）； 二 交易数据的摘要被存入ETH上的CTC（交易链）合约，对应的状态根存入SCC（状态链）合约。这会产生两笔交易事件，此过程中，以太坊系统只负责【多方存储】内容，不会去检验正确性； 三 Layer2的Verifier（验证者）会自动读取Sequencer存储至以太坊的内容，对其进行审查，这个步骤与以太坊的【共识】类似。

欺诈证明 ● Optimistic Execution: 在 Optimism 中，假设所有提交的区块都是有效的，故名 "Optimistic"。然而，这些提交的区块在主网上并不会立即被视为最终状态，而是会有一个挑战期（通常为 7 天）。 ● 欺诈证明（Fraud Proof）: 在挑战期内，任何人都可以对提交的区块提出质疑。如果有人发现某个区块中的交易是无效的，他们可以提交一个欺诈证明。欺诈证明需要执行交易的完整性检查，如果证明成功，那么该批次的所有交易将被回滚，并且提交欺诈证明的一方将获得奖励。

欺诈证明的大致流程 一 若Verifier发现Sequencer提交的数据有问题，便可发起质疑（挑战），并提交自认为正确的版本，挑战成功便可改写CTC与SCC中的错误数据，并获取一定量的代币奖励； 二 Sequencer若被挑战成功，确认有不诚实行为，则受到一定惩罚，其质押的资产会被扣除一部分；若质押余额低于划定的阈值，则Sequencer被强制除名，不再有出块资格； 以上便是“欺诈证明”机制，指Verifier可披露Sequencer的欺诈行为。

Verifier和Sequencer之间达成的【共识】具有严重滞后性。一笔交易提交后会立刻被Sequencer执行，但Verifier获取状态根、对结果进行最终验证却可以在1小时之后。

最终确认 如果在挑战期内（7天）没有人提出质疑，那么这些交易将被视为有效，并且状态将被最终确认。这意味着这些交易和状态更新在以太坊主网上得到了最终性。

与以太坊主网的状态同步 在挑战期之后，Layer 2 上的所有交易状态都可以被安全地同步到以太坊主网。