Certora
Smart Contract Accuracy and Security Verification
Active
B
Startup
Tel Aviv-Yafo
Founded 2018-11
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 pre…
SectorBusiness Software
StageB
Total raised$43.2M
Employees82
Founded2018-11
HQTel Aviv-Yafo
Crunchbasecertora
Confidence90
Sectors
Business SoftwareOperations SolutionsLegal & Compliance SolutionsIT, R&D & Data SolutionsProduct Development ToolsSoftware Development Tools
Technology
Artificial IntelligenceDeep LearningMachine LearningPlatforms & InterfacesWeb
Target customers
Enterprise & Professional ServicesSoftware DevelopmentEnterprises