你真的想成为最后一个没有网络原生安全的链吗？

没有锁定。 因为一旦网络集成，他们可以永远运行软件，dApps可以永远写入断言，所有这些都不需要我们的帮助。 一个不中立的安全解决方案是没有价值的。

审计是必不可少的。监控至关重要。预防是缺失的一环。

- 可验证的安全性和财务评级，适用于去中心化应用（dapps）和资产 （即将推出）

我听说过…… ……有一个演示。

您现在可以将 @phylaxsystems 文档连接到您最喜欢的 AI 工具，如 Cursor 或 Claude。 使编写断言变得简单。请看下面：

我最近关注的另一个黑客事件是今年三月的Vicuna Finance。 他们通过Sonic链上的LP代币预言机操控损失了70万美元。 此次攻击利用了一个基本的定价缺陷，如果使用简单的断言是可以避免的。 LP代币的定价使用了基本的求和公式（price_token1 * amount_token1 + price_token0 * amount_token0），而不是考虑池的恒定乘积公式的公平定价。 攻击序列： - 从token0到token1的大额交换人为地抬高了LP代币预言机价格 - 将高估的LP代币作为抵押品存入 - 根据抬高的抵押品价值借入最大资产 - 反向交换降低了LP价格，导致协议出现坏账 价格操控是我们反复看到的模式，而断言可以很好地保护这种模式。 在这个例子中，我们正在实验一种新的作弊代码，它将允许检查调用栈中的调用，这对于检测交易内的价格操控非常理想。 我们检查“交换”调用在交易执行期间的任何时刻都不能导致价格偏离基线超过5%。这是一种简单但强大的保护方式，例如，防止闪电贷攻击。

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

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

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