BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Ondo Finance 向美 SEC 提交不采取执法行动函请求，涉及代币化证券权益链上记录
Ondo Finance于4月13日向SEC提交请求，寻求确认在特定模式下，以代币化形式记录证券权益于以太坊主网的合规性。Ondo认为，这一链上记录能提升抵押品监控、优化流程并简化对账，旨在与传统金融协同运作。
GateNews1小时前
Pi Network 向 1M KYC 验证者分发 26.5M PI
Pi Network 在构建其生态系统方面又迈出了重要一步。该项目近日向超过 100 万名 KYC 验证者分发了 2650 万枚 PI 代币。
这些奖励发放给帮助在网络上验证身份的用户。这个过程很重要。因为它能够确保
Coinfomania2小时前
Aave 深陷信任危机：服务商集体出走，“技术、治理与风控”全面失守
作者：Jae，PANews
比起熊市的外部压力，Aave 内部反而先出现了一只“黑天鹅”。
长期盘踞借贷协议王座的 Aave，正遭遇自成立以来最惨烈的生态震荡。没有黑客攻击，没有代码漏洞，有的只是权力失控和利益反目。
从技术支柱 BGD Labs 的毅然离去，到治理先锋 ACI（Aave Chan Initiative）的公开决裂，再到风控管家 Chaos Labs 的官宣断交，一场服务商“ 大撤退”正在上演。
这场博弈的深度远超的合作纠纷，它触发了
区块客2小时前
Hyperliquid 主网上线优先费用机制，订单优先费用上限下调至 8 bps
Hyperliquid创始人Jeff在Discord宣布，优先费用机制已在主网以Alpha模式上线，包括Gossip和Order两种类型。用户可用HYPE代币支付，订单优先费用上限由20 bps降至8 bps，目前仅适用于HIP-3资产的IOC订单。
GateNews4小时前
Byreal 推出链上 AI 交易助手 RealClaw，支持第三方技能扩展
Byreal于4月13日推出了链上AI交易助手RealClaw，该工具基于OpenClaw框架，支持第三方技能扩展，用户可自定义交易策略，目前处于Alpha测试阶段，仅向受邀用户开放。
GateNews4小时前
Aave 治理内战落幕：AWW 提案压倒性通过“全产品营收归 DAO”，$AAVE 成唯一核心资产
Aave 创办人 Stani Kulechov 宣布“ Aave Will Win ”提案通过，将所有应用产品营收归入 DAO，并将 $AAVE 定位为唯一核心资产，目标是将协议规模扩大至 1 兆美元。此提案结束了 Aave 的治理危机，建立了新的收入流及治理原则，旨在增强社群信任与价值。
動區BlockTempo5小时前
