BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Billions Network為OpenClaw平台推出Verified Agent Identity Skill，並啟動首個AI代理獎勵計劃
Billions Network近期推出Verified Agent Identity技能，為AI代理提供真實、可追溯的身份，利用零知識證明技術保護隱私，旨在解決AI身份危機並提升責任歸屬。此技能已在多家機構應用，並聯合推出FAIAR計劃，獎勵使用該技能的代理。
GateNews19分鐘前
西聯匯款與Crossmint合作在Solana推出美元穩定幣USDPT
Odaily星球日報訊 西聯匯款與 Crossmint 合作在 Solana 區塊鏈上推出美元穩定幣 USDPT。（Solid Intel）
GateNews27分鐘前
X Money首批界面亮相，Elon Musk暗示加密貨幣整合即將到來？
X（前身為Twitter）正式發布X Money界面，標誌著其向金融超級應用轉型。此平台支持收發款項、請求付款及高達6%年化收益，未來可能整合加密貨幣功能。分析師認為此舉將加速穩定幣普及，並對數字資產支付生態產生重大影響。X Money已獲美國多個州匯款牌照，預示大規模推廣即將到來。
GateNews37分鐘前
Bitwise 將價值 27 億美元的比特幣ETF中的 23 萬美元轉給BTC開發者：原因如下
_Bitwise 將 $233K 從其 27 億美元比特幣ETF中撥出，用於資助比特幣開發者。以下是捐款內容及其重要性。_
Bitwise 資產管理公司已進行其第二次年度比特幣開發者捐款。
這家加密資產管理公司確認了一筆 23.3 萬美元的捐款，該款項來自其 B 的利潤。
Live BTC News50分鐘前
Visa、澳新銀行、華夏基金及富達國際完成基於 Chainlink 的跨境結算解決方案
Visa、澳新銀行、華夏基金及富達國際完成基於Chainlink的跨境結算方案，利用e-HKD計劃實現合規與安全的資產轉移，自動化代幣化基金發行及實時驗證身份憑證。
GateNews2小時前
Bitwise捐贈23萬美元支持比特幣開源開發者，資金源自BITB利潤
數字資產投資公司Bitwise Asset Management宣布捐贈23.3萬美元，支持比特幣開源開發者。這筆款項來自其現貨比特幣交易所交易基金的利潤，將分配給三家非營利組織，以推動比特幣項目發展。
GateNews2小時前
