BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
傑克多西預告「比特幣日」傳奇水龍頭將於 4 月 6 日重啟
Jack Dorsey 發文預告將於 2026 年 4 月 6 日重啟比特幣水龍頭活動，向早期開發者致敬，並重新喚起社群精神。此活動背景為比特幣市場回調，Dorsey 領導的 Block 公司持有的比特幣仍具良好獲利。
鏈新聞abmedia29分鐘前
以太坊基金會再次質押另一筆 93 million 美元的以太幣，達到其 70,000 ETH 的目標
以太坊基金會將 1.43億美元的以太幣投入質押，總計質押的 ETH 幾乎達到 9300萬美元，幾乎完成其 70,000 ETH 的目標。這種轉向質押的做法在不出售資產的情況下，為資金運作產生收益，儘管仍有部分 ETH 未進行質押。
CoinDesk5小時前
Hyperliquid 生態平台 Based 推出 Launchpool 功能
Gate News 消息，4 月 4 日，Hyperliquid 生態加密貨幣交易與消費平台 Based 近日宣布推出 Launchpool 功能。Based 代幣持有者可透過質押代幣取得積分，進而參與 Launchpool 活動。据悉，該平台 Launchpool 的首個上線專案為 Pull Fun。
GateNews6小時前
瑞波工程師解釋 XRPL 更新節奏，焦點轉向錯誤修復與可靠性 - U.Today
RippleX 工程師 Mayukha Vadari 在 XRP Ledger 進行重大改進之際，回應了開發者的疑慮。重點關注的領域包括遙測、命名規範、型別安全、重構、記錄與文件化，以提升穩定性並加速除錯，讓該平台對開發者而言更加健壯且更易於使用。
UToday7小時前
