BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
BNB Chain：将通过资金支持与生态项目加速计划推动首批代理技能构建与开源
BNB Chain 最近推出多项原生链上功能，包括实时读取链上数据、执行交易和管理钱包，以及通过 ERC-8004 标准注册永久链上身份。这些功能使得 AI 开发者能迅速将原型转化为具价值的代理，并通过资金支持加速项目发展。
GateNews38 分钟前
SOL策略份额飙升21%，二月更新突出验证者增长
SOL Strategies Inc. 在2026年2月报告了显著增长，股价在业务更新后上涨了20.97%。公司将其Solana验证节点网络扩展到超过33,500个钱包，产生了1,276 SOL的净收入，并实现了最高6.47%的年化收益率。
TheNewsCrypto1小时前
Lido 在 V3 更新中引入新的节点运营商等级和扩展的铸币上限
Lido DAO的V3版本已进入第三阶段，允许任何节点运营商在所有stVaults中铸造stETH。
它还为已识别的节点运营商新增了四个等级，每个等级都有自己的储备比例和铸造限制。
Lido DAO已宣布推出其p的第三个版本
CryptoNewsFlash1小时前
Apollo Crypto将管理USDC计价代币化策略mEVUSD
Apollo Crypto宣布推出mEVUSD代币化收益策略产品，与Everstake和Midas合作，旨在利用闲置稳定币产生收益。Apollo将负责管理投资组合，通过DeFi协议降低市场风险。
GateNews1小时前
Bitwise 将 $233K 捐赠给比特币开发者，来自 BITB 利润
Bitwise资产管理已向比特币开发者捐赠了23.3万美元，履行了其将ETF利润的10%用于社区支持的承诺。这使总捐款达到38.3万美元，旨在增强比特币生态系统的安全性和发展。
Todayq News1小时前
