BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Polkadot 將於3月12日重置代幣經濟學，伴隨著DOT供應量和質押變動
Polkadot將於3月12日推出一個新的貨幣框架，將DOT的供應上限設定為21億，並將通脹率降低53.6%。
此次全面改造還將建立一個動態分配池，並將DOT的解鎖期從28天縮短至24至48小時。
在3月12日，Polkadot將重置
CryptoNewsFlash14分鐘前
建設者正逐漸遠離Aave——這對AAVE價格意味著什麼？
Aave (AAVE) 正在處理兩個截然不同的頭條消息。一方面，該協議遭遇了一起$24 百萬美元的漏洞，與地址中毒有關，再次提醒用戶DeFi中仍然存在安全風險。
儘管如此，市場反應已經有些
CaptainAltcoin2小時前
西聯推出USDPT穩定幣於Solana網絡
西聯匯款正在推出USDPT，一種在Solana上運行的全新穩定幣，背後擁有來自全球200多個國家、36萬個現金點的支持。
西聯匯款正大膽進入穩定幣領域。這家全球支付巨頭宣布推出USDPT，一種基於Solana的美元計價穩定幣。
Live BTC News3小時前
日元穩定幣：日本能否撬動全球40萬億美元鏈上套利交易？
日本正積極推動日元穩定幣以重塑其在全球金融市場的地位，旨在通過鏈上套利交易強化日元的核心作用。儘管面臨流動性、監管和散戶參與等挑戰，但其成功將為鏈上金融帶來重要的非美元資產基礎。
PANews4小時前
Aave Labs 提議推出 V4 專項漏洞賞金計劃
Aave Labs 提議在 Sherlock 平台上啟動 Aave V4 的漏洞賞金計畫，旨在建立安全報告通道，分級處理以優先解決高風險漏洞，提升處理效率。Sherlock 之前已與 Aave 合作進行安全工作。
GateNews4小時前
自我保管新創公司 Bron 增加以監護人和 MPC 為核心的繼承流程 - Unchained
Bron 已推出「數位繼承」功能，適用於其自我保管錢包，允許繼承人在所有者去世後存取資產，並設有六個月的延遲期以及預先選定的監護人進行驗證。此舉旨在防止因遺失密鑰或助記詞而導致的資金損失。
Unchained Crypto4小時前
