Certora: formal verification services for cryptography and ZK
=============================================================

Certora builds and operates the Certora Prover, the most used smart-contract formal verification tool, open-sourced in 2025. It verifies the on-chain verifier, bridge and governance contracts around a ZK system; it does not verify circuits.

Website: https://www.certora.com
Headquarters: Tel Aviv, Israel and United States
Focus: Certora Prover for smart contracts on EVM, Solana, Move and Soroban
Index position: #9 of 11
Services: Rule-based contract verification (CVL) | Continuous verification in CI | Contract audits
Tools: Certora Prover
Evidence: https://github.com/Certora/CertoraProver

Source page: https://sorryfree.com/firms/certora/
Compiled by: sorryfree editors (https://sorryfree.com/about/)
Last reviewed: 2026-09-13