BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Curve Finance 在 rsETH 駭客攻擊後暫停 LayerZero 基礎設施
Curve Finance 因涉及 rsETH 的安全事件而暫時停止其 LayerZero 基礎設施。該協議正在調查該問題，影響部分跨鏈橋接操作，而其他操作則照常進行。
GateNews7小時前
Monad 共同創辦人建議：透過動態上限降低抵押存入的駭擊風險
Keone Hon 表示，資金池式借貸協議應在抵押資產增加方面實施逐步的利率限制，以降低駭客攻擊期間的風險。他認為這樣做可能已避免重大損失，正如 rsETH 存款人所看到的那樣。
GateNews13小時前
SGB 在 Solana 網路推出 USDC 鑄幣服務
SGB 讓在 Solana 上進行即時的 USDC 鑄造與贖回，透過即時結算改善跨境匯款。
服務對象鎖定機構，移除中介，並支援 24/7 的流動性與資金庫管理。
擴張計畫包含更多穩定幣以及零售端接入，li
CryptoFrontNews14小時前
Morpho 於 Kelp DAO 與 LayerZero 事件後暫停 Arbitrum 上的 MORPHO OFT 跨鏈橋
Morpho Association 已暫停 Arbitrum 上針對 MORPHO 代幣的 OFT 跨鏈橋，原因是近期 Kelp DAO 與 LayerZero Bridge 出現問題，並在確認 rsETH 事件的成因後再恢復。
GateNews14小時前
Spark Protocol 於 1 月下架 rsETH 證明審慎，因 Aave 面臨 ETH 流動性危機
Spark Protocol 將低使用量資產下架並收緊擔保品的策略，起初遭遇一些反彈，但在市場動盪期間證明是明智之舉。雖然維持更高的利率上限，SparkLend 仍確保流動性；而 Aave 如今面臨重大風險。
GateNews17小時前
Kamino 暫停與 LayerZero 相關資產的交互作用，關閉存款與借貸功能
Kamino 已暫時暫停與 LayerZero 相關代幣的互動作為預防措施，同時允許提款與償還債務。他們強調，此舉用於風險管理，且使用者資金是安全的。
GateNews19小時前
