Last updated 2026-07-22
- Raised $36M Series B led by Jump Crypto, Apr 2022
Total raised
$36.0M
Last: Undisclosed Round 2022-05
Stage
Series B
Founded
2018
Headcount
82
HQ
Tel Aviv-Yafo, Israel
Sector
Business Software
About
Certora provides accessible and cost-efficient formal verification of smart contracts. Their Automatic Exact Verification (AEV) technology complements existing smart-contract compilers and debuggers and checks that all executions of a smart contract fulfill a set of requirements. Certora offers formal verification tools that mathematically prove smart contract code adheres to specified rules and expected behaviors. The Certora Prover analyzes every possible contract state and execution path to identify vulnerabilities that hackers could exploit. Certora also provides security audits conducted by formal verification experts who write custom rules to ensure code security.
Funding history · 1 round · $36.0M total
2022-04
B Round
$36.0M
★ Jump CryptoVMwareCoinfundLemniscapElectric CapitalCoinbase VenturesFramework VenturesTiger Global Management
Headcount over time
From 7 (2019-03) to 91 (2026-07) · +84 (+1200%) · 46 points · source: Finder history + radar grounding
Q&A
- What is Certora's primary business activity?
- Certora provides formal verification of smart contracts to ensure their accuracy and security, using Automatic Exact Verification (AEV) technology.
- When was Certora founded?
- Certora was founded in November 2018.
- Where is Certora's headquarters located?
- Certora's headquarters is located in Tel Aviv-Yafo, Israel.
- What is Certora's total funding raised to date?
- Certora has raised a total of $43,200,000 USD.
- When did Certora complete its most recent funding round and who were the lead investors?
- Certora completed a $36,000,000 funding round in May 2022, led by Jump Crypto and Electric Capital.
- Which investors participated in Certora's May 2021 funding round?
- Certora's May 2021 funding round of $7,200,000 included investments from Electric Capital.
- What is Certora's current funding stage?
- Certora is currently in its Series B funding stage.
Team · 2
Mooly Sagiv
Founder · Co-Founder & CEO
Shelly Grossman
Founder · Co-founder & CTO
Sectors & technology
Primary sector
Business Software
Sub-sectors
Business SoftwareOperations SolutionsLegal & Compliance SolutionsIT, R&D & Data SolutionsProduct Development ToolsSoftware Development Tools
Technologies
Artificial IntelligenceDeep LearningMachine LearningPlatforms & InterfacesWeb
Target customers
Enterprise & Professional ServicesSoftware DevelopmentEnterprises
Business model
B2B
Tags
testingblockchainsecuritysoftware-developmentqadevelopers
Full data — links, identifiers, deals & radar signals (jobs, patents, research, more)
External links
| Website | certora.com/ |
|---|---|
| linkedin.com/company/12669388 | |
| YouTube | youtube.com/channel/UC4DzjIwy_5afMxSI4mOpLHw |
Identifiers & details
| Founded | 2018-11 |
|---|---|
| Employees (exact) | 82 |
Radar intelligence
Publications (Crossref)
| Works | 10 |
|---|
GitHub
| Top repos | CertoraProver, Tutorials, Examples, gambit, CaptureTheSpec |
|---|
Web history (Wayback)
| Domain | certora.com |
|---|
Certificate / subdomain footprint
| Subdomains | 23 |
|---|
Israeli Companies Registrar (רשם החברות / ICA)
| Registrar # (ח.פ.) | 515928505 |
|---|---|
| Status | פעילה |
| Corp type | ישראלית חברה פרטית |
| Incorporated | 2018-11-19 |
| Purpose | לעסוק בכל עיסוק חוקי |
| Liability | מוגבלת |
| In violation (unfiled) | no |
| Last annual report | 2024 |
| Active charges / liens | 0 |
| Registry events | 0 |
| Registered address | תובל 40 רמת גן |