安全审计

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 网页应用程序提供流动性，交易功能将在未来几天内陆续开放。