# Certora

Startup profile on Capital Atlas: https://capitalatlas.ai/startups/certora

- Industry: Software
- Headquarters: Tel Aviv, Israel
- Website: www.certora.com/
- Total disclosed funding: $43M
- Latest round: Series B (May 17, 2022)
- Investors on record: 11

## About

Certora Inc. is an Israel-based company specializing in formal verification tools for smart contracts, enhancing security by systematically identifying vulnerabilities in blockchain applications.Founded in 2018 and headquartered in Tel Aviv, Israel, Certora Inc. develops formal verification solutions aimed at improving the security of smart contracts. Shelly Grossman is the founder, while Mooly Sagiv serves as the CEO. Certora has successfully raised USD 36 mn in its Series B funding round on May 17, 2022, led by Jump Crypto and participated by various investors including Galaxy Digital and Tiger Global Management. The company has executed 2 deals in total.Certora's primary offering is the Certora Prover, a formal verification tool designed to enhance the security of smart contracts by comparing their bytecode against predefined behavioral rules. This tool addresses critical use cases by systematically checking every possible contract state and execution path to identify vulnerabilities that could be exploited by malicious actors. Certora Prover supports Solidity, a programming language widely used for creating smart contracts on the Ethereum blockchain, and serves a diverse clientele including blockchain developers, financial institutions, and decentralized applications. The company has extended its reach into global markets, catering to customers in North America, Europe, and Asia, providing a robust security solution to those engaged in the rapidly evolving landscape of decentralized finance (DeFi) and blockchain technology.Certora's revenue model is primarily driven by its formal verification services, which are offered through subscriptions and partnerships with various clients in the blockchain ecosystem. The company engages in business transactions by providing access to its Certora Prover tool, enabling developers and organizations to integrate security checks directly into their development pipelines. Additionally, Certora offers auditing services through dedicated teams of formal verification experts, which are structured to deliver comprehensive security assessments of smart contracts. Clients may opt for tailored pricing plans based on the specific services rendered, which can include ongoing support and custom rule development, ensuring a scalable and secure approach to smart contract deployment.Following its recent funding round on May 17, 2022, where Certora Inc. raised USD 36 mn in Series B funding led by Jump Crypto, the company plans to invest in the development of new features for its Certora Prover tool, enhancing its capabilities for smart contract verification. Certora is also targeting expansion into additional markets, particularly in Asia and Europe, to grow its user base and provide services to more developers and organizations in the blockchain space. The funding will be utilized to support these initiatives, enhancing product offerings and accelerating market entry in targeted regions.

## Funding rounds

- Series B, May 17, 2022, $36M — Tiger Global Management, VMware, Inc., A Capital Partners, Galaxy Asset Management, Electric Capital, Coinbase Ventures, Lemniscap, Framework Ventures, CoinFund Management, Jump Crypto
- Series A, May 21, 2021, $7.2M — VMware, Inc., A Capital Partners, Semantic Ventures, Electric Capital, Coinbase Ventures

## Investors

- VMware, Inc. — Series A, Series B
- A Capital Partners (https://capitalatlas.ai/funds/a-capital-partners) — Series A, Series B
- Semantic Ventures (https://capitalatlas.ai/funds/semantic-ventures) — Series A
- Electric Capital (https://capitalatlas.ai/funds/electric-capital) — Series A, Series B
- Coinbase Ventures (https://capitalatlas.ai/funds/coinbase-ventures) — Series A, Series B
- Tiger Global Management (https://capitalatlas.ai/funds/tiger-global-management) — Series B
- Galaxy Asset Management (https://capitalatlas.ai/funds/galaxy-asset-management) — Series B
- Lemniscap — Series B
- Framework Ventures (https://capitalatlas.ai/funds/framework-ventures) — Series B
- CoinFund Management (https://capitalatlas.ai/funds/coinfund-management) — Series B
- Jump Crypto — Series B