答：任何时候排序者在发布一批状态转换时，都会有一个「争议期」，在这期间任何一方可以发布「欺诈证明」以表明其中某个状态转换无效。这可以通过在链上重放导致状态转换的事务，并将产生的状态根与排序者发布的状态根进行比较来证明。如果状态根不匹配，则欺诈证明成功，并取消状态转换。如果在无效的状态转换之后还有更多的状态转换，它们也会被取消。但如果事务已经过了争议期，就没法再对其质疑了，它们会被视为最终交易。

问：等一下！你之前说过，如果 a）增加成本，或 b）引入新的信任假设，那么它就不属于可伸缩性。在你描述的方案中，我们不是又另外假设总是会有人举报欺诈吗？

答：是的。我们假设存在一个被称为「验证器」的实体，他们负责监视欺诈行为，如果第 1 层和第 2 层状态不匹配，他们就会发布欺诈证据。我们还假设验证器能够在争议期限内可靠地获得以太坊中包含的欺诈证据。我们认为验证器的存在是一个「弱」假设。想象一下，如果有一个应用程序有成千上万的用户，你只需要一个人来运行一个验证器。这听起来不算太离谱！另一方面，改变以太坊的信任模式，或增加以太坊节点的运营成本是我们不想做的「强」假设改变。这就是我们在定义去中心化的可伸缩性时所说的「显著改变底层系统的假设」。

问：我同意有人会运行一个验证器，因为各方都能从这个新解决方案的成功中获益。但当然这也取决于实际操作的成本。那么运行一个验证器和一个排序器的资源需求是什么？

答：排序者和验证者必须运行一个以太坊完整节点（不是存档节点），一个完整的第 2 层节点，才能生成第 2 层状态。验证者运行的软件负责创建欺诈证明，排序者运行的软件负责捆绑用户事务并予以发布。

问：就是这样吗？

答：是的！恭喜你！您已经重新发现了 Optimistic Rollup （Optimistic Rollup 是「Optimistic 合约」和「链上数据可用性」（又名「数据汇总」）的组合），这是 2019-2021 年最令人期待的伸缩解决方案。原因很好理解，因为它是以太坊社区多年研究过程的最终产物，你应该已经在上面这个简短的对话中体会到了这一点。

Optimistic 的激励

第 2 层的扩展基于这样一个事实：我们试图最小化执行的链上事务的数量。我们使用欺诈证明来取消任何可能发生的无效状态转换。由于欺诈证明是链上交易，我们还希望将以太坊上发布的欺诈证明的数量最小化。在理想的情况下，欺诈从未发生过，因此，欺诈的证明也从未被发出。

我们通过引入忠诚债券 (责任编辑：admin)