Last updated 2026-06-18
- Raised $36M funding round led by Jump Crypto, May 2022
- Raised $7.2M funding round led by Electric Capital, May 2021
Total raised
$43.2M
Last: 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. Certora's 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. Blockchain independent and language agnostic, Certora's AEV technology precisely identifies or verifies the absence of bugs in smart contracts.
Funding history · 2 rounds · $43.2M total
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 · 1
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 | 18 |
|---|