About
Smart Contract Accuracy and Security Verification
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.
Identity
| Name | Certora |
|---|---|
| Slug | certora |
| Type / kind | startup |
| Crunchbase ID | certora |
| Source _id | agxzfmlsbGlzdHNpdGVyGAsSC05ld19Db21wYW55GICA4Mjzp48LDA |
Status
| Status | active |
|---|---|
| Last update | 2026-05-17 |
Location
| HQ country code | IL |
|---|---|
| HQ region/district | Center District |
| HQ city | Tel Aviv-Yafo |
| HQ address | Chaim Levanon Street 30, Tel Aviv-Yafo, Israel |
Web & social
| Website | https://www.certora.com/ |
|---|---|
| https://www.linkedin.com/company/12669388 | |
| Twitter / X | https://twitter.com/certorainc |
| YouTube | https://www.youtube.com/channel/UC4DzjIwy_5afMxSI4mOpLHw |
Classifications
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 models
B2B
Tags
testingblockchainsecuritysoftware-developmentqadevelopers
Funding
| Total raised | $43.2M |
|---|---|
| Current stage | Series B |
Raw source document
Show full JSON (0 KB)
{
"0": "s",
"1": "l",
"2": "i",
"3": "m",
"4": "p",
"5": "a",
"6": "g",
"7": "e",
"8": "s",
"9": "_",
"10": "i",
"11": "m",
"12": "p",
"13": "o",
"14": "r",
"15": "t"
}