Details
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.
Fundraising
Investments
Subsidiary Organizations
The Archives Including
Significant Events
2022-04-22
CertiK raised $ 60 M in funding round
2022-04-06
CertiK raised $ 88 M in funding round
2021-12-01
CertiK raised $ 80 M in Series B2 round
2021-08-14
CertiK raised $ 24 M in Series B1 round
2021-07-15
CertiK raised $ 37 M in Series B round
2018-07-01
CertiK completed a Series A round
Similar Projects
Risk DAO
Research & Risk analysis for DeFi lending protocols
MixBytes
Blockchain solution advisory company
Stela Labs
Smart contract auditing and development firm
Certora
Smart contract security firm
OpenZeppelin
Crypto cybersecurity technology and services company
Slowmist
Blockchain security company
Quantstamp
Blockchain security company
Halborn
Blockchain cybersecurity firm