安全審計

ChainCatcher 消息，Aave Labs 公布了 Aave V4 的安全框架，提出"安全優先"的開發模式，在架構設計階段即嵌入安全驗證，而非僅在上線前進行最終審計。該安全計劃持續約一年，累計完成約 345 天的安全審查，資金來自 Aave DAO 批准的 150 萬美元安全預算。據悉，V4 安全流程結合形式化驗證、人工審計、不變量測試、模糊測試（fuzzing）以及公開安全競賽等多層審計方法，未來協議開發將持續採用五項長期安全措施，包括在開發早期引入形式化驗證、實施多層安全審計方法、持續驗證機制、長期漏洞賞金計劃以及利用 AI 輔助智能合約安全掃描。

ChainCatcher 消息，据官方消息，Aave Labs 發佈 Aave V4 安全計畫的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計畫由 DAO 批准的 150 萬美元專門安全預算支持。Aave Labs 宣佈將從 Aave V4 安全計畫中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以覆蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計畫，利用更廣泛的安全社區提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。

ChainCatcher 消息，全球領先的全棧 Web3 安全公司 ExVul 與高性能金融公鏈 Pharos 建立長期戰略合作，聯合設立 125 萬美元安全審計 Grants，支持 Pharos 生態內早期創業團隊發展。該 Grants 面向 Pharos 孵化器的早期項目，提供核心智能合約及關鍵系統模塊的完整安全審計服務，同時配套資金與持續的安全顧問支持。Pharos 與 ExVul 建立合作，充分體現了對其專業能力的高度信任，也彰顯雙方在生態長期建設上的緊密綁定。通過此次合作，ExVul 將為 Pharos 早期項目構建可持續、安全、合規的基礎設施，夯實生態長期發展根基。

ChainCatcher 消息，BNB Chain 增長執行總監 Nina Rong 發文表示，已收到關於 BNB Chain Coinmarketcap 賬戶被盜的報告。目前正在與安全和內部審計團隊核實詳情，並指出謹慎對待社交媒體上發布的任何投資決策。

ChainCatcher 消息，据 Cointelegraph 報導，Bitcoin Core 通過了其首次第三方安全審計，審計結果證實，保障比特幣網絡安全的這款軟體已高度成熟，未發現任何嚴重漏洞。此次審計由法國安全公司 Quarkslab 開展，受開放源代碼技術改進基金（OSTIF）委託，代表 Bitcoin Core 開發資助組織 Brink 實施。在 5 月至 9 月為期 104 天的審計期間，審查人員對項目中最敏感的組件進行了評估，尤其關注 P2P 層和區塊驗證邏輯。報告指出，儘管 Bitcoin Core 的代碼庫規模龐大，包含超過 20 萬行 C++ 代碼和 1200 多個已部署的測試用例，但審計人員評估認為其"最為成熟且經過充分測試"。團隊未發現任何高嚴重性或中嚴重性漏洞，僅發現兩個低嚴重性問題，以及一系列主要與模糊測試工具和測試覆蓋率相關的改進建議。這些發現均未對共識機制、抗拒絕服務能力或交易驗證產生任何影響。

ChainCatcher 消息，GMGN 在 X 平台發文表示，針對近期有關平台遭黑客攻擊並導致用戶資金損失的虛假傳聞，團隊已立即展開全面安全審計，確認平台不存在任何安全問題，用戶資金完全安全。GMGN 強調始終將用戶安全放在首位，並表示如有疑問可通過官方客服渠道諮詢。

ChainCatcher 消息，UXLINK 發布關於 UXLINK 代幣合約遷移的最新進展：目前，UXLINK 代幣存在未經授權的增發行為，這既違背了 UXLINK 白皮書內容，也破壞了社區共識。已就計劃中的代幣置換事宜與主要 CEX 合作夥伴進行了溝通，他們均表示全力支持。一份新的智能合約已提交進行安全審計。該新合約將設定固定代幣供應量，確保不會再增發任何額外代幣。同時，取消了通常用於跨鏈解決方案、旨在保障社區利益的增發-銷毀功能。其還在回應韓國數字資產交易所協會 DAXA 的詢問，並將與安全專家夥伴共同編寫一份全面的事件報告。此前，UXLINK 表示，多簽錢包遭遇安全漏洞，資金被非法轉移。

ChainCatcher 消息，据 The Block 報導，以太坊基金會啟動 Fusaka 升級安全審計競賽，獎金高達 200 萬美元。此次為期四週的審計由 Sherlock 平台主辦，Gnosis 和 Lido 協辦，旨在上線前發現潛在漏洞。Fusaka 升級包含約 12 項 EIP，主要聚焦安全性、吞吐量和效率提升，其中"節點數據可用性採樣"將分散節點間的數據檢查，擴大 Rollups 容量。競賽設有獎勵倍增機制：第一週 2 倍，第二週 1.5 倍。該升級目標於 2025 年第四季度部署至主網，但基金會執行主管 Tomasz Stańczak 表示，若協調不夠緊密，時間表可能延遲。

ChainCatcher 消息，据 The Block 報導，Arbitrum 基金會計劃撥款價值 1400 萬美元的 ARB 代幣來補貼其網絡上區塊鏈項目的安全審計計劃 "Arbitrum Audit Program"，據悉在 ArbitrumDAO 的提案獲得批准後，該計劃將在 12 個月內分發 3000 萬個 ARB 代幣。

ChainCatcher 消息，Cetus 官方發布被盜事件報告表示，5 月 22 日，Cetus 遭遇了一次針對 CLMM 流動性池的高級智能合約攻擊。Cetus 已第一時間採取應對措施以減輕影響。攻擊者利用開源庫中未被發現的漏洞，透過壓低池價，在高價區建倉，並利用溢出檢查缺陷，以極少代幣注入虛高流動性，隨後多次執行移除流動性操作提取池中資產，反覆利用未校驗的計算函數進行攻擊，最終成功盜取資金。為了共同維護整個生態系統的最大利益，在大多數 Sui 驗證節點的支持下，Cetus 緊急凍結了攻擊者的兩個 Sui 錢包地址，這兩個錢包包含了被盜資金的主要部分。剩餘被盜資金已被黑客兌換並跨鏈轉移至以太坊主網。Cetus 正與 Sui 安全團隊及多家審計機構合作，重新審查合約並開展多方聯合審計，確保在完成驗證後安全恢復 CLMM 服務。同時，Cetus 將加強鏈上監控，啟動額外審計並定期發布安全報告。為補償受影響的 LP，Cetus 正與生態夥伴制定恢復方案，並呼籲 Sui 驗證者支持鏈上投票，加快用戶資產返還與信心重建。在法律程序持續推進的同時，Cetus 也向攻擊者提供了一個白帽回歸機會。Cetus 即將向其發出最終通牒。如有任何更新，Cetus 將持續向社區透明通報。

ChainCatcher 消息，Aptos 官方確認，Cetus DEX 遭遇的攻擊漏洞僅限於 Sui 網絡，Aptos 網絡本身、用戶資金及其 DeFi 合作夥伴均未受波及。目前，Aptos 安全與工程團隊已啟動全面審計，正持續密切跟進事件進展，並與 DeFi 合作夥伴協同，確保網絡安全與穩定。

ChainCatcher 消息，据官方消息，AI 驅動的交易協議 COPX.AI 宣布已成功完成由 Web3 安全審計公司 CertiK 進行的全面安全審計。據悉，此次審計覆蓋了 COPX.AI 的核心智能合約，包括代幣分配、線性釋放機制及交易挖礦邏輯，確保其安全性與功能完整性。COPX.AI 團隊表示，此次審計進一步增強了協議的透明度和安全性，未來將持續優化智能合約，並探索更去中心化的治理方案。

ChainCatcher 消息，Safe 表示，Safe{Wallet} 團隊在過去的幾天裡一直與 Mandiant 合作，針對 Bybit 黑客攻擊事件進行全面的取證調查和安全審計。Safe 表示其團隊致力於透明度。Mandiant 初步報告結果將於下週公布。

ChainCatcher 消息，去中心化交易所 Uniswap 在其官網宣布其最新版本 v4 正式上線。該版本已部署在包括 Ethereum、Polygon、Arbitrum、OP Mainnet、Base、BNB Chain、Blast、World Chain、Avalanche 和 Zora Network 在內的 10 條鏈上。Uniswap v4 新增了 Hooks 功能，允許開發者為資金池、交易、費用和 LP 倉位構建自定義邏輯。目前已有超過 150 個 Hooks 被開發。此外，v4 版本在燃氣費方面也有顯著優化，創建新資金池的成本最高可降低 99.99%。在安全性方面，Uniswap v4 已完成 9 次獨立審計，舉辦了史上最大規模的安全競賽，並提供了 1550 萬美元的漏洞賞金計劃。用戶現可通過 Uniswap 網頁應用程序提供流動性，交易功能將在未來幾天內陸續開放。