When was Certora founded?

Certora was founded in 2012 and raised its 1st funding round 9 years after it was founded.

Where is Certora located?

Certora is headquartered in Tel Aviv, Israel.

Who is the current CEO of Certora?

Mooly Sagiv of Certora. They have also founded 1 company.

How many employees does Certora have?

As of Aug 31, 2026, the latest employee count at Certora is 70.

Is Certora a funded company?

Certora is a funded company, having raised a total of $43.2M across 2 funding rounds to date. The company's 1st funding round was a $***** Series A round, raised on May 21, 2021.

When was the latest funding round of Certora?

Certora's latest funding was a $***** Series B round on May 17, 2022, with participation from 10 investors.

Where does Certora rank among its competitors?

Certora ranks 2nd amongst 149 active competitors, of which 28 are funded. It stands 3rd in terms of total funding among its competitors. The most recent competitor to raise funding was TestMachine, which secured $6.5M in Dec, 2025.

Who are the top competitors of Certora?

Certora's top competitors include CertiK, Zama and SOOHO. Among them, TestMachine secured the most recent funding round in December, 2025.

Certora - 2026 Company Profile, Team, Funding, Competitors & Financials

Company Details

Developer of formal verification tools for smart contract security audits. The software compares smart contract bytecode against defined rules to identify vulnerabilities by checking every possible contract state and path. Service offerings include security audits performed by technical teams to ensure code functionality. Tools integrate into development pipelines to provide automated verification on every commit. Community contests are utilized to crowdsource custom formal specifications for detecting vulnerabilities within decentralized software.

Website: www.certora.com/
Email ID: *****@certora.com

Key Metrics

Founded Year

2012

Location

Tel Aviv, Israel

Stage

Series B

Total Funding

$43.2M in 2 rounds

Latest Funding Round

Series B, May 17, 2022, $*****

Investors

Electric Capital & 11 more

Ranked

2^nd among 149 active competitors

Employee Count

70 as on Aug 31, 2026

Similar Companies

CertiK & 200 more

View Certora's full profile

Certora is associated with 2 legal entities given below:

Legal Entity Name	Date of Incorporation	Revenue	Latest Employee Count	Documents
CERTORA LIMITED CIN: 11000705 , United Kingdom, Active	Oct 05, 2017	-	-
CERTORA, INC CIN: 834121205 , United States, Active	Dec 31, 1999	-	7 (As on Dec 31, 2024)	-

Certora has raised a total funding of $43.2M over 2 rounds. Its first funding round was on May 21, 2021. Its latest funding round was a Series B round on May 17, 2022 for $*****. 10 investors participated in its latest round. Certora has 12 institutional investors.

Here is the list of recent funding rounds of Certora:

Date of Funding	Funding Amount	Round Name	Post-Money Valuation	Revenue Multiple	Lead Investors	Other Investors
May 17, 2022	2506871	Series B	4274550	8032701	3535430	8138593
May 21, 2021	5787209	Series A	4398730	4722161	Electric Capital	5535467

Access funding benchmarks and valuations. Sign up today!

View details of Certora's funding rounds and investors

The founders of Certora is Mooly Sagiv. Mooly Sagiv is the CEO of Certora.

Here are the details of Certora's key team members:

Mooly Sagiv: Co-Founder & CEO of Certora.
Contact Info: 1 email address

View details of Certora's Founder profiles and Board Members

Certora's employee count trend

Certora has 70 employees as of Aug 26. Here is Certora's employee count trend over the years:

Uncover Certora's growth story! Sign up today!

Access Tracxn on any website

Our Google Chrome extension lets you view company details while browsing their websites

Install Tracxn Extension

Top competitors of Certora include CertiK, Zama and SOOHO. Here is the list of Top 10 competitors of Certora, ranked by Tracxn score:

Rank	Company Details	Short Description	Total Funding	Investors	Tracxn Score
1st	CertiK 2017, New York City (United States), Series B	Provider of blockchain security auditing and formal verification software solutions	$296M	Tiger Global Management, SoftBank Vision Fund ... & 41 others	75/100
2nd	Certora 2012, Tel Aviv (Israel), Series B	Developer of formal verification tools for smart contract security audits	$43.2M	Tola Capital, Electric Capital & 10 others	60/100
3rd	Zama 2019, Paris (France), Series B	Developer of fully homomorphic encryption solutions for blockchain privacy applications	$150M	Pantera Capital, Blockchange & 15 others	59/100
4th	SOOHO 2018, Seoul (South Korea), Series A	Blockchain-based enterprise financial infrastructure solutions and related services	$9M	WeMade Entertainment, Woori Technology Investment ... & 2 others	53/100
5th	CredShields 2021, Singapore (Singapore), Seed	AI-powered application security platform for continuous penetration testing and compliance	$1.8M	Persistence, Draper & 4 others	53/100
6th	Quantstamp 2017, San Francisco (United States), Seed	Smart contract security solutions and services	$1.43M	Nomura, DG Ventures & 35 others	52/100
7th	Forta 2016, Lausanne (Switzerland), Series B	Provider of onchain security monitoring and transaction prevention	$23M	Andreessen Horowitz, True Ventures & 9 others	52/100
8th	BlockSec 2013, China, Seed	Provider of blockchain security audits and real-time transaction monitoring solutions	$8M	Matrix Partners China, Vitalbridge & 5 others	51/100
9th	TestMachine 2022, Ann Arbor (United States), Series A	AI-enabled platform for blockchain security	$6.5M	New Form Capital, Blockchange & 9 others	49/100
10th	Supra 2018, Berkeley (United States), Funding Raised	Blockchain-based smart contract management platform	-	ADS Ventures, Orthogonal Thinker & 20 others	48/100