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.
| # | Name | Project | Date | Chains | Issues |
|---|---|---|---|---|---|
| 1 | Spectra Bridge | Spectra | 2026/06/10 | Off-Chain (Private) | No active critical issues |
| 2 | Veda Incentive Teller System | Veda | 2026/05/19 | Off-Chain (Private) | No active critical issues |
| 3 | Aave StableVault | Aave | 2026/05/11 | Off-Chain (Private) | No active critical issues |
| 4 | Saturn Dollar | Saturn | 2026/04/30 | Off-Chain (Private) | No active critical issues |
| 5 | Saturn Dollar M0 Extensions | Saturn | 2026/04/30 | Off-Chain (Private) | No active critical issues |
| 6 | Veda Yield Streaming | Veda | 2026/04/27 | Off-Chain (Private) | No active critical issues |
| 7 | Umia | Umia | 2026/04/13 | Off-Chain (Private) | No active critical issues |
| 8 | Suilend Liquid Staking | Suilend | 2026/03/24 | Off-Chain (Private) | No active critical issues |
| 9 | Suilend | Suilend | 2026/03/24 | Off-Chain (Private) | No active critical issues |
| 10 | Lido V3 | Lido | 2026/01/10 | Off-Chain (Private) | No active critical issues |