BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
安德森获得动能之势，富兰克林邓普顿加码RWA推动
关键洞察：
随着富兰克林邓普顿（Franklin Templeton）合作伙伴关系推动代币化ETF在链上发展，安多（Ondo）势能增强——总锁仓价值（TVL）上升，并且机构准入显著扩大。
未来合约未平仓合约量（open interest）急剧上升，而资金费率保持为正，表明交易者的交易活动增加，市场活跃度提升。
Crypto News Land19 分钟前
瑞波首席执行官预测：金融格局转变下的2026年第一季度创纪录表现
_ Ripple 首席执行官 Brad Garlinghouse 释放信号：2026 年第一季度业绩有望再创新高，同时警告不要将加密政策武器化，并表示全球金融正在围绕数字资产积极重构._
Brad Garlinghouse 说得很直白。2026 年第一季度看起来将成为 Ripple 有史以来最好的一个季度。而这些数据
Live BTC News35 分钟前
Bitdeer 将在挪威建设最大 AI 数据中心，支持英伟达 Vera Rubin 技术
Bitdeer旗下的Tydal Data Center与挪威承包商达成改建协议，将设施转型以支持英伟达的AI技术。此举是Bitdeer全球战略的核心，旨在满足AI数据中心的需求增长。同时，Bitdeer已清空比特币储备，并计划融资3亿美元。
GateNews1小时前
链抽象稳定币系统 River 宣布扩展至 Base 网络
链抽象稳定币系统River于3月30日宣布扩展至Base网络，此前已在以太坊和BNB Chain部署。River称Base是流动性最强的以太坊L2平台，各项数据表明其DeFi总锁定价值超过40亿美元，稳定币市值达47亿美元，日活跃地址近50万。此扩展将使Base用户能原生持有和使用River。
GateNews2小时前
Aave V4 在治理投票通过后上线以太坊，正式完成发布。
去中心化金融（DeFi）借贷平台 Aave 在一次具有约束力的链上治理投票确认其部署后，已在以太坊上推出其 V4 协议。
周一，Aave 宣布在以太坊上推出其 V4 协议，介绍了旨在“将链上市场扩展到”
Cointelegraph2小时前
查尔斯·霍斯金森的2亿美元赌注：Midnight上线，旨在解决加密货币最大的缺陷
卡尔达诺创始人查尔斯·霍斯金森（Charles Hoskinson）批评加密货币未能融入真实经济。他的解决方案 Midnight 旨在简化并保障区块链的使用，解决核心缺陷。它支持隐私和易用性，使得无需复杂管理也能实现广泛采用。
CoinDesk2小时前
