你真的想成為最後一個沒有網絡原生安全性的鏈嗎？

無鎖定。 因為一旦網絡整合，他們可以永遠運行該軟件，而去中心化應用程序（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 價格下跌，讓協議留下壞債 價格操控是一個我們一再看到的模式，而這是一個斷言能很好地防護的模式。 在這個例子中，我們正在嘗試一個新的作弊碼，這將允許檢查調用堆棧中的調用，這對於檢測內部交易價格操控是理想的。 我們檢查 "swap" 調用在交易執行過程中，任何時候都不能使價格偏離基準超過 5%。這是一種簡單但強大的方式，可以防止例如閃電貸款攻擊。

捕捉黑客而不是監控攻擊向量的最佳範例。 仔細觀察。

斷言由網絡本身強制執行。 不是由可能會宕機的監控服務。 不是由可能會漏掉某些東西的儀表板。 不是由可能會猜錯的 AI 模型。 而是由驗證每一筆交易的共識機制。保護數十億價值的相同驗證者。從未成功受到攻擊的相同網絡。 當你的斷言說「這個不變量必須成立」時，網絡就會強制執行。就這樣。 如果一筆交易會違反你的安全屬性，它不會收到警告。它不會被標記以供審查。 它不會執行。 網絡本身就是你的安全層。

非常興奮和榮幸能夠為 @OptimismGov 做出貢獻，特別是能和朋友們一起合作。