BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Nansen 推出面向 AI 代理的鏈上智能服務，支持三種連接方式及按需付費模式
Nansen推出面向AI代理的鏈上智能服務「Nansen for Agents」，支持跨18條區塊鏈進行代幣篩選。用戶可通過多種方式連接，且基於按需付費模式，無需API Key，支付起價為0.01美元。
GateNews31分鐘前
Polygon 公布 CLI 工具包，讓 AI 代理能在鏈上進行交易
Polygon 已發布一套 CLI 工具包，讓 AI 代理能夠存取錢包、支付、交換、跨鏈、鏈上身份等功能。
創始人 Sandeep Nailwal 表示，這套工具包就像是為代理提供了他們自己的 Open Money Stack。
Polygon 已加入不斷擴大的區塊鏈網絡發布行列。
CryptoNewsFlash37分鐘前
Kaito AI 推出 Kaito Studio 測試版，首批上線 16 家合作夥伴
Kaito AI正式推出Kaito Studio測試版，連接品牌與創作者，目前已有16家合作夥伴。平台覆蓋8000萬粉絲，重點解決匹配、績效歸因和管理問題，未來將釋放更多合作機會。
GateNews52分鐘前
GMX 回應 MegaETH 上線進度質疑：合約已部署，正式上線時間待定
GMX 對社區對 MegaETH 上線進度的質疑表示，自 2 月以來主網已逐步啟動，目前鏈上 TVL 仍有限，多數協議在測試中。團隊正優化流動性和用戶體驗，尚未確定正式上線時間。
GateNews1小時前
IoTeX 發布 ioTube 安全事件報告：實際損失約 440 萬美元，承諾全額賠償受損用戶
IoTeX 發布報告稱，3 月 6 日的 ioTube 跨鏈橋事件導致約 440 萬美元損失。99.5%的被盜資產已被凍結，團隊承諾 100% 賠償受害用戶。主網已恢復運行，並對攻擊者地址進行了黑名單處理，同時推進去中心化治理和安全審計。
GateNews1小時前
Strike獲得紐約州金融服務局頒發的BitLicense許可
Odaily星球日報訊 比特幣支付應用 Strike 宣布已正式獲得紐約州金融服務部頒發的 BitLicense 許可，可在當地開展加密服務業務。Strike 此前還宣布推出比特幣抵押信用額度服務，用戶可以實時借入法幣來進行閃電支付或支付帳單，目前該服務支持低門檻借貸，初期將在佐治亞州和馬薩諸塞州啟動，後續將拓展到美國更多州。
GateNews1小時前
