# Certora

**Source:** https://www.startuphub.ai/startups/certora
**Profile type:** Startup

> Ensures smart contract correctness using modular formal verification.

## About

Certora provides a formal verification platform for smart contracts, enabling developers to ensure the correctness and security of their blockchain applications. By applying modular formal verification techniques, Certora helps identify bugs and vulnerabilities before deployment, reducing risks and building trust in decentralized systems.

## Key facts

- **Slug:** certora
- **Website:** http://www.certora.com
- **Location:** Tel Aviv, Israel
- **Founded:** 2018-11-20 00:00:00
- **Employees:** 92
- **Operating status:** Inactive
- **Total funding:** $36M
- **Sectors / tags:** Blockchain, Smart Contract, Cybersecurity, Smart Contract Security, Formal Verification, Fintech, Web3
- **Social:**
  - LinkedIn: https://il.linkedin.com/company/certora
  - Twitter: https://x.com/certora

## Frequently asked

### What does Certora do?

Certora provides a formal verification platform for smart contracts, enabling developers to ensure the correctness and security of their blockchain applications. By applying modular formal verification techniques, Certora helps identify bugs and vulnerabilities before deployment, reducing risks and building trust in decentralized systems.

### What is Certora's revenue?

StartupHub estimates Certora's annual revenue at $8.6M (range $5.8M to $13.9M, 63% confidence), based on comparable companies in the sector.

### What is Certora's valuation?

StartupHub estimates Certora's effective valuation at $148.9M (range $90.0M to $216.0M, 10% confidence), based on comparable companies in the sector.

### How much funding has Certora raised?

Certora has raised a total of $36M in funding. The most recent round on record is Series B.

### Where is Certora headquartered?

Certora is headquartered in Tel Aviv, Israel.

### When was Certora founded?

Certora was founded in 2018.

### What industry does Certora operate in?

Certora operates in Blockchain, Smart Contract, Cybersecurity, Smart Contract Security, Formal Verification, Fintech.

### How many employees does Certora have?

Certora has approximately 92 people on record.

### What is Certora's current status?

Certora's current operating status is: Inactive.

## JSON-LD

Structured data aligned with this page's `<script type="application/ld+json">` (included when the profile is server-rendered).

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "BreadcrumbList",
      "itemListElement": [
        {
          "@type": "ListItem",
          "position": 1,
          "name": "Home",
          "item": "https://www.startuphub.ai"
        },
        {
          "@type": "ListItem",
          "position": 2,
          "name": "Startups",
          "item": "https://www.startuphub.ai/startups"
        },
        {
          "@type": "ListItem",
          "position": 3,
          "name": "Certora",
          "item": "https://www.startuphub.ai/startups/certora"
        }
      ]
    },
    {
      "@type": "ProfilePage",
      "@id": "https://www.startuphub.ai/startups/certora#webpage",
      "url": "https://www.startuphub.ai/startups/certora",
      "name": "Certora - AI Startup Profile | StartupHub.ai",
      "description": "This is the official profile of Certora. Certora is a startup founded in 2018, operating in Blockchain and Smart Contract. Ensures smart contract correctness using modular formal verification. Headquartered in Tel Aviv, Israel. The company has approximately 92 employees.",
      "dateModified": "2026-07-01T09:30:43.137864+00:00",
      "mainEntity": {
        "@id": "https://www.startuphub.ai/startups/certora#organization"
      }
    },
    {
      "@type": "Organization",
      "@id": "https://www.startuphub.ai/startups/certora#organization",
      "name": "Certora",
      "url": "http://www.certora.com",
      "logo": "https://cdn.startuphub.ai/storage/v1/object/public/entity-images/startups/687976.jpeg",
      "image": "https://cdn.startuphub.ai/storage/v1/object/public/entity-images/startups/687976.jpeg",
      "description": "This is the official profile of Certora. Certora is a startup founded in 2018, operating in Blockchain and Smart Contract. Ensures smart contract correctness using modular formal verification. Headquartered in Tel Aviv, Israel. The company has approximately 92 employees.",
      "sameAs": [
        "https://il.linkedin.com/company/certora",
        "https://x.com/certora",
        "https://www.startuphub.ai/startups/certora"
      ],
      "foundingDate": "2018-11-20 00:00:00",
      "numberOfEmployees": {
        "@type": "QuantitativeValue",
        "value": 92
      },
      "address": {
        "@type": "PostalAddress",
        "addressLocality": "Tel Aviv",
        "addressCountry": "Israel"
      },
      "knowsAbout": [
        "Blockchain",
        "Smart Contract",
        "Cybersecurity",
        "Smart Contract Security",
        "Formal Verification",
        "Fintech",
        "Web3"
      ]
    }
  ]
}
```