BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Virtuals协议 (VIRTUAL) 展示AI代理可在以太坊上蓬勃发展——以下是其含义
Virtuals Protocol 在加密货币和人工智能领域取得重大进展，推出了 ERC-8183 代币等创新功能，用于 AI 代理之间的无信任支付。作为顶级山寨币，它促进了现实应用，推动了其生态系统的需求和增长。
CaptainAltcoin31 分钟前
Cardano创始人Charles Hoskinson在"分手"多年后向以太坊基金会提出提议 - U.Today
Charles Hoskinson在以太坊基金会发布其任务授权后对Vitalik Buterin提出了质疑，暗示其类似于Cardano的治理方式。他辩称以太坊正在试图效仿Cardano的链上治理结构，强调两个项目之间控制机制的明显差异。
UToday1小时前
Byreal AI 代理 Skill 上线 ClawHub，支持 OpenClaw 自主执行 Solana DEX 交易
Gate News 消息，3 月 16 日，Byreal AI 代理 Skill 已上线 ClawHub 平台，为 OpenClaw AI 代理提供自主发现、安装和执行功能支持。通过该 Skill，AI 代理可实现 Solana 去中心化交易所（DEX）的自主交易操作，以及流动性池（LP）的自主管理功能。
GateNews1小时前
MetaPlanet 修订资本配分方针，保留熊市增持 BTC 选项并强化回购机制
日本比特币财库公司MetaPlanet修订资本配分方针，维持长期持有比特币，但增强资金筹措与回购灵活性，计划通过多种方式筹资，并设定回购、权益认购及杠杆控制的策略。
GateNews1小时前
Aave Labs 推出 Aave V4 存储库的两部分许可框架
CryptoNewsFlash2小时前
Aave Shield 安全机制亮相：自动阻止高风险互换交易，DeFi 安全再升级
Aave 团队推出 Aave Shield 安全机制，旨在通过自动阻止价格波动超过 25%的交易，保护流动性提供者和交易者，提升市场信心。该机制响应迅速，强化了 DeFi 的安全标准，有助于风险管理和市场稳定。
GateNews3小时前
