Optimism Stack 不是一個 dApp，但它是保護數十億 TVL 的關鍵基礎設施。 當基礎設施失效時，整個生態系統會崩潰。 這就是為什麼 @_czepluch 將 Optimism 的 FMAs 翻譯成防止這些失敗的交易層級的斷言。 🧵

閱讀更多： Optimism 使用失效模式分析（Failure Mode Analysis）系統性地識別潛在的失效情境，以便在它們成為漏洞之前進行預防。 失效模式分析記錄了可能出錯的情況，但並不能防止它的發生。 這就是我們想用斷言（assertions）來做到的。

ETH Lockbox FMA 指出："未經授權的訪問 lockETH/unlockETH 可能會耗盡合約。" 我們的主張：只有授權的入口可以調用這些功能。 結果：任何未經授權的交易在執行之前都會被拒絕。

訊息傳遞 FMA 識別："重放攻擊可能會導致重複的訊息執行。" 我們的主張：在任何中繼之前檢查 successfulMessages 映射。 結果：完全消除重放攻擊。

Interop Portal FMA 識別到："不正確的狀態報告可能導致提款失敗。" 我們的主張：驗證狀態更新中的時間戳進展。 結果：防止導致提款問題的狀態不一致。

這並不增加任何新的信任假設。 Optimism 已經控制了他們的序列器。 聲明只是為他們提供了一個基於自身安全分析的交易驗證系統框架。 協議原生，而非外部暴露。 適用於每個 dApp 和基礎設施。

FMAs → 斷言 = 分析 → 預防 這顯示了斷言的作用超越了單個 dApp。 它們對於任何可能出現系統性故障的關鍵基礎設施（所有）都是強大的。