- Aave Labs 不採用舊的「先建設、後審計」方式，而是讓 V4 的安全團隊從一開始就與開發者合作。
- 人工智慧元素突顯，自動化系統能捕捉人類審計可能遺漏的邊緣案例。
Aave Labs 團隊據報花費約150萬美元進行了一次大規模的審計計畫，這是目前 DeFi 領域中最為徹底的安全審查之一。審查過程持續約345天，並由多家安全公司以及一場大型公開審計比賽組成。
快速行動、打破常規的時代正在逐漸消逝。在當前的市場環境中，韌性與安全性才是真正的競爭優勢。該團隊主要由 Aava DAO 提供資金支持，並引入了 ChainSecurity、Trail of Bits、Blackthorn 和 Certora 等知名安全公司。
與其進行一次審計，該代碼從多個角度進行測試。綜合來看，該協議經過內部團隊、外部審計員和獨立研究人員約一年的全面測試。
最大的一個階段是於2025年12月至2026年1月在 Sherlock 上舉行的為期六週的公開安全比賽。超過900名研究人員參與，提交了超過950個發現。
增強信任
儘管經歷了如此大規模的審查，仍未發現任何關鍵或高嚴重性漏洞。這使得對 Aave 的中心-輻射架構的信心更加鞏固，該架構最初旨在壓制協議的完整攻擊面。
Aave Labs 不採用傳統的「先建設、後審計」方式，而是讓 V4 的安全團隊從一開始就與開發者合作。該框架涵蓋五個核心理念，包括正式驗證（用數學方法測試代碼）、分層審查（結合手動審計與自動測試）、每次代碼更新的持續檢查、持續的漏洞賞金計畫以及利用 AI 工具掃描異常攻擊路徑。
人工智慧元素突顯，自動化系統能捕捉人類審計可能遺漏的邊緣案例。驗證公司 Certora 協助描述了被稱為「不變式」的嚴格規則，這些規則在代碼進入手動審查前必須始終遵守。
今日重點加密貨幣新聞：
TRON 創始人 Justin Sun 與 SEC 達成和解協議
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
Monad 共同創辦人建議：透過動態上限降低抵押存入的駭擊風險
Keone Hon 表示，資金池式借貸協議應在抵押資產增加方面實施逐步的利率限制，以降低駭客攻擊期間的風險。他認為這樣做可能已避免重大損失，正如 rsETH 存款人所看到的那樣。
GateNews1小時前
SGB 在 Solana 網路推出 USDC 鑄幣服務
SGB 讓在 Solana 上進行即時的 USDC 鑄造與贖回，透過即時結算改善跨境匯款。
服務對象鎖定機構，移除中介，並支援 24/7 的流動性與資金庫管理。
擴張計畫包含更多穩定幣以及零售端接入，li
CryptoFrontNews2小時前
Morpho 於 Kelp DAO 與 LayerZero 事件後暫停 Arbitrum 上的 MORPHO OFT 跨鏈橋
Morpho Association 已暫停 Arbitrum 上針對 MORPHO 代幣的 OFT 跨鏈橋，原因是近期 Kelp DAO 與 LayerZero Bridge 出現問題，並在確認 rsETH 事件的成因後再恢復。
GateNews2小時前
Spark Protocol 於 1 月下架 rsETH 證明審慎，因 Aave 面臨 ETH 流動性危機
Spark Protocol 將低使用量資產下架並收緊擔保品的策略，起初遭遇一些反彈，但在市場動盪期間證明是明智之舉。雖然維持更高的利率上限，SparkLend 仍確保流動性；而 Aave 如今面臨重大風險。
GateNews5小時前
Kamino 暫停與 LayerZero 相關資產的交互作用，關閉存款與借貸功能
Kamino 已暫時暫停與 LayerZero 相關代幣的互動作為預防措施，同時允許提款與償還債務。他們強調，此舉用於風險管理，且使用者資金是安全的。
GateNews7小時前
Aave 核心成員 Marc Zeller 提議終止 ACI Frontier 計畫，計畫退出驗證者角色
Aave 的核心成員 Marc Zeller 宣布，他提出終止 Aave-Chan Initiative Frontier（ACI Frontier）計畫。他將退出其驗證者（validator）角色，回收 ETH 以保護 wETH 存款人，並放棄可能的收入，以將對使用者的影響降至最低。Zeller 已大幅影響 Aave 的激勵機制，並計畫於七月退出 Aave。
GateNews7小時前
