CertiK leverages formal verification technology to mathematically ensure security in systems software.
CertiK is a pioneer in blockchain security, leveraging best-in-class AI technology to protect and monitor blockchain protocols and smart contracts. Founded in 2018 by professors from Yale University and Columbia University, CertiK’s mission is to secure the web3 world. CertiK applies cutting-edge innovations from academia to enterprise, enabling mission-critical applications to scale with safety and correctness.
Announced Date | Round | Money Raised | Number of Investors | Lead Investors | Post Valuation | |
---|---|---|---|---|---|---|
Apr 22, 2022 | Series B | $60M | 2 | SoftBank Vision Fund Tiger Global Management | — | Detail |
Mar 29, 2022 | Series B | $88M | 6 | Advent International Insight Partners Tiger Global Management | — | Detail |
Dec 1, 2021 | Series B | $80M | 5 | Sequoia Capital | — | Detail |
Aug 17, 2021 | Series B | $24M | 2 | Hillhouse Capital Group Tiger Global Management | — | Detail |
Jul 7, 2021 | Series B | $37M | 3 | Coatue | — | Detail |
Investor Name | Lead Investor | Funding Round |
---|---|---|
SoftBank Vision Fund | Yes | Series B |
Tiger Global Management | Yes | Series B |
Advent International | Yes | Series B |
Insight Partners | Yes | Series B |
IDG Capital | Yes | Series A |
Binance Labs | Yes | Seed |
Goldman Sachs | — | Series B |
Lightspeed Venture Partners | — | Series B |
Sequoia Capital | — | Series B |
Coatue | — | Series B |