CertiK
CertiK, also known as Certified Kernel Tech, is a web3, blockchain and smart contract security firm.[1][2]
![]() | |
| Founded | March 2018 |
|---|---|
Area served | Global |
| Products | Formal verification, smart contract audit, on-chain monitoring, KYC, Bug bounty program |
| Website | www |

Background
Founded in 2018 by professors from Yale and Columbia Universities, CertiK is a blockchain security company that pioneered the use of formal verification technology on smart contracts and blockchain networks.
The company also conducts security audits for blockchain protocols, wallets, DApps, and smart contracts. It has partnerships with many blockchain companies including Binance. CertiK audit tools aim to reveal exploits and other security weaknesses to blockchain outfits, however, they do not fix any of the issues. The audit simply finds them and offers advice for patching security holes for these companies and it is currently used by over 500 blockchain companies.[3]
In April 2022, the company was valued at $2 billion after securing an $88 million Series B3 financing round. The investment was backed by Insight Partners, Tiger Global, Sequoia, Coatue Management, Advent International, Goldman Sachs, Hillhouse Capital, Binance, Coinbase Ventures, amongst others.[4][5]
References
- Uberti, David (2022-04-05). "How Hackers Target Bridges Between Blockchains for Crypto Heists". Wall Street Journal. ISSN 0099-9660. Retrieved 2023-02-07.
- Bloomberg, Hannah Miller (2022-05-04). "Crypto scammers find social media a rich hunting ground". Los Angeles Times. Retrieved 2023-02-07.
- "CertiK: 7 Things to Know About the Firm Leading the SafeMoon Crypto Audit". markets.businessinsider.com.
- "CertiK, the Leading Web3 Security Company, Doubles Its Valuation to $2 Billion in Just 3 Months". www.businesswire.com. April 7, 2022.
- Melinek, Jacquelyn (April 7, 2022). "Goldman Sachs joins other investors in $88M round for web3 and blockchain security firm CertiK".
