BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Zcash 基金會發布 Zebra 4.4.0，修復共識層級的安全性漏洞
根據 Zcash Foundation，Zebra 4.4.0 已於今日發布，修復多項屬於共識層級的安全性漏洞，並敦促所有節點營運者立即升級。這些漏洞包括一個可能永久中止區塊發現的拒絕服務漏洞，還有 sigops 計數錯誤
GateNews39分鐘前
Wasabi Protocol 的 EVM 部署在 4 月 30 日遭遇安全事件，現已受控
根據 Wasabi Protocol 的官方聲明，該協議在 4 月 30 日遭遇影響其 EVM 部署的安全事件，目前已完全控制。Solana 部署和 Prop AMM 未受影響。該專案已關閉攻擊向量、輪替憑證與金鑰，並
GateNews1小時前
AI 代理人 Manfred 成立公司，於 5 月底交易推出前取得加密錢包
AI 代理人 Manfred 已成立自己的公司，並取得一個加密貨幣錢包以及用於聘請人員、進行付款和開展業務的憑證。該代理人尚未排定在期末前開始進行加密貨幣交易
GateNews1小時前
Exodus 創辦人：助記詞還要靠酒吧餐巾紙紀錄表示產業仍有進步空間
Exodus 在峰會揭示轉型：自託管演進為全端支付基礎設施，監管波折後上市。透過收購 Monavate、Baanx 垂直整合支付軌道，推出 Exodus Pay，兼容 Visa/Apple Pay，以穩定幣與 BTC 提供日常支付，並減少交易手續費依賴；2026Q1 收入約 2270 萬美元，受比特幣波動影響。
鏈新聞abmedia2小時前
Arbitrum 治理投票將 30,765 ETH（7100 萬美元）解凍釋放，該筆資金先前在 Kelp DAO 被利用事件後遭凍結
截至發稿之時，Arbitrum 治理正就一項提案投票，該提案旨在釋放 30,765 ETH（約 7,100 萬美元），此資金先前已在 4 月 21 日因 Kelp DAO 被利用事件而被 Arbitrum 安全委員會凍結。該提案由 Aave Labs、Kelp DAO、LayerZero、EtherFi 與 Compound 共同撰寫，已
GateNews3小時前
AI 代理 Manfred 設立公司，並在 5 月交易平台啟動前取得加密貨幣錢包
AI 代理程式 Manfred 已成立自己的公司，並取得一個加密貨幣錢包與商業憑證，儘管它直到 5 月底才會開始交易加密貨幣。目前該代理程式已具備雇用員工、進行付款以及開展業務的能力
GateNews7小時前
