Certora

Company Overview

Snapshot

Founded in November 2018 by Shelly Grossman, Certora operates with 51–200 employees. The company has raised $43.2M across 2 funding rounds from 10 investors. In May 2022, Certora secured a funding round with Jump Crypto as a lead investor.

Business overview

Certora specializes in providing accessible and cost-efficient formal verification for smart contracts. Its core offering, 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 in smart contracts, serving markets within the Business Software sector, particularly in Legal & Compliance Solutions and Software Development Tools.

Strategic signal

In May 2022, Certora raised $36M for its smart contract security tools. This significant capital infusion underscores investor confidence in the growing demand for robust security solutions within the blockchain and smart contract ecosystem. For investors, this signals a strong market validation for Certora's technology and its potential to become a leading player in ensuring the integrity and reliability of decentralized applications.

Company Intelligence Q&A

When was Certora founded?

Certora was founded in November 2018.

Who are the founders of Certora?

Shelly Grossman is a co-founder of Certora.

What is Certora's primary focus?

Certora focuses on providing accessible and cost-efficient formal verification of smart contracts to ensure accuracy and security.

How much capital has Certora raised to date?

Certora has raised a total of $43.2M across 2 funding rounds.

What was a significant funding event for Certora?

In May 2022, Certora secured a funding round with Jump Crypto as a lead investor, alongside participation from.