捕捉黑客而不是监控攻击向量的最佳例子。 请密切关注。

断言由网络本身强制执行。 不是由可能会宕机的监控服务。 不是由可能会遗漏某些内容的仪表板。 不是由可能会猜错的人工智能模型。 而是由验证每笔交易的共识机制。保护数十亿价值的同一验证者。一个从未成功被攻击的网络。 当你的断言说“这个不变式必须成立”时，网络会强制执行。就这样。 如果一笔交易会违反你的安全属性，它不会收到警告。它不会被标记以供审查。 它不会执行。 网络本身就是你的安全层。

非常兴奋和荣幸能为 @OptimismGov 做出贡献，尤其是能和朋友们一起做这件事。

你并不是通过理解每一个攻击向量来编写断言。 你是通过定义每一个被攻击的状态来编写断言的。

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

最佳的安全升级不会改变你的信任模型。 它们会增强它。

断言并不关心你的代码是否没有错误。 它们关心的是结果是否违反了协议不变性。 就是这么简单。

质疑现状不仅仅是一种口号，它是良好工程的基本原则。 它打开了设计空间，没人曾想过去探索，仅仅是因为他们从未提出过这个问题。 好吧，我们提出了。

我们的领导者回归行动了。

可以确认这有效，且和听起来一样简单。