Certora provides unique technology for guaranteeing code correctness and security
Certora develops unique technology which supplements your programming experts and manual auditors by automatically detecting security vulnerabilities both before the code is deployed and during operation. The process is executed automatically and provides mathematical proofs of correctness on a daily basis. For carefully defined properties of your software, Certora technology can completely guarantee the absence of security vulnerabilities.
Announced Date | Round | Money Raised | Number of Investors | Lead Investors | Post Valuation | |
---|---|---|---|---|---|---|
May 17, 2022 | Series B | $36M | 10 | Jump Crypto | — | Detail |
May 21, 2021 | Series A | $7.20M | 5 | Electric Capital | — | Detail |
Investor Name | Lead Investor | Funding Round |
---|---|---|
Jump Crypto | Yes | Series B |
A.Capital Ventures | — | Series B |
Coinbase | — | Series B |
CoinFund | — | Series B |
Electric Capital | — | Series B |
Framework Ventures | — | Series B |
Galaxy Digital | — | Series B |
Lemniscap | — | Series B |
Tiger Global Management | — | Series B |
VMware | — | Series B |