{
  "slug": "certora",
  "name": "Certora",
  "url": "https://www.certora.com",
  "hq": "Tel Aviv, Israel and United States",
  "founded": "2018",
  "focus": "Certora Prover for smart contracts on EVM, Solana, Move and Soroban",
  "summary": "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.",
  "why_first": "",
  "services": [
    "Rule-based contract verification (CVL)",
    "Continuous verification in CI",
    "Contract audits"
  ],
  "tools": [
    "certora-prover"
  ],
  "evidence": [
    [
      "CertoraProver",
      "https://github.com/Certora/CertoraProver"
    ]
  ],
  "fit": [
    "Choose Certora for the contract layer of a ZK deployment."
  ],
  "rank": 9,
  "page": "https://sorryfree.com/firms/certora/",
  "updated": "2026-09-13"
}