Certora audits

Compiled by Trustblock from public reportsIs this your firm? Claim the profilecertora.comX

As of 21 Oct 2026, Certora has reviewed 9 projects in 17 audit reports on Trustblock, dated from Sep 2024 to Jun 2026. The latest is “Aave StableVault”, dated 30 Jun 2026.

Request an audit

Record last updated . Trustblock lists reports. It does not score or rank security firms.

Figures from these reports

Counted from the 17 reports above. Each figure carries its own date and source. They describe the projects and reports listed here; they are not a score, and they are not compared with any other firm.

Critical findings reported
3
Findings this firm rated critical in its 17 reports: 3 marked fixed, 0 acknowledged, 0 open.
Counted from the reports. As of 1 Oct 2026.
Value held in the projects reviewed
$18.1bn
The value locked in 5 of the 9 projects, each counted once. It measures the size of the projects.
Source: DefiLlama. As of 19 Oct 2026.
Findings reported, by severity and status
SeverityOpenAcknowledgedFixed
Critical003
High0012
Medium0727
Low02450

Chains of the projects reviewed

  • Ethereum7
  • Arbitrum6
  • Base6
  • Optimism5
  • Polygon (POS)4
+15 other chainsSee all chainsHide the list
  1. Ethereum7
  2. Arbitrum6
  3. Base6
  4. Optimism5
  5. Polygon (POS)4
  6. BNB Chain3
  7. Avalanche2
  8. Polygon zkEVM2
  9. Scroll2
  10. Fantom1
  11. Gnosis1
  12. Linea1
  13. Mantle1
  14. MegaETH1
  15. Monad1
  16. Plasma1
  17. Solana1
  18. Sonic1
  19. Sui1
  20. zkSync1

Counted from this firm's projects by the chains each runs on; a project is counted on each of its chains. As of 1 Oct 2026.

About Certora

Certora builds formal verification tooling, including the Certora Prover, which checks smart contract bytecode against rules describing expected behavior. Its team also performs smart contract audits and writes custom verification rules for clients.

Security firm.

Show this record on your site

The security firm widget shows Certora’s reports on Trustblock and links to this page. Clients can add a project label that names the firm.

Open it in the Playground