搜尋
新聞
Aave Labs發佈Aave V4安全計劃完整透明度審計報告
金色財經報道，Aave Labs發佈Aave V4安全計劃的完整透明度報告。其中包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約345天的安全審查。該計劃由DAO批准的150萬美元專門安全預算支持。 Aave Labs將從Aave V4安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI輔助檢查、模糊測試及公開安全競賽，以覆蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社區提供持續監控；優化AI掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。金色財經
3月5日 週四
美媒：美官員促成美委達成1000公斤黃金交易
金色財經報道，據AXIOS網站，兩名消息人士透露，委內瑞拉國有礦業公司週一簽署了一項鉅額協議，將向美國市場出售最多1000公斤黃金。這顯示出委內瑞拉與美國之間的商業聯繫正日益緊密。其中一位消息人士稱，這項黃金交易要求委內瑞拉國有企業Minerven向大宗商品交易商托克（Trafigura）提供650至1000公斤金錠。合同要求最終黃金含量達到98%。目前一公斤純金的價格約爲16.6萬美元。另一位消息人士表示，托克將根據與美國政府達成的單獨安排，把這些黃金運送至美國精煉廠。美國內政部長道格·伯古姆週三抵達委內瑞拉討論石油和礦產機會，並協助推動了這項黃金合同。(金十)金色財經
3月5日 週四
