Last updated 2026-07-22
Total raised
—
Last: Undisclosed Round 2022-05
Stage
Series B
Founded
2018
Headcount
91
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.
Headcount over time
91 employees (2026-09) · 1 point
Offices
Tel Aviv-Yafo, Israel · HQ / main office
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 · 12
Mooly Sagiv
Founder · Co-Founder & CEO
Shelly Grossman
Founder · Co-founder & CTO
Nurit Dor
VP of Products
Seth Hallem
CEO
Ilya Leybovich
VP of Marketing
Maya Glik Dubovi
VP of Customer Success
Elad Erdheim
VP of Security Labs research
Sofi Vissani
VP of Sales
Idit Kronzon
VP People
Andrew Flesch
VP of Worldwide Sales
Tomer Ganor
Research Lead
Aviva Gatt
HR Consultant
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) | 91 |
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 רמת גן |