BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
花旗推動「比特幣銀行化」：力拚今年啟動「機構級託管」、「跨資產抵押」服務
花旗集團正在推動比特幣的銀行化，計劃將其深度整合到傳統金融體系中，預計於2026年啟動機構級的加密託管服務。透過簡化比特幣交易流程並降低操作摩擦，花旗希望吸引更多機構進一步採用數位資產。此外，該行也在探索穩定幣和區塊鏈存款代幣的應用，期望為傳統金融機構提供便利的資本運用方式。
区块客25分鐘前
BNB Chain：將通過資金支持與生態項目加速計劃推動首批代理技能構建與開源
BNB Chain 最近推出多項原生鏈上功能，包括實時讀取鏈上數據、執行交易和管理錢包，以及通過 ERC-8004 標準註冊永久鏈上身份。這些功能使得 AI 開發者能迅速將原型轉化為具價值的代理，並通過資金支持加速項目發展。
GateNews1小時前
SOL 策略股份飆升21%，二月更新凸顯驗證者增長
SOL Strategies Inc. 在2026年2月報告了顯著的增長，其股價在業務更新後上漲了20.97%。該公司擴展了其Solana驗證節點網絡至超過33,500個錢包，產生了1,276 SOL的淨收入，並實現了最高6.47%的年化收益率。
TheNewsCrypto2小時前
Lido 在 V3 更新中引入新的節點運營商層級及擴展鑄幣上限
Lido DAO 的 V3 推出現已進入第三階段，允許任何節點運營商在所有 stVaults 中鑄造 stETH。
它還為已識別的節點運營商新增了四個層級，每個層級都有自己的儲備比率和鑄造限制。
Lido DAO 已宣布推出其第三版本的p
CryptoNewsFlash2小時前
Apollo Crypto將管理USDC計價代幣化策略mEVUSD
Apollo Crypto宣布推出mEVUSD代幣化收益策略產品，與Everstake和Midas合作，旨在利用閒置穩定幣產生收益。Apollo將負責管理投資組合，通過DeFi協議降低市場風險。
GateNews2小時前
Bitwise 從 BITB 獲利中捐贈 $233K 給比特幣開發者
Bitwise Asset Management 已捐贈 23萬3千美元給比特幣開發者，履行其將ETF利潤的10%用於社群支持的承諾。這使總捐款達到38萬3千美元，旨在增強比特幣生態系統的安全性和發展。
Todayq News2小時前
