什么是 Optimistic Rollups 中的欺诈证明？

了解乐观汇总中的欺诈证明

1. 乐观汇总的运行假设所有发布到第 2 层网络的交易默认都是有效的。与链上验证相比，这种乐观的方法可以实现更快的处理并降低成本。然而，必须存在机制来检测和纠正任何恶意或不正确的状态转换。

2.欺诈证明是一种用于质疑无效状态更新的加密机制。如果验证者或观察者检测到提议的状态与基于交易数据应该发生的情况之间存在差异，他们可以向第一层区块链提交欺诈证明。

3. 欺诈证明包括特定数据，例如不正确的状态根、涉及的交易集以及显示错误发生位置的逐步计算跟踪。该跟踪使主链能够仅重新执行有争议的计算部分，从而最大限度地减少开销。

4. 提交欺诈证明后，第 1 层合约将使用提供的执行轨迹重播相关交易来验证欺诈证明。如果证明确认状态转换确实无效，则汇总将恢复到最后的正确状态，并且提交错误批次的恶意行为者将受到惩罚。

5. 安全模型依赖于至少一个诚实节点监控链。只要一个参与者检查状态更新的有效性并能够提供证据，系统就可以防止欺诈行为。

欺诈证明与有效性证明有何不同

1. 与使用有效性证明（例如 zk-SNARK）在接受之前主动证明正确性的零知识 Rollups 不同，Optimistic Rollups 推迟验证。他们假设诚实，直​​到事实证明并非如此，这减少了初始发布期间的计算负载。

2.欺诈证明反应性地识别错误，这意味着在发布区块后会发生争议。这会引入称为挑战期的延迟（通常为 7 天），在此期间任何人都可以对批次进行竞争。

3. 有效性证明需要对每批交易进行复杂的密码计算，增加了运营商的成本和技术门槛。除非出现争议，否则欺诈证明可以避免这种负担。

4. 欺诈证明的反应性使得它们更容易去中心化参与。用户不需要专门的硬件或深厚的密码知识来监控和挑战区块。

5. 虽然有效性证明提供了立即的最终结果，但欺诈证明以速度换取去中心化和降低运营成本，这与以太坊无需许可参与的精神是一致的。

观察者和激励措施的作用

1. 观察者是链下节点，负责持续监控排序器发布的状态承诺。这些实体下载汇总数据，重新计算状态转换，并将结果与​​声明的结果进行比较。

2. 经济激励推动欺诈检测的参与。任何成功提交经过验证的欺诈证明的人都会收到奖励，该奖励通常是通过削减不诚实测序者发布的部分保证金来提供的。

3. 为了防止垃圾邮件并确保问责制，挑战者通常必须在发起争议时抵押抵押品。如果他们的索赔无效，他们将失去这笔押金。

4. 多个独立观察者增加了及早发现欺诈行为的可能性。即使大多数参与者串通一气或下线，一个诚实的参与者也足以维护安全。

5. 项目实施激励层或集成第三方服务（例如去中心化看门狗网络），以确保对 Rollup 链的持续监控。

有关欺诈证明的常见问题

如果没有参与者在挑战窗口内提交欺诈证明，则该批次将在第 1 层完成。这强调了主动监控的必要性。如果没有至少一名诚实和警惕的观察者，系统就有接受无效状态的风险。

欺诈证据可以伪造或滥用吗？

欺诈证据经过严格的链上验证。不正确或格式错误的证明将在重新执行期间失败，并导致挑战者失去保证金。这种经济抑制措施阻止了轻率或恶意的挑战。

为什么 Optimistic Rollups 会有提现延迟？

提款被延迟，以便有时间提交欺诈证据。当用户发起提款时，资金在挑战期内保持锁定状态，因此如果检测到欺诈，资金可以被冻结或恢复。

每笔交易都需要欺诈证明吗？

不会。只有在发现差异时才会生成欺诈证明。大多数交易都会顺利进行，并且系统在有效性假设下顺利运行，除非受到质疑。