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 |
![]() ![]() |
— | Detail |
Mar 29, 2022 | Series B | $88M | 6 |
![]() ![]() ![]() |
— | Detail |
Dec 1, 2021 | Series B | $80M | 5 |
![]() |
— | Detail |
Aug 17, 2021 | Series B | $24M | 2 |
![]() ![]() |
— | Detail |
Jul 7, 2021 | Series B | $37M | 3 |
![]() |
— | Detail |
Investor Name | Lead Investor | Funding Round |
---|---|---|
![]() |
Yes | Series B |
![]() |
Yes | Series B |
![]() |
Yes | Series B |
![]() |
Yes | Series B |
![]() |
Yes | Series A |
![]() |
Yes | Seed |
![]() |
— | Series B |
![]() |
— | Series B |
![]() |
— | Series B |
![]() |
— | Series B |