BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Pi Network 在協議 23 智能合約推出前達到 421,000 個活躍節點
根據 Pi 核心團隊的說法，Pi Network 的主網於 5 月 3 日達到 421,000 個活躍節點，並已將超過 100 億 PI 代幣遷移至主網。該網路正在準備 Protocol 23 上線，這將首次啟用完整的智慧合約功能，使開發者能夠打造 DeFi
GateNews4小時前
Figure Cagney:把區塊鏈打造為華爾街新管道、FGRD 代幣化股票上鏈
Figure Technology Solutions 的 Mike Cagney 正把區塊鏈打造成華爾街新管道。近期單月貸款撮合達十億美元，成為推動去中介化的關鍵里程碑。Figure 的鏈上產品涵蓋真實世界資產代幣化、貸款撮合與股權發行，五月初更直接上鏈自家股票 FGRD。 Bernstein 將 FIGR 視為 2026 年首選，認為代幣化市場放量超出預期，後續將關注 FGRD 流動性與監管動向。
鏈新聞abmedia5小時前
Curve Finance 推出不良債權回收機制，讓用戶能退出或修復部位
根據 Curve Finance，該協議最近推出了一種基於市場的壞帳回收機制，讓受影響的 CRV 持有者可在多種策略中進行選擇：出售債權憑證以立即退出、持有並等待可能的回收，或提供流動性以賺取費用與獎勵。
GateNews5小時前
Figure 3 月的貸款來源額超過 10 億美元；執行長盯上以區塊鏈打造的華爾街基礎設施全面改造
根據 BlockBeats，Figure Technology Solutions 執行長 Mike Cagney 表示，該公司於 5 月 3 日使用區塊鏈來重構傳統信貸市場的基礎設施。該公司 3 月份的放款發起額首次超過 10 億美元，第一季度總放貸
GateNews6小時前
AI 代理 Manfred 設立公司，著手準備加密錢包在 5 月底前開始交易
AI 代理 Manfred 已成立其自家公司，並取得一個加密貨幣錢包與商業憑證，包括能夠雇用員工與進行付款。該代理預計將在年底前開始進行加密貨幣交易
GateNews6小時前
Hyperliquid 在 5 月 3 日於主網推出具每日 BTC 結算的結果市場
根據 Odaily，Hyperliquid 今天在主網推出 Outcome Markets（HIP-4），以功能受限的初始版本發布。Outcome Markets 是一種全額抵押的合約，會在固定區間內結算，旨在用於預測市場與區間選擇權，且不使用槓桿或清算
GateNews8小時前
