事实上，这种情况已经在学术文献中得到了研究，证明了「这种反击的威胁会诱导出一种不发生攻击的子博弈完美均衡」。

我们要感谢 Hasu 让我们注意到这篇论文的论证。

验证者的困境对操作验证器、破坏 Optimistic Rollup 产生了抑制

针对验证者的困境，Ed Felten 撰写了一个出色的 分析 和 解决方案，我们总结如下：

1. 如果该体系的激励机制如预期那样发挥作用，就没有人会作弊
2. 如果没有人作弊，那么运行一个验证程序就没有意义了，因为你从操作它中赚不到钱
3. 因为没有人运行验证器，所以最终有机会让排序者作弊
4. 排序者作弊，系统不再按预期运行

这听起来很重要，而且近乎自相矛盾的。在假设奖励规模固定的情况下，更多的验证者会减少单个验证者的预期报酬。此外，验证者多了，能分到的蛋糕似乎就会随之减少，发生的欺诈行为更少，这进一步加剧了这个问题。在后续分析中，Felten 还提供了一种解决验证者困境的方法。

我想在这里采取相反的立场，我认为验证者的困境并不像批评者说的那么重要。在实践中，作为一个验证者是存在非金钱激励的。比方说，你可能在一个汇总平台上构建大型应用程序，也可能持有代币，如果系统失败，那么你的应用程序将无法运行，或者你持有的代币将会贬值。除此之外，对快速提款的需求为做市商验证者创造了存在的动力（正如我们在上一节所看到的那样），这并不受欺诈行为的影响。说得更具体一点，比特币没有提供任何激励措施来存储整个区块链历史或向同行提供你的本地数据，但人们还是无私地这样做。

即使在真空环境中运行验证器并不符合激励机制，它也能保证系统的安全，这对于那些投资于系统成功的实体来说是最重要的事情。因此，我们认为在 Optimistic 系统的第 2 层中，不需要设计机制来绕过验证者的困境。

结论

我们分析了 2021 年对以太坊至关重要的技术之一： Optimistic Rollup。

总结其好处：Optimistic Rollup 是以太坊的扩展，它承载了以太坊的安全性、可组合性和开发人员护城河，同时提高了性能，不会对以太坊用户的成本或信任需求造成实质性的影响。我们探索了使 Optimistic Rollup 发挥作用的激励结构，并对常见的批评提出了回应。

我们想要强调的是，Optimistic Rollup 的性能上限是由第 1 层上发布的数据所决定的。因此，它的优点在于：1） 尽可能地压缩你发布的数据（例如通过 BLS 签名聚合），2） 拥有一个大而廉价的数据层（例如 ETH2）。

作为补充阅读，我们推荐 Buterin 的关于 Rollup 和 信任模型 的 不完整指南。我们还建议去研究 Optimistic Rollup 的近亲 ZK Rollup。最后，还有其他方法可以获得去中心化的可伸缩性，即分片和状态通道，它们各有优缺点。 (责任编辑：admin)