CertiK, a blockchain security company founded in 2018, utilizes formal verification and AI technology in collaboration for its end-to-end blockchain security audit services. It mathematically validates the safety of smart contracts through a combination of formal and manual verification. Additionally, the company has developed "CertiK Chain", a security-focused blockchain designed to enhance the security of smart contracts.
Round | Amount | Valuation | Date | Investors |
---|---|---|---|---|
-- | $60M | -- | Apr 22, 2022 | |
-- | $88M | $2B | Apr 06, 2022 | |
Series B2 | $80M | $1B | Dec 01, 2021 | |
Series B1 | $24M | -- | Aug 14, 2021 | |
Series B | $37M | -- | Jul 15, 2021 | |
-- | $Millions | -- | Oct 01, 2018 | |
Series A | -- | -- | Jul 01, 2018 |