Aave Labs Unveils V4 Security Plan: 345 Days of Audits and a $1.5 Million Security Budget

Odaily News Aave Labs has announced the security framework for Aave V4, proposing a "security-first" development model that embeds security verification during the architectural design phase, rather than conducting final audits only before launch. This security plan spans approximately one year, involving a cumulative total of about 345 days of security reviews, funded by a $1.5 million security budget approved by the Aave DAO. It is reported that the V4 security process combines multiple layers of audit methods including formal verification, manual audits, invariant testing, fuzzing, and public security competitions. Future protocol development will consistently adopt five long-term security measures, including introducing formal verification early in development, implementing a multi-layered security audit approach, continuous verification mechanisms, a long-term bug bounty program, and utilizing AI-assisted smart contract security scanning. (The Block)