二层网络要是提交了一个错误的结果，有谁能揪出来？
定义：欺诈证明一旦成立，错误的结果会被推翻，提交错误结果的一方会被罚没保证金。
原理：有效性证明的思路是“先拿出证明再确认”，正确性依赖密码学证明本身；代价是生成证明要大量计算。
$ARB 和 $OP 的网络走 Optimistic Rollup，$STRK 走 ZK 路线。
行情永远存在意外，事先定好看错了怎么办。

#ARB