BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
HypurrFi 疑似遭遇網域劫持，專案方提醒用戶暫停使用官網
DeFi 借貸協議 HypurrFi 發布安全警告，稱其網站網域名稱遭受入侵，提醒用戶不要使用該網域名稱並暫停互動。團隊確認用戶資金安全，正在調查網域劫持事件。
GateNews2小時前
Cosmos 生態錢包 Leap Wallet 宣布 5 月 28 日停止營運
Cosmos 生態的非託管錢包 Leap Wallet 宣布將於 5 月 28 日停止營運，涉及多項服務和功能。用戶需盡快重新委託 ATOM 以避免收益中斷。即使關閉，團隊仍看好加密產業的發展。
GateNews2小時前
以太坊基金會幾乎達成 70,000 枚已質押 ETH 的目標
以太坊基金會近日質押了超過 45,000 ETH，接近其 70,000 的目標。這項策略旨在為開發籌集資金，並回應社群對國庫管理的疑慮。也指出了對中心化以及硬分叉的擔憂。
Cointelegraph2小時前
Square 提前全面啟用比特幣支付功能
Square 宣布為美國商家全面啟用比特幣支付選項，並將其設為預設功能。透過閃電網路進行即時清算，商家可享方到2027年零手續費優惠。儘管如此，仍受到地方法規限制及商家資格審核。
鏈新聞abmedia3小時前
免費比特幣？Dorsey 再次帶回 BTC Faucet - U.Today
傑克·多爾西暗示可能重啟具有歷史意義的比特幣水龍頭（faucet），一個曾讓用戶探索加密貨幣並獲得免費 BTC 的網站。此舉讓人想起比特幣的草根起源，儘管在發表前相關細節仍不多。
UToday4小時前
卡爾達諾（Cardano）價格接近 0.245 美元關口，因市場動能轉弱
Cardano 的價格在市場整合且動能下滑之際，正穩定在 $0.245 的支撐位附近。無法突破 $0.268 的阻力位，令市場對上行實力感到擔憂。與此同時，新的節點版本 10.7.0 的開發正進入測試階段，為生態系帶來增強的前景。
Crypto News Land5小時前
