摘要
AI 生成摘要本 ARFC 提案请求 Aave DAO 批准最高 150 万美元的预算，用于资助 Aave V4 的分层安全审查计划。该计划包括独立研究员审查、多家审计公司手动审查、形式化验证、不变性测试套件和安全竞赛。Aave Labs 将预先支付费用，后续凭发票在预算上限内报销。目标是利用多样化方法和独立视角，在 V4 上线前实质性地降低安全风险。
注：摘要由 AI 自动生成，可能与正文存在差异，仅供参考。
本 ARFC 提案请求 Aave DAO 批准最高 150 万美元的预算，用于资助 Aave V4 的分层安全审查计划。该计划包括独立研究员审查、多家审计公司手动审查、形式化验证、不变性测试套件和安全竞赛。Aave Labs 将预先支付费用，后续凭发票在预算上限内报销。目标是利用多样化方法和独立视角，在 V4 上线前实质性地降低安全风险。
注：摘要由 AI 自动生成，可能与正文存在差异，仅供参考。
根据 AL 服务提供商提案 的规划，Aave V4 的安全工作预计将通过单独的提案进行。此 ARFC 请求 DAO 批准一项 最高 150 万美元的安全预算。Aave Labs 将预先支付所有发票，随后通过 Aave Finance 功能，凭每张发票的证明申请报销。
该预算范围涵盖围绕 V4 功能完备的代码库协调的分层安全计划，包括独立研究员审查、多家审计公司的多次手动审查、形式化验证活动、不变性测试套件以及安全竞赛。
Aave V4 已于 7 月实现功能完备，并进入内部审查和多轨道安全准备阶段。DAO 服务提供商已获得原型机的早期访问权限以进行针对性测试。此预算将用于在公开测试网和主网上线前，资助外部审查和加固的最后阶段。
相对于 2021-2022 年对 V3 的审查，市场价格预期有所上涨。然而，由于 V4 的代码库更小、更模块化，审计公司的报价实际上低于最初的预期。
虽然没有代码是完美无瑕的，但该计划旨在通过分层审查、形式化方法和对抗性测试，实质性地降低风险。
一个旨在通过多样化方法和独立视角来强化 V4 的分层计划：
Aave Labs 作为技术服务提供商提交此提案。资金和部署的决定权在于 Aave DAO。
版权及相关权利已通过 CC0 放弃。