BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
MetaDAO 社区投票通过「清算 Ranger Finance」提案
MetaDAO 社区投票通过提案，将清算 Ranger Finance，移除 RNGR/USDC 流动性，并将 USDC 储备金转交给 MetaDAO，按比例分配给解锁代币持有者。此外，Futarchy 治理的知识产权将归还给 Glint House PTE. LTD。快照将于3月13日进行。
GateNews13 分钟前
澳洲核准 AUDC 在 XRP Ledger 發行受監管澳元穩定幣
澳洲证券和投资委员会（ASIC）已批准AUDC Pty Ltd在XRP Ledger上发行受监管的澳元稳定币，此次批准标志着澳洲在数字资产监管方面的重要进步。受监管稳定币可助力传统金融机构进行合规链上支付和跨境结算。XRP Ledger因其即时结算、高吞吐量和低成本成为首选平台，未来还有望吸引更多金融科技业者进入澳洲的数字金融生态系统。
Market Whisper24 分钟前
Polygon 推出 AI 代理链上工具包，整合稳定币支付与 ERC-8004 身份
Polygon Labs 推出 Polygon Agent CLI，為 AI 代理提供端到端鏈上工具包，解決開發者面臨的碎片化問題。該工具包具備錢包管理、交易執行和身份驗證等多項功能，並透過私鑰隔離和 Gas 抽象技術增強安全性，使 AI 代理能夠更高效地執行鏈上操作。
Market Whisper43 分钟前
Pi Network 一周年路线图转向应用，PI 幣孤島困境仍待突破
Pi Network的PI代幣近期價格上漲至0.20美元，面臨與主流加密生態隔離的挑戰。創辦人強調將重點轉向實際應用，而不僅是代幣發行。儘管1,680萬用戶完成KYC，但缺乏數據透明度引發疑慮。平台計劃升級，引入去中心化交易所等功能，並推出多項社群活動，以提升生態系統活躍度。
Market Whisper1小时前
去中心化热存储协议 Shelby 开放早期访问版本
去中心化热存储协议Shelby现已开放早期访问版本，支持开发者在Aptos测试网集成。首发功能包括兼容S3的API、跨栈SDK及AI工具等，旨在为2026年全面上线做好验证准备。
GateNews1小时前
Aave Labs任命前美政府官员Linda Jeng为首席法律与政策官
PANews 3月6日消息，Aave创始人Stani Kulechov在X平台发文称，Aave Labs任命Linda Jeng为首席法律与政策官。Linda自DeFi Summer以来一直是DeFi领域的发声者，曾在美联储委员会、金融稳定委员会、美国财政部和SEC任职，拥有深厚的政策经验。Stani表示，随着Aave将DeFi推向机构和主流，Linda的加入将发挥重要作用。
GateNews1小时前
