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

Odaily Planet Daily reports that Aave Labs has announced the security framework for Aave V4, proposing a “security-first” development approach that incorporates security verification during the architecture design phase, rather than only conducting final audits before launch. This security plan has been ongoing for about a year, with approximately 345 days of security reviews completed, funded by a $1.5 million security budget approved by Aave DAO. It is understood that the V4 security process combines formal verification, manual audits, invariant testing, fuzzing, and public security competitions, among other layered auditing methods. Moving forward, the protocol development will continue to adopt five long-term security measures, including early formal verification, multi-layer security audits, continuous verification mechanisms, long-term bug bounty programs, and AI-assisted smart contract security scanning. (The Block)