evolcSign inStart free
Menu

Certora

Formal verification software and smart contract security audits for blockchain protocols and Web3 teams

United Statescertora.comWebsite technologies

+ Add to sales board

Highlights

  • New on EvolcAdded 2026-11-14

About Certora

Certora develops the Prover, a formal verification tool that checks smart contract bytecode against user-defined rules, and provides smart contract audits and verification services.

Its customers include blockchain protocols and Web3 teams. It offers free and paid Prover plans, as well as audits, enterprise retainers, and expert-written specifications.

Founded in 2018, Certora is hiring for sales roles in the United States.

Product: Certora Prover formal verification software, smart contract audits, and expert verification services.

Jobs at Certora

No open positions listed right now.

More cybersecurity companies

  • ClearVector

    Identity-driven detection and response for security teams monitoring cloud production environments
    United StatesCybersecurity
    New on Evolc

  • Cloaked

    Privacy app for consumers and families offering data removal, identity aliases, monitoring and security tools
    United StatesCybersecurity
    New on Evolc

  • Cogent Security

    AI-powered vulnerability management for enterprise security teams
    United StatesCybersecurity
    New on Evolc

  • Confiant

    Ad security and quality tools for digital publishers and advertising platforms
    United StatesCybersecurity
    New on Evolc

  • Conifers.ai

    Agentic AI security operations platform for enterprise SOC teams, MSSPs and MDR providers
    Dallas, United StatesCybersecurity
    New on Evolc

  • CoreView

    Microsoft 365 security, resilience and administration software for enterprises managing complex cloud tenants
    Washington, United StatesCybersecurity17 open jobs

All cybersecurity companies →

Website technologies

Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.

Backend

  • Ruby on RailsMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Content delivery

  • CloudflareHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence
  • FastlyHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Content management

  • PrismicMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Frontend frameworks

  • Next.jsHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence
  • ReactMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence
  • Tailwind CSSMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Hosting

  • nginxHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence
  • VercelHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Recruiting

  • TeamtailorHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.