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

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

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