Certora Overview
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.
Cumulative Funding Raised Over Time ($)
Latest News
growth-positive
Certora Raises $36M for Smart Contract Security Tools
Certora, a smart contract security firm, has raised $36 million in a Series B round led by Jump Crypto. The funding will be used to develop and port Certoras flaw-detection technology to new blockchains. Other participants in the round include Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase, and VMware. Certoras Prover tool helps developers detect and prevent security mistakes in smart contracts. The company is currently securing $50 billion in decentralized finance assets and plans to expand its support to other blockchains. Certoras technology has identified bugs in popular DeFi platforms like Aave, Compound, Balancer, and SushiSwap.
Investment
| Sector | Business Software |
Funding
| Total funding | $43.2M |
| Last funding | $36M |
| Stage | B |
| Rounds | 2 |
| Investors | 10 |
Team Members
4
Employees: 51-200
Web & Social Links
| Website | www.certora.com/ |
Locations
Chaim Levanon Street 30, Tel Aviv-Yafo, Israel
Photos & Videos
No files yet
