Rollup 提交的结果，主网凭什么相信是对的？
ZK Rollup 每批结果都附上有效性证明，主网合约验证通过后结果立即被接受，不需要等挑战期。眼下多数 Rollup 由单个排序器接收、排序和打包用户交易，用户的交易一般先交给排序器。
有效性证明的思路是“先拿出证明再确认”，正确性依赖密码学证明本身；代价是生成证明需要不少计算。
$ARB 是采用欺诈证明的 Optimistic Rollup 网络 Arbitrum 的治理代币。