欺诈证明

本文深入探讨了 Optimistic Rollups (ORUs)，这是一种旨在降低以太坊使用成本并提高速度的 Layer 2 解决方案。文章详细介绍了 ORU 的架构、工作原理，包括交易如何进入、使用和退出 rollup，以及欺诈证明机制。此外，还对比了 ORU 与 ZK Rollups 的差异，并列举了当前主要的 ORU 项目及其相关工具。

本文档定义了争议游戏（Dispute Game）的接口，争议游戏用于在乐观rollup中，当对layer2状态的声明产生争议时，由多方参与进行仲裁。文档详细描述了DisputeGameFactory和DisputeGame两个核心接口，以及相关的类型定义，为不同证明系统（如欺诈证明、有效性证明、认证证明）的实现提供了灵活性。

本文分析了Layer 2（L2）设计中引入外部数据可用性（DA）层如何改变安全和信任假设。通过Rari Chain与Celestia的Blobstream集成案例，探讨了DA桥接集成如何将信任从单一排序器转移到更广泛的证明委员会，从而提高安全性，并详细说明了在没有DA桥的情况下，恶意排序器可能通过数据扣留攻击窃取资金，而集成DA桥后，攻击者需要同时攻破排序器和DA证明委员会才能成功。

本文深入探讨了以太坊第二层（L2）扩展方案中的欺诈证明（Fraud Proofs）和有效性证明（Validity Proofs）的区别，分析了它们各自的优势和劣势，并讨论了它们在应对51%攻击时的表现。

本文介绍了Hexagate在Base链上监控欺诈证明的框架和解决方案，旨在确保系统的安全。文章详细描述了分层监控框架，包括系统级、争议游戏、挑战者和组件层面的监控，并介绍了如何利用Hexagate的平台和API来构建和部署这些监控器。此外，Hexagate还开源了欺诈证明不变性监控器，以促进社区的合作和增强二层网络的安全。