混合汇总

用户向 L2 节点提交交易。

交易被转发到 L2 Sequencer，后者执行事务，聚合生成批次，计算新的状态根并提交到 L1。

交易批次提交给 L1 桥接合约。L1 桥接合约在 L1 上发布批次并将状态更新为 “已提交”。

挑战者将重新计算新的状态根并仔细检查交易区块。

如果交易区块受到质疑：L1仲裁员合同生效，当事方可能会因此受到奖励或惩罚。如果发现某笔交易确实是欺诈性的：整批欺诈交易将被撤销，欺诈者将被裁员。状态更新为 “无效”。

如果交易区块没有受到质疑：交易批次被认为是正确计算的。挑战期结束后，将对批次进行验证，并允许进行提款等操作。状态更新为 “有效”。

用户向 L2 节点提交交易。

交易被转发到 L2 Sequencer，后者执行事务，聚合生成批次，计算新的状态根并提交到 L1。

交易批次提交给 L1 桥接合约。L1 桥接合约在 L1 上发布批次并将状态更新为 “已提交”。

Prover zkVM 可以生成简洁的证据，证明批次的正确性。

Prover 将证明和新的状态根发送到 L1 验证者合同。

L1 验证器合同检查证据，存储状态根并将批次的状态从 “已提交” 更新为 “已验证”。

用户向 L2 节点提交交易。

交易被转发到 L2 序列器，后者执行事务，聚合生成批次，计算新的状态根并提交到 L1。

交易批次提交给 L1 桥接合约。L1 桥接合约在 L1 上发布批次并将状态更新为 “已提交”。

如果用户想绕过欺诈质询窗口（以更快地完成审批），则将使用 “ZK Rollup 工作原理” 中步骤 4-6 中的有效性证明来处理交易批次。

未通过有效性检查的交易将通过 “乐观汇总的工作原理” 中步骤 4-6 中的乐观欺诈挑战阶段进行处理。注意：如果用户愿意，Hybrid Rollups 还可以创建更长的欺诈挑战窗口。

用户向序列器提交交易。

Sequencer 在接收 L2 交易后，组成一个新的 L2 区块，并将经过验证的区块作为交易批次提交给 L1 汇总智能合约。

批量监控器从 L1 汇总智能合约中读取新批次。

批处理监视器将批次发送到状态监视器。

状态监视器检索 L2 状态（从 L2 节点）以验证批次。

状态监视器将检索到的状态和批次传递给 MIPS 虚拟机。

MIPS 虚拟机执行编译后的 MIPS 程序并生成执行跟踪。Prover 使用执行跟踪来生成 ZK 证明。

ZK Proof 被发送到链上证明验证器。如果证明有效，则会触发状态转换，并允许采取诸如撤回之类的行动。