Certora
Smart Contract Accuracy and Security Verification
StartupCertora is a Tel Aviv-Yafo-based startup in the Business Software sector, established in 2018. Smart Contract Accuracy and Security Verification. The company has raised a total of $43.2M across 2 funding rounds, currently at the B stage. Certora was founded by Shelly Grossman. Key investors include Jump Crypto, Electric Capital, Coinbase Ventures, among 10 total investors. The company has 51-200 employees. Core technologies: Artificial Intelligence, Deep Learning, Machine Learning, Platforms & Interfaces, Web.
With $43.2M in total funding, Certora is a B-stage company operating in Business Software. The company follows a B2B business model. Product stage: Released.
- StageB
- ProductReleased
- ModelB2B
- Employees51-200
- HQTel Aviv-Yafo
- DistrictCenter District
- Last Round$36M
- Jump CryptoLead
- Electric Capital
- Coinbase Ventures
10 investors total
Shelly GrossmanCo-founder & CTO
1 article covered by sources including www.coindesk.com.
What does Certora do?
Certora provides accessible and cost-efficient formal verification of smart contracts. Certora's Automatic Exact Verification (AEV) technology complements existing smart-contract compilers and debuggers and checks that all executions of a smart contract fulfill a set of requirements. Blockchain independent and language agnostic, Certora's AEV technology precisely identifies or verifies the absence of bugs in smart contracts.
How much funding has Certora raised?
Certora has raised $43.2M in total funding across 2 rounds. The company is currently at the B stage. Key investors include Jump Crypto, Electric Capital, Coinbase Ventures.
Who founded Certora?
Certora was founded in 2018 by Shelly Grossman (Co-founder & CTO).
What sector is Certora in?
Certora operates in Business Software, Operations Solutions, Legal & Compliance Solutions, IT, R&D & Data Solutions, Product Development Tools, Software Development Tools, with core technologies in Artificial Intelligence, Deep Learning, Machine Learning, Platforms & Interfaces, Web. Target customers: Enterprise & Professional Services, Software Development, Enterprises.
Where is Certora located?
Certora is based in Chaim Levanon Street 30, Tel Aviv-Yafo, Israel, Center District.