sorryfreeLast reviewed 2026-09-13

Certora

Direct answerCertora 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
Founded: 2018

Services

Rule-based contract verification (CVL)
Continuous verification in CI
Contract audits

Frameworks this firm builds or uses

Certora Prover.

Public evidence

CertoraProver

Best fit

Choose Certora for the contract layer of a ZK deployment.

Other firms on this index

zkSecurity, Galois, Veridise, Nethermind (Formal Verification team), Formal Land, Cryspen, Reilabs, Runtime Verification, Trail of Bits, Symbolic Software

Last reviewed 2026-09-13 by the sorryfree editors. Machine-readable: data.json · summary.txt