Optimism Stack 不是一个去中心化应用，但它是保护数十亿总锁仓价值的关键基础设施。 当基础设施失败时，整个生态系统都会崩溃。 这就是为什么 @_czepluch 将 Optimism 的 FMAs 翻译成防止这些失败的断言，以确保交易层面的安全。 🧵

了解更多： Optimism使用故障模式分析（Failure Mode Analysis）系统地识别潜在的故障场景，以便在它们成为漏洞之前进行识别。 故障模式分析记录了可能出错的情况，但并不能防止它们发生。 这就是我们想通过断言（assertions）来实现的目标。

ETH Lockbox FMA 识别到："对 lockETH/unlockETH 的未经授权访问可能会耗尽合约。" 我们的主张：只有授权的门户可以调用这些功能。 结果：任何未经授权的交易在执行之前都会被拒绝。

消息传递FMA识别到："重放攻击可能导致重复消息执行。" 我们的主张：在任何中继之前检查successfulMessages映射。 结果：完全消除重放攻击。

Interop Portal FMA 识别到："不正确的状态报告可能导致提款失败。" 我们的主张：验证状态更新中的时间戳进展。 结果：防止导致提款问题的状态不一致。

这并没有增加任何新的信任假设。 Optimism 已经控制了他们的序列器。 声明只是为他们提供了一个基于自身安全分析的交易验证系统框架。 协议原生，而不是外部暴露。 适用于每个 dApp 和基础设施。

FMAs → 断言 = 分析 → 预防 这表明断言的作用超越了单个去中心化应用程序（dApps）。 它们对任何可能发生系统性故障的关键基础设施（所有）都非常强大。