Certora's 2025 report highlights their expansion as a leading DeFi security partner, securing 70% of top protocols by TVL including Stellar, Aave, and Compound. They reviewed hundreds of thousands of lines of code across chains like EVM, Solana, and Stellar, preventing 720+ vulnerabilities and protecting $196.5B in assets. Formal verification proved key invariants for protocols like Stellar, ensuring long-term solvency and security.
Certora details their 2025 achievements in DeFi security, expanding to secure 70% of the top 20 protocols by TVL and 70% of the top 10 on a continuous basis, including long-term partnerships with Aave (5+ years), Compound (5+ years), and Stellar (2 years). They protected $196.5 billion in assets, conducted 150 audits across EVM, Solana, Sui, Aptos, NEAR, and infrastructure, reviewing over 500,000 LOC. Key accomplishments include identifying 720+ vulnerabilities (80 critical), preventing hacks like insolvency risks and unliquidatable positions, and formally verifying invariants such as expired allowances on Stellar and share rate monotonicity on Aave v4. Their team quadrupled to 40 experts, emphasizing ongoing security beyond launch. The report underscores formal verification's role in proving system-wide correctness amid evolving blockchain risks.
