Aave 投入150万美元进行为期345天的审计,以增强V4的安全性

TheNewsCrypto
AAVE-6.42%
TRX0.7%
  • Aave Labs 不采用先构建后审计的旧方法,而是让 V4 安全团队从一开始就与开发者合作。
  • 人工智能元素突出,自动化系统可以捕捉到人类审计可能遗漏的边缘案例。

Aave Labs 团队据报道已在一项庞大的审计计划上投入约150万美元,标志着迄今为止DeFi中最全面的安全审查之一。审查过程持续了大约345天,涉及多家安全公司和一场大型公开审计竞赛。

快速试错的时期正在逐渐消退。在当前的市场环境中,韧性和安全性才是真正的竞争优势。该团队主要由Aava DAO提供资金支持,并引入了ChainSecurity、Trail of Bits、Blackthorn和Certora等知名安全公司。

与其进行一次审计,该代码从多个角度进行了测试。结合所有措施,协议经过了内部团队、外部审计员和独立研究人员大约一年的全面测试。

最大的一些阶段包括在2025年12月至2026年1月期间举行的为期六周的Sherlock公共安全竞赛。超过900名研究员参与了竞赛,提交了超过950份发现。

增强信任

尽管进行了如此大规模的审查,但未发现任何关键或高严重性漏洞。这增强了对Aave中心-辐射架构的信心,该架构最初旨在压制协议的全部攻击面。

Aave Labs 不采用旧的“先构建后审计”方法,而是让V4安全团队从一开始就与开发者合作。该框架涵盖五个核心理念,包括形式验证(用数学方法测试代码)、分层审查(结合手动审计和自动测试)、对每次代码更新的持续检查、持续的漏洞赏金计划以及利用AI工具扫描异常攻击路径。

人工智能元素突出,自动化系统可以捕捉到人类审计可能遗漏的边缘案例。验证公司Certora帮助描述了被称为“不变量”的严格规则,代码在进行人工审查之前必须始终遵守这些规则。

今日重点加密新闻:

TRON创始人孙宇晨与SEC达成和解协议

查看原文
免责声明:本页面信息可能来自第三方,不代表 Gate 的观点或意见。页面显示的内容仅供参考,不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证,对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为,价格波动剧烈,您可能损失全部投资本金。请充分了解相关风险,并根据自身财务状况和风险承受能力谨慎决策。具体内容详见声明
评论
0/400
暂无评论