Aave Labs在經歷了1.5百萬美元審計計劃後，為V4提出分層安全方案
Aave Labs 發布了一份詳細藍圖，用於保障這個 DeFi 最大借貸協議的下一版本，概述了為期一年的 Aave V4 審計和驗證流程，並承諾將這些措施擴展至未來的開發計畫。
在本週釋出的治理論壇貼文中，該公司將 V4 形容為一個「安全優先框架」，即從最初的架構階段就植入智能合約防護，而不是僅在正式上線前的最後審計才考慮安全。
此計畫結合了形式化驗證、人工審計、不變性測試、模糊測試，以及公開安全競賽，總計約 345 天由內部團隊、外部審計公司和獨立研究人員共同參與審查。
根據公開細節，這項工作由 Aave DAO 批准的 150 萬美元安全預算資助。
主要承諾
Aave Labs 表示，這次經驗促使其制定五項針對未來協議開發的長期安全承諾。
這些承諾包括：從開發初期即導入形式化驗證，維持多層次安全方法，結合多種審計技術，開發過程持續進行驗證，啟動長期漏洞賞金計劃，並進一步開發 AI 輔助的智能合約掃描，皆列為未來重點方向。
Aave Labs 指出，形式化驗證在 V4 過程中尤其扮演核心角色。驗證公司 Certora 從設計初期即與 Aave 開發者合作，協助建立架構並在代碼進入正式審計前發現潛在漏洞。
除了形式化驗證外，該協議還經歷多輪人工審計，相關公司包括 ChainSecurity、Trail of Bits 及 Blackthorn，以及多位獨立安全研究員。另外並針對流動性會計、清算邏輯和利率模型等核心元件，開發專用的不變性測試套件，採用模糊測試工具進行。
協議的程式碼也於 2025 年 12 月至 2026 年 1 月間，在 Sherlock 進行為期六週的公開安全競賽。逾 900 位經驗證的參與者在比賽期間提交超過 950 項發現，然而本次計劃並未發現關鍵性或高風險漏洞。
Aave Labs 強調，V4 程式碼基底有意設計得比前一版本更小且更模組化，遵循協議「樞紐－輻射」的架構重構，便於針對性審計及簡化安全檢查。
V4 安全模型也納入了風險服務供應商和在借貸協議上開發應用的整合者回饋。這些意見將威脅模型擴大，不僅考量用戶直接互動，也涵蓋依賴 Aave 流動性的整合系統之安全假設。
Aave DAO 爭議
Aave Labs 的安全揭露時機，正值 Aave 生態系統內部動盪。近月來，治理爭端在資金配置、協議方向及主要貢獻者角色等方面日益升溫。
今年稍早，長期負責協議基礎設施的技術貢獻者 BGD Labs 宣布，在約四年參與後，計畫停止與 Aave 相關的工作。
更近期，ACI 創辦人 Marc Zeller 表示，另一主要治理參與者 Aave Chan Initiative（ACI）計畫於七月退出該協議，原因是貢獻者間分歧加劇。
這些發展皆源自先前围繞「Aave will win」提案而引發的激烈治理辯論，該提案涉及協議收益模式變動及即將到來的 V4 升級整體規劃。該提案以 52.6% 支持通過意向檢查投票，突顯 DAO 內部對於協議未來路線的分歧。
根據 The Block 數據儀表板，Aave 是最大鏈上借貸協議，也是 DeFi 每月手續費收入最高的協議之一。
免責聲明：文章中的所有內容僅代表作者的觀點，與本平台無關。用戶不應以本文作為投資決策的參考。
您也可能喜歡
黃金價格橫盤震盪：美元走強抵消聯準會升息預期降溫影響
隔夜美股｜美債拋售難阻美股走高 三大指數集體收漲 納指創歷史新高
截至收盤，道瓊斯指數上漲91.30點，漲幅0.18%，報51268.26點；標準普爾500指數上漲51.27點，漲幅0.66%，報7773.99點；納斯達克綜合指數上漲286.45點，漲幅1.05%，報27477.31點。
AI資本開支交易「躺贏」時代或將結束 美銀建議投資者轉向消費板塊
美國銀行策略師認為，隨著市場已經充分押注AI相關資本開支持續增長、可選消費支出承壓這一投資邏輯，投資者未來透過「做多AI資本開支受益股、回避白領消費相關股票」獲取超額收益的難度可能越來越大。
更新版 4-美泰投資者阿里爾在公司扭虧為盈進程停滯之際力推出售
阿里爾持有美泰 5.4% 的股份，並表示該股仍遭嚴重低估。美泰表示將綜合考慮阿里爾及其他股東的意見。有消息人士稱，Authentic Brands 上週曾接觸美泰公司，其估值可能在 60 億美元左右。在第十段中補充了分析師評論，並添加了圖表。Juveria Tabassum/Angela Christy M 路透 10 月 5 日——路透獲得的一封信顯示，美泰 MAT.O 的大股東於週一敦促這家芭比娃娃製造商探索出售事宜，認為其業績與盈利能力成長已停滯。 持有美泰 5.4% 股份的 Ariel Investments 表示，該公司股價仍被嚴重低估。Ariel 聯合執行長 Roger（John Rogers）在致美泰董事會的信中寫道：「據我們估算，戰略買家將願意以遠高於當前股價的價格收購貴公司。」這家資產管理公司表示，美泰的選項包括「剝離重要資產、合併及/或直接出售公司」。Ariel 稱，其他玩具公司、娛樂公司及傳統私募股權公司可能會對美泰的資產組合有興趣。 過去幾年，美泰在《芭比》電影成功、業務趨於穩定後，仍面臨銷售額波動和投入成本上升的困境，其營業利潤過去六個季度持續下滑。在盤後交易中，該公司股價上漲 0.9%，報 16.2 美元。 在 Ariel 發起這項倡議之際，美泰正經歷領導層更替（連結）。其執行長 Kreiz（Ynon Kreiz）上月底卸任，轉任 Paramount Skydance PSKY.O 的聯席執行長。美泰董事會成員 Lynch（Roger Lynch）——曾任《Vogue》總編及《紐約客》母公司 Condé Nast 負責人——將於下月接任這家玩具製造商的執行長。 美泰在給路透的電郵回應中表示：「我們的董事會和管理團隊致力於維護全體股東的最佳利益，並將考慮 Ariel Investments 在信中表達的意見，以及其他美泰股東的看法。」 這是今年第二次有投資者要求美泰考慮戰略選項。5月，美泰投資者東南資產管理公司曾呼籲該公司探索各種選項（連結），包括私有化、被競爭對手孩之寶 HAS.O 收購，或被能比公開市場更合理評估美泰資產價值的大型媒體公司收購。 上週，一位知情人士向路透透露，Authentic Brands Group AUTH.N 曾就收購事宜與美泰公司（連結）商談，該交易可能使這家玩具製造商估值達到約 60 億美元甚至更高。知情人士表示，尚不能保證美泰會接受 Authentic Brands 的提案，目前也未進行任何正式出售程序。 該消息傳出後，美泰股價急升。儘管股價反彈，今年以來，該股仍累計下跌五分之一。據倫敦證券交易所集團（LSEG）資料顯示，美泰 12 個月前瞻市盈率為 9.99，行業平均水平為 14.03。 「我認為這只是反映市場對業務可能略顯停滯的失望。鑑於目前估值，現在或許是個好時機，可以在投資者視線之外扭轉業務頹勢。」晨星分析師 Katz（Jaime Katz）表示。 （為便利非英語母語者，路透將其報導自動化翻譯為多種語言。由於自動化翻譯可能有誤或未包含所有所需語境，路透不保證自動化翻譯文本的準確性，僅為便利讀者而提供。因使用自動化翻譯功能造成的任何損失，路透不承擔責任。）
加密貨幣價格
更多
