what's Certora?
Certora is a leading provider of formal verification tools and security auditing services for blockchain and smart contract ecosystems. The company specializes in automated formal verification, which mathematically proves the absence of bugs in code, going beyond traditional audits to ensure comprehensive security. Their flagship tool, the Certora Prover, supports EVM-based chains, Solana, and Stellar, enabling developers to write verification rules that check for vulnerabilities like reentrancy, arithmetic overflows, and access control issues. Certora has secured over $100 billion in total value locked across major DeFi protocols by identifying critical bugs before deployment. They collaborate with projects such as Aave, Uniswap, MakerDAO, Lido, and the Solana Foundation, offering both proprietary and open-source solutions. In 2025, Certora open-sourced the Certora Prover, making industrial-grade verification accessible to the broader Web3 community and lowering barriers for smaller teams to achieve high-security standards. Through initiatives like audit subsidy programs, Certora supports ecosystem growth by making professional security assessments more affordable, particularly for emerging builders on platforms like Solana. Their approach combines advanced formal methods with practical tooling, helping prevent exploits and fostering trust in decentralized finance.
Certora remains Aave service provider following BGD Labs & ACI departure over governance.
Links
x.com/certoraincRemains as a service provider for Aave following the departure of BGD Labs (effective April 11, 2026) and ACI after governance disputes over the "Aave Will Win" funding proposal.
Adopted AgentLISA security platform for integration into its development workflow.
Launched a Solana validator and joined the Solana Foundation Delegation Program on December 16, 2025.
Backs $1M audit subsidy initiative through areta_io for Solana projects, with eight projects selected in the first cohort and applications open for future cohorts.
Introduces open source AI Composer tool that integrates formal verification directly into AI-generated smart contract code, running mathematical safety checks before execution.
Certora collaborates with Ledger and Kerberus to organize DeFiesta event in Buenos Aires on November 18th.
Coordinates with Balancer and SEAL to execute whitehat recovery operation for Balancer V2 meta-stable pool vulnerability, securing $4.1M across Mainnet, Optimism, and Arbitrum.
Partners with Syndicate to provide layered security services alongside Olympix, Softstack, and SecurityOak for their community-owned internet infrastructure.
Squads Protocol, audited by Certora, reveals it now secures $2B in stablecoins across its suite of products for businesses, consumers, and developers.
Major Solana lending protocol Kamino publicly showcases 3 formal verifications as key security feature on new Security Page, protecting $4B+ in deposits.
Partners with Aquarius to audit DeFi liquidity system on Stellar network, expanding audit services to new blockchain ecosystem.
Achieves major milestone with 50 completed Solana ecosystem audits, protecting $9B in value across leading protocols.
Audit services now more affordable and user-friendly, improving accessibility for projects.