Summary
AI Generated Summary本 ARFC 提案请求 Aave DAO 批准最高 150 万美元的预算,用于资助 Aave V4 的分层安全审查计划。该计划包括独立研究员审查、多家审计公司手动审查、形式化验证、不变性测试套件和安全竞赛。Aave Labs 将预先支付费用,后续凭发票在预算上限内报销。目标是利用多样化方法和独立视角,在 V4 上线前实质性地降低安全风险。
Note: Summary is automatically generated by AI and may differ from the original text. For reference only.