PANews 3月5日消息，據官方消息，Aave Labs發佈Aave V4安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約345天的安全審查。該計劃由DAO批準的150萬美元專門安全預算支持。
Aave Labs宣佈將從Aave V4安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI輔助檢查、模糊測試及公開安全競賽，以覆蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議叠代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社區提供持續監控；以及優化AI掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
内容來源：PANews
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。
PANews是區塊鏈和Web3.0領域領先的智庫型信息平台，為行業用戶提供具有國際視野的前沿資訊與報告。PANews優質多元的内容以圖文、音頻、視頻等形式在全網多渠道覆蓋，包含推特、微博、抖音、視頻號等主流平台，旨在成為用戶的Web3信息官。PANews同時還是騰訊新聞的内容合作夥伴，内容被福佈斯、財新等媒體引用，獲得騰訊新聞、今日頭條、澎湃新聞等頒發的相關獎項。PANews的兩位聯合創始人均為福
或
按钮分享