BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Visa、澳新銀行、華夏基金及富達國際完成基於 Chainlink 的跨境結算解決方案
Visa、澳新銀行、華夏基金及富達國際完成基於Chainlink的跨境結算方案，利用e-HKD計劃實現合規與安全的資產轉移，自動化代幣化基金發行及實時驗證身份憑證。
GateNews16分鐘前
Bitwise捐贈23萬美元支持比特幣開源開發者，資金源自BITB利潤
數字資產投資公司Bitwise Asset Management宣布捐贈23.3萬美元，支持比特幣開源開發者。這筆款項來自其現貨比特幣交易所交易基金的利潤，將分配給三家非營利組織，以推動比特幣項目發展。
GateNews30分鐘前
存款年化 6%！X Money 啟動外部測試，直接挑戰傳統銀行儲蓄
馬斯克的社交平台 X 本週啟動了 X Money 的有限外部測試，提供 6% 年化收益率的高收益存款，並有信用卡回饋機制。存款由 FDIC 保障，最高250,000 美元。好萊塢演員 Shatner 參與測試並拍賣名額，吸引廣泛關注。X Money 計劃整合支付等多功能，但目前尚未整合加密支付。
Market Whisper37分鐘前
SOL Strategies 驗證器突破 3.3 萬錢包，股價應聲漲逾 20%
SOL Strategies Inc. 在2月月度更新中宣布驗證器網絡成長至33,568個獨立錢包，並披露多項業務數據。儘管股價當日上漲20.97%，但過去六個月仍累計下跌75.81%。該公司致力於建立多元化收入來源，包括國庫質押、第三方質押及流動性質押服務，顯示其向多元化基礎設施服務商轉型的決心。
Market Whisper48分鐘前
RedStone在Stellar部署價格預言機，強化DeFi安全與RWA定價基礎設施
RedStone在Stellar網絡上線價格預言機服務，為DeFi生態提供實時價格數據。這一舉措是在Stellar遭遇安全攻擊後，加強市場價格可靠性的必要措施。通過模塊化數據架構，RedStone提升了數據冗餘能力，增強了價格更新的靈活性與精確度。此外，此舉使Stellar更好地滿足借貸、資產代幣化等需求，推動金融應用發展。
GateNews54分鐘前
歐元穩定幣EURA宣布關閉：Angle Protocol退出賽道，EURC市佔率持續擴大
去中心化穩定幣項目Angle Protocol宣布將逐步關閉其歐元穩定幣EURA和美元穩定幣USDA，社區投票一致通過該決定。EURA曾是市場領先者，但因競爭加劇，市值已降至400萬美元。儘管市場持續擴大，EURA仍選擇有序退出並允許持有者在一年內兌換為其他穩定幣。
GateNews57分鐘前
