區塊鏈安全公司CertiK于2021年11月30日，宣布完成8000萬美元的B2輪融資，再次刷新區塊鏈安全賽道單筆最大融資額。該輪融資由紅杉資本領投，Tiger Global、高瓴創投、Coatue Management、順為資本等老股東持續跟投。CertiK在四個月內共完成三輪融資，總融資額超過1.4億美元，估值近10億美元。

CertiK于2018年由耶魯大學、耶魯計算機系系主任邵中教授及哥倫比亞大學計算機系顧榮輝教授三方共同成立。作為區塊鏈安全領域的先驅，CertiK利用目前最先進的形式化驗證技術以及AI審計技術，來掃描及監控區塊鏈協議和智能合約的安全性，并不斷推出以Skynet（天網）為代表的SaaS產品，為加密世界的企業和用戶提供最高等級的安全解決方案。 

近期，David Tarditi博士作為工程副總裁加入了CertiK。Tarditi博士擁有超過16年帶領工程及研究團隊發展的經驗。他曾于微軟任職25年，擔任微軟首席集團軟件工程主管，同時也是22項專利的發明人。此外， Monier Jalal也作為營銷副總裁加入了CertiK。他曾在知名安全公司CheckPoint（市值150億美元）擔任營銷副總裁，在網絡安全領域擁有超過20年管理經驗。