Certora
Certora61
About
What does Certora do?
Certora provides a formal verification platform for smart contracts, enabling developers to ensure the correctness and security of their blockchain applications. By applying modular formal verification techniques, Certora helps identify bugs and vulnerabilities before deployment, reducing risks and building trust in decentralized systems.
What is Certora's revenue?
StartupHub estimates Certora's annual revenue at $8.6M (range $5.8M to $13.9M, 63% confidence), based on comparable companies in the sector.
What is Certora's valuation?
StartupHub estimates Certora's effective valuation at $148.9M (range $90.0M to $216.0M, 10% confidence), based on comparable companies in the sector.
How much funding has Certora raised?
Certora has raised a total of $36M in funding. The most recent round on record is Series B.
Where is Certora headquartered?
Certora is headquartered in Tel Aviv, Israel.
When was Certora founded?
Certora was founded in 2018.
What industry does Certora operate in?
Certora operates in Blockchain, Smart Contract, Cybersecurity, Smart Contract Security, Formal Verification, Fintech.
How many employees does Certora have?
Certora has approximately 92 people on record.
What is Certora's current status?
Certora's current operating status is: Inactive.
Enclave Systems provides Zero Trust Network Access (ZTNA) solutions to simplify and secure business network connectivity.
AI-powered platform for secure and seamless digital identity and authentication management.
Acloaker is an enterprise-grade traffic protection and smart routing platform that filters bots and fraud, routes real visitors instantly, and scales campaigns with confidence.
Digital rights, online security, data leaks, and the state in the age of algorithms. Who collects our data and what to do about it.
Auspere is the security and governance control layer for agentic AI.
Actorix provides an AI-powered solution to detect and block phishing attacks before they reach users.
ShieldTrust is building the security and trust layer for AI that acts on critical systems, enabling control, enforcement, and provable trust for autonomous AI.
Automates Cyber Resilience Act compliance for connected products in the EU, including SBOM, vulnerability monitoring, and CE technical files.
An entrant is a company tagged Cybersecurity whose domain was first registered in the window, counted from registry records in the StartupHub directory. 6 of them registered in the last 30 days. Registry detection runs two to three weeks behind registration, so recent weeks are a floor.
No comments yet. Be the first to share your take.