BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Project 0 更新 Drift 事件处置进展，最迟明日完成受影响用户损失分摊核算
Project 0 联合创始人 MacBrennan 发布更新，计划于4月2日内处理 Drift 漏洞事件的用户损失，并将在恢复运营前公布具体计算方式。Drift 贷款人按比例分担损失，非贷款人减值最高约2%。损失评估基于最保守情形，未来情况有望改善。
GateNews20 分钟前
Uniswap v2/v3/v4 全版本上线 Linea zkEVM 网络
Gate News 消息，4 月 2 日，Uniswap 宣布 Uniswap v2、v3 和 v4 已在 Linea 网络上线。Linea 是由 Consensys 构建的 zkEVM L2 扩展网络。目前 Linea 已可在 Uniswap Web 应用和 Uniswap API 上使用，Uniswap Wallet 对 iOS 和
GateNews26 分钟前
Resolv Exploit Update 使密钥恢复问题仍未解决
Resolv Labs 已向用户更新了最近的漏洞情况，该漏洞铸造了 8000 万个 USR 代币。尽管白名单持有者在很大程度上已赎回其代币，但非白名单用户以及 RLP 持有者面临延迟。调查结果未发现内幕参与，但资产恢复仍不确定。
CryptoFrontNews1小时前
BitGo 为稳定币推出机构铸造与赎回服务
BitGo 已推出一项新的机构服务，使客户能够在一个单一平台内铸造、赎回并管理稳定币，起步包括 USD1 和 SoFiUSD。该举措旨在通过整合发行与托管功能，为机构简化稳定币的运营流程。
CryptoNewsFlash1小时前
Telegram 加密钱包推出永续合约交易，支持超 50 个市场
Gate News 消息，4 月 2 日，Telegram 内置加密钱包 Wallet in Telegram 宣布推出永续合约交易功能，由 Lighter 提供技术支持。该功能支持超过 50 个交易市场，涵盖金属、股票、石油和加密货币等多种资产类别，杠杆倍数最高可达 50 倍。
GateNews1小时前
SoFi 宣布 24/7 银行业务中心，将传统现金与加密货币融合
SoFi 正在推出一项面向企业的银行业务平台，SoFi Big Business Banking，使公司能够在一个单一、受监管的环境中管理传统货币和加密货币。该平台旨在简化交易流程，并降低对多个服务提供商的依赖，从而实现资金的即时转换与转移。
CoinDesk2小时前
