Certora secures nearly $200 billion in DeFi value in 2025, preventing over 700 vulnerabilities across leading protocols

New York City, New York, January 21st, 2026, Chainwire New data highlights Certora’s rapid growth, expanding role in continuous security, and leadership in formal verification. Today, Certora, leading provider of formal verification tools and smart contract audits for Web3 protocols, released its 2025 Year-in-Review Report, revealing that the company helped secure $196.5 billion in total value locked (TVL) across the DeFi ecosystem and prevented more than 720 vulnerabilities from reaching production.