Company Overview
Snapshot
Founded in November 2018 by Shelly Grossman, Certora operates with 51–200 employees. The company has raised a total of $43.2 million across two funding rounds from 10 investors. In May 2022, Certora secured a funding round with Jump Crypto as a lead investor.
Business overview
Certora provides formal verification solutions for smart contracts, focusing on accuracy and security. Its Automatic Exact Verification (AEV) technology is designed to complement existing smart-contract compilers and debuggers, ensuring that all executions of a smart contract meet specified requirements. The technology is blockchain-independent and language-agnostic, enabling precise identification or verification of the absence of bugs in smart contracts. Certora serves markets in the Business Software sector, specifically within Operations Solutions, Legal & Compliance Solutions, IT, R&D & Data Solutions, and Software Development Tools.
Strategic signal
In May 2022, Certora raised a funding round, signaling continued investor confidence in its smart contract security tools. This investment highlights the growing demand for robust verification solutions in the blockchain and decentralized finance (DeFi) space, indicating Certora's strategic position to address critical security challenges and foster trust in smart contract deployments.
Log in to access full profile ›Company Intelligence Q&A
- What is Certora's core technology?
- Certora's core technology is Automatic Exact Verification (AEV), which provides formal verification for smart contracts to ensure accuracy and security by checking that all executions fulfill a set of requirements.
- When was Certora founded?
- Certora was founded in November 2018.
- Who is a co-founder of Certora?
- Shelly Grossman is a co-founder and CTO of Certora.
- What was a significant funding event for Certora?
- In May 2022, Certora secured a funding round with Jump Crypto as a lead investor. This round was part of the total $43.2 million raised across two funding rounds.
- What markets does Certora serve?
- Certora serves global markets, focusing on enterprise and professional services, particularly in software development.