Aave 发布 V4 最新审计报告,安全审查范围进一步扩大
Aave 最新发布的 V4 代币化分支(Tokenization Spoke)审计报告显示,该组件已通过 ERC-4626 标准审查,可实现标准化的代币化流动性集成。整个 V4 安全计划历时 345 天,融合了多次审计、形式化验证以及广泛的公开测试。超过 900 名参与者参与了 Aave V4 的漏洞赏金计划,未发现任何关键或高危漏洞。
ChainSecurity 审查代币化分支
本次最新审计由 ChainSecurity 负责,重点检查了 V4 架构中的代币化分支组件。该组件遵循 ERC-4626 金库标准,可将流动性中心的存款转换为可互换的 ERC-20 份额代币,为流动性提供者提供对底层流动性的权益凭证。这一结构为开发者及外部协议提供了标准化框架,使其能够与代币化流动性进行交互。Aave 创始人兼 CEO Stani Kulechov 在社交平台上强调了此次审计,指出该金库接口对于希望集成 Aave V4 的项目尤为关键。
安全计划持续近一年
此次发布的报告是 V4 整体安全计划的一部分,该计划历时 345 天,涵盖多轮审计、形式化验证及公开安全测试,重点验证协议全新的“中心与分支”架构。Certora 在开发过程中持续主导形式化验证工作,而 ChainSecurity、Trail of Bits 和 Blackthorn 则在多个审查阶段进行了人工安全评估。值得注意的是,Blackthorn 的最终审计在检查提交的代码库后未发现任何问题。
多轮审查覆盖最终代码
除内部审计外,Aave 还通过 Sherlock 平台开展了为期六周的漏洞赏金活动,吸引了超过 900 名参与者审查代码。据 Aave 透露,该计划未产生任何关键或高危发现。在代码最终定稿后的整体审计过程中,同样没有报告高危漏洞。不过,审计人员在审查期间确实发现了一些微小或低级别问题,相关团队已在最终报告发布前予以解决。最新发布的 ChainSecurity 评估为安全流程增添了另一层保障,专门审查了将流动性中心存款与 Aave V4 生态内可互换代币化策略连接起来的 ERC-4626 金库接口。
AAVE

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注