Certora

Company Overview

Snapshot

Founded in November 2018 by Shelly Grossman, Certora has grown to 51–200 employees. The company has raised $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 for smart contracts, focusing on accuracy and security. Its Automatic Exact Verification (AEV) technology integrates with existing smart-contract compilers and debuggers to ensure that all executions of a smart contract meet specified requirements. This blockchain-independent and language-agnostic technology precisely identifies or verifies the absence of bugs, serving markets that require robust smart contract integrity.

Strategic signal

In May 2022, Certora raised a funding round for its smart contract security tools, indicating strong investor confidence in the growing need for robust verification solutions in the blockchain and Web3 ecosystems. This investment signals a strategic validation of Certora's technology as critical infrastructure for ensuring the reliability and security of decentralized applications, positioning the company for continued expansion in a rapidly evolving market.

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.