紅杉資本領(lǐng)投，區(qū)塊鏈安全公司CertiK完成 8000萬(wàn)美元B2輪融資

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

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

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