Rollup 提交的结果，主网怎么相信是对的？
不少欺诈证明用交互式争议流程：双方不断缩小分歧范围，最后只需在主网上重新执行一步即可判定对错。Optimistic Rollup 先假定提交的结果正确，在挑战期内任何人都能提交欺诈证明去质疑这个结果。
排序器可以决定交易顺序；成熟的 Rollup 会允许用户绕过排序器、经主网强制提交交易，防止交易被一直拒绝。
$ARB 和 $OP 的网络走 Optimistic Rollup，$STRK 走 ZK 路线。