BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Tether 旗下 QVAC Workbench 發布 0.4.1 版本，圍繞 AI 本地化升級多項功能
Tether首席执行官Paolo Ardoino在3月12日宣布，智能开发平台QVAC Workbench 0.4.1已发布，重点围绕AI本地化进行多项升级，並處於Alpha測試階段。
GateNews4分鐘前
Chainlink 驅動 BNB Chain 上的代幣化黃金，通過 Venus Protocol
XAUm 現在由 Chainlink 在 Venus 上提供支持，使代幣化黃金成為 BNB Chain 借貸市場中的抵押資產。
XAUm 是 Venus Protocol 的第一個 RWA 抵押資產，由 Matrixdock 發行的 1 盎司 LBMA 標準黃金作為擔保。
Chainlink 已啟用代幣化黃金的定價層
CryptoNewsFlash11分鐘前
Prom 將推出 AI 代理經濟平台，支持鏈上自主交易與協作
Gate News reports that on March 12, Prom, a modular network based on Polygon, announced the launch of an AI agent economy platform on top of its existing zero-knowledge infrastructure. The platform enables AI agents to autonomously complete transactions, collaboration, service negotiation, and value exchange within the PROM protocol.
GateNews45分鐘前
特朗普家族旗下 World Liberty Financial 計劃將 USD1 穩定幣布局 AI 自主支付領域
World Liberty Financial 的联合创始人 Zak Folkman 表示，该公司正在开发支持 AI 代理自主支付的基础設施，並計劃將其穩定幣 USD1 作為機器間交易的核心支付工具。當前穩定幣市場接近 3150 億美元，USD1 處於市場第五位。多家機構也在推進 AI 驅動的穩定幣支付。
GateNews51分鐘前
Pump.fun 累計收入達 10.8 億美元，成為 Solana 首個突破 10 億美元的平台
Pump.fun 自2024年初上線以來，收入已達10.8億美元，成為Solana區塊鏈首個突破10億美元的平台。2024年的收入為3.213億美元，回購計劃已累計回購約3.234億美元的PUMP代幣。但PUMP目前的價格仍低於初始發行價，且已擴展至其他區塊鏈平台。
GateNews1小時前
GoPlus Security 發佈 SafuSkill，打造安全優先的 AI Agent Skills 市場
GoPlus Security於3月12日推出SafuSkill，一種安全優先的AI Agent Skills市場。該平台在BNB Chain上構建，提供安全掃描和管理工具，旨在提高AI Agent技能的安全性，推動Web3生態的透明與安全發展。
GateNews1小時前
