- 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 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Metaplanet靠“东京死亡螺旋之王”融资买币，比特币上涨前仅能靠 EVO 续命？
彭博社报道美籍投资人迈可‧勒奇及其EVO基金，专注于为中小企业提供资金流动性，以浮动履约价认股权证为主。EVO在日本市场主导地位，但其融资工具也面临股权稀释的风险。Metaplanet与EVO合作，转型为比特币储备公司，但其股价波动与资金依赖性增加了经营的不确定性。
鏈新聞abmedia1小时前
NAT 正式上线 SpiderPool，支持在同一区块实现 BTC 双挖矿
NAT 已在 SpiderPool 上线，无需额外设置即可实现与比特币的双挖矿。它每 10 分钟每个区块生成 386,000,000 NAT，价值为 $38，总市值为 $38 million。代码为开源。
GateNews2小时前
Gate日报（4月17日）：马斯克X Money遇纽约加密监管障碍；Yuga Labs任命新CEO
比特币（BTC）持平于74,920美元，以色列与黎巴嫩停火生效，特朗普称伊朗同意不拥核。瑞穗银行警告马斯克的X Money可能受到纽约加密监管影响。Yuga Labs更换CEO，Greg Solano转任董事会主席，Michael Figge接任。市场普遍乐观，十年来最大比特币买入潮出现，暗示价格可能向9万美元迈进。
Market Whisper3小时前
Yuga Labs任命Michael Figge为CEO，Greg Solano出任董事会主席
Yuga Labs已任命Michael Figge为首席执行官（CEO），并将创始人Greg Solano转任董事会主席。Figge此前担任首席产品官，现正代理CEO。Solano将在公司推进其元宇宙项目Otherside的过程中，专注于创意方向。
GateNews4小时前
贾斯汀·孙宣布 TRON PQ Transition，并批评比特币和以太坊
贾斯汀·孙已经启动了 TRON 的 TRON PQ upgrade plan，将其定位为首个采用抗量子技术的主要区块链，同时批评比特币和以太坊在应对量子威胁方面进展较慢。
Blockzeit6小时前
Sweat Economy 在尼日利亚获得移动验证专利，并申请欧洲专利
Sweat Economy 已在尼日利亚获得其移动验证系统的专利，这将增强其在 NEAR Protocol 上的 M2E 生态系统。该公司通过其 Sweatcoin 应用验证用户活动，使用户能够赚取 $SWEAT 代币。该项获批提升了人们对其技术的信心，并支持其在欧洲提交更多专利申请。
GateNews7小时前
