本文介绍了Hexagate在Base链上监控欺诈证明的框架和解决方案，旨在确保系统的安全。文章详细描述了分层监控框架，包括系统级、争议游戏、挑战者和组件层面的监控，并介绍了如何利用Hexagate的平台和API来构建和部署这些监控器。此外，Hexagate还开源了欺诈证明不变性监控器，以促进社区的合作和增强二层网络的安全。
本文探讨了我们如何在 Base 上监控故障证明，展示了我们在 Hexagate 中为保护系统而开发的框架和监控解决方案。此外，我们还分享了我们开源的自定义不变性监控器的详细信息，供其他 OP Stack 团队使用。
去中心化不仅仅是一个目标，更是一种承诺，即通过设计创建安全、透明和具有弹性的系统。 最近在 Base 主网上启动的故障证明 代表了推进我们网络去中心化的一个重要里程碑。故障证明作为一种关键保障，验证状态声明并确保系统的完整性。
在安全第一的方法指导下，我们的故障证明系统经过了严格的审计、广泛的弹性测试和全面的验证，以确保稳健可靠的基础。保护此次发布需要的不仅仅是设计系统，还包括构建一个具有弹性的框架，以维护稳定性和在整个生态系统中培养信任。
认识到安全性不会在部署时结束，我们开发了一个全面的监控框架，以进一步保护系统。该框架旨在解决从总体系统运营到单个争议游戏和组件等多个级别的潜在风险，利用 Hexagate 的监控功能来实现精确的实时威胁检测和主动缓解。
为了促进生态系统内的透明度和协作，我们开源了我们的故障证明不变性监控器，使更广泛的社区能够采用和增强这些工具。通过共享这些资源，我们的目标是共同加强 L2 的安全性，从而进一步分散其系统。在本博客中，我们将重点介绍我们的监控框架如何保护 Base 上的故障证明系统，涵盖全系统运营、争议游戏和关键组件。
注意：本博客的编写假定读者对故障证明以及 Optimistic Rollup 的运作方式有大致的了解。如果你需要复习故障证明，请阅读 Optimism 的解释 。
故障证明监控框架
我们的监控框架旨在识别各个系统层中存在的潜在威胁。这种结构化的方法将警报分为全系统、特定于争议游戏、特定于挑战者和组件级这几个层级，使我们能够根据警报的严重程度准确地评估和响应。这种分层策略可确保迅速升级关键问题，同时会监控更局部的组件问题，以了解其对系统的潜在影响。
-
系统：系统层涵盖所有故障证明智能合约和核心运营。此处的任何问题都可能威胁到整个系统，从而对 Base 的整体稳定性和安全性构成风险。
-
争议游戏：验证各个状态声明的过程。争议游戏中的问题可能会升级为影响故障证明系统信任度的系统性问题。
-
挑战者：确保状态声明有效性的角色。风险包括挑战者资金的潜在损失，而此处的失败可能会破坏系统的可靠性并导致不正确的争议游戏结果。
-
组件：支持故障证明的技术模块，例如争议游戏保证金持有者。失败可能会从孤立的问题升级为重大中断，从而威胁到整个系统的完整性。
支持框架的监控器
设计支持框架的监控器带来了一些挑战。首先，实施复杂的不变性需要深入了解故障证明机制。其次，争议游戏系统需要为每个游戏部署和管理一个监控器。最后，在争议解决后有效处理监控器对于防止系统过载至关重要。
我们现在可以深入研究每个层级，以了解故障证明监控器如何帮助我们识别特定威胁：
系统监控器
争议游戏监控器
挑战者监控器
-
目的：通过跟踪针对有效和无效状态声明的参与情况，来验证挑战者的行为是否符合协议。
-
主要关注点：跟踪挑战者的行为，例如发布挑战、保证金管理和余额变更。
-
重要性：验证公平的争议解决，识别无效的声明，并支持稳定的网络运营。
组件监控器
在 Hexagate 中构建监控器
我们使用 Hexagate 构建了监控器，利用其平台界面来设置功能调用、合约事件、余额变更和自定义不变性监控器。为了监控单个争议游戏，我们使用 Hexagate 的 加粗webhook加粗 警报传递和监控管理 API 开发了一个自动化的工作流程。这种设置使我们能够在创建每个新争议游戏时动态部署监控器，从而确保全面的可扩展覆盖范围。
让我们一起建设一个更安全、更去中心化的未来
监控故障证明只是我们确保 Base 和 OP Stack 生态系统安全这一更广泛承诺的一部分。通过开源我们的监控器，我们的目标是加强故障证明的安全性，并支持 L2 网络中的去中心化工作。
如果你有兴趣从事高级链上安全挑战，请在此处浏览我们的空缺职位here。你还可以关注我们的 X（Base 团队 和 Base 社区领导者）、Farcaster 和 Discord 以了解 Base 的最新信息。
