目前以太坊layer2分为optimistic方向和zk方向。
optimistic的验证方法是欺诈证明。
也就是说在optimistic rollup 将数据提交给layer1后,需要等待一段时间,这段时间之内,任何一个人如果提出了一个挑战,说明提交给layer1的数据有问题,那么layer1的节点将会检测这个数据是否正确,如果确实不正确,将会回滚数据,并且奖励提出挑战的节点。
但这里面有个经济学上的悖论:
optimistic rollup 如果想要安全就需要有很多的节点去检测rollup链提交给layer1的数据是否正确。
但如果让节点认真检测数据或者吸引很多的节点来检测,那么这个rollup链必须有一定的出错率。这样节点才有动力去检测数据并且得到奖励。
但一个rollup链有一定的出错率。那这条链安全性还有保证吗?用户还敢用吗?
这就是欺诈证明的悖论。
如果这个悖论成立,那么optimistic rollup就走不远。