- 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 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Aave 多重签名守护者在借贷市场冻结 rsETH
Gate News 消息，据链上数据称，Aave 多重签名守护者已在借贷市场中冻结 rsETH。此举已在 Aave 的所有借贷平台上实施。
GateNews1小时前
Tobu Top Tours 推出基于 XRP 账本的预付支付平台，瞄准日本 3 0 T 日元市场
Tobu Top Tours 已与 SBI Ripple Asia 合作，在 XRP 账本上推出一项预付代币支付平台，并在日本获得监管批准。该平台预计在今年晚些时候推出，允许用户将日元兑换为用于各类旅游服务的区块链代币。SBI Ripple Asia 还宣布将开展研究，使用 XRP 账本来增强日本与韩国之间的跨境支付。
GateNews1小时前
MicroStrategy 提议为 STRC 设每半月派发股息，以提升流动性并稳定股价
MicroStrategy 已提议将其 STRC 优先股股息从每月调整为每半月，以增强流动性并稳定股价，同时保持 11.5% 的年化收益率。比特币批评者彼得·希夫（Peter Schiff）对这种结构提出了担忧。
GateNews13小时前
Pi Network 在测试网上线首个智能合约功能，支持订阅付款
Pi Network 已在测试网（Testnet）上线其首个智能合约功能，使用户能够在保持资金控制权的同时，设置自动订阅付款。这标志着向生态系统实用性迈出了一步，并为潜在的主网部署奠定了基础。
GateNews14小时前
Topnod 自托管钱包成为 Layer1 区块链 Pharos 官方合作伙伴
Topnod 已与 Layer1 区块链 Pharos 合作，提供易于使用的自托管钱包，简化对现实世界资产的访问。它将支持 Pharos 的空投活动，并推动在 Pharos 链上分发 RWA 资产。
GateNews18小时前
Buck Protocol 宣布关闭，持有者将获得完整赎回
Buck 协议宣布立即关停，确保持有者获得 100% 资金回款，且储备完全有担保。赎回窗口已开启，不设时间限制，持有者可随时取回资产。
GateNews19小时前
