目前以太坊layer2分为optimistic方向和zk方向。

optimistic的验证方法是欺诈证明。

也就是说在optimistic rollup 将数据提交给layer1后，需要等待一段时间，这段时间之内，任何一个人如果提出了一个挑战，说明提交给layer1的数据有问题，那么layer1的节点将会检测这个数据是否正确，如果确实不正确，将会回滚数据，并且奖励提出挑战的节点。

但这里面有个经济学上的悖论：

optimistic rollup 如果想要安全就需要有很多的节点去检测rollup链提交给layer1的数据是否正确。

但如果让节点认真检测数据或者吸引很多的节点来检测，那么这个rollup链必须有一定的出错率。这样节点才有动力去检测数据并且得到奖励。

但一个rollup链有一定的出错率。那这条链安全性还有保证吗？用户还敢用吗？

这就是欺诈证明的悖论。

如果这个悖论成立，那么optimistic rollup就走不远。