Certora and Aave Labs revealed the details of the security framework jointly developed for Aave V4, the next generation of the decentralized lending protocol.
The collaboration between both companies spans more than six years and covers multiple versions of the protocol. For Aave V4, Certora joined the development process more than a year before launch, integrating security directly into the system architecture from the initial design stages.
The work included continuous formal verification, adversarial testing and manual audits carried out by researchers with experience in lending protocols, oracle systems and governance mechanics.
In concrete terms, the Certora team reviewed 169 smart contracts, analyzed more than 51,000 lines of code, generated more than 800 formal verification rules and prevented 28 critical vulnerabilities before deployment. Additionally, during an external security contest with independent researchers, no critical or high-impact vulnerabilities were identified.
“Security can no longer depend on one-off audits,” said Mooly Sagiv, founder and chief scientist at Certora. In 2025 alone, the firm actively contributed to protecting $196.5 billion in total value locked across DeFi protocols and prevented more than 720 vulnerabilities before they reached production.
Disclaimer: Crypto Economy Flash News are based on verified public and official sources. Their purpose is to provide fast, factual updates about relevant events in the crypto and blockchain ecosystem.
This information does not constitute financial advice or investment recommendation. Readers are encouraged to verify all details through official project channels before making any related decisions
