近日，區(qū)塊鏈安全公司CertiK宣布完成8000萬(wàn)美元B2輪融資，本輪融資由紅杉資本領(lǐng)投，Tiger Global、高瓴創(chuàng)投、Coatue Management、順為資本等老股東持續(xù)跟投。

本輪融資所有資金及公司營(yíng)業(yè)收入將主要用于更多創(chuàng)新產(chǎn)品和服務(wù)研發(fā)。“智能合約形式化驗(yàn)證和審計(jì)是區(qū)塊鏈安全服務(wù)的第一步，也是最基本的一步。”CertiK聯(lián)合創(chuàng)始人顧榮輝教授指出，“未來(lái)，CertiK將開(kāi)發(fā)更豐富的SaaS產(chǎn)品，為客戶(hù)提供更全面的安全保障與福利。CertiK的愿景是通過(guò)提供端到端的服務(wù)為區(qū)塊鏈安全提供一站式的體驗(yàn)，其中包括形式化驗(yàn)證、安全審計(jì)、實(shí)時(shí)監(jiān)控、自主檢測(cè)以及對(duì)區(qū)塊鏈和智能合約的保護(hù)等。”

據(jù)了解，CertiK在四個(gè)月內(nèi)共完成三輪融資，總?cè)谫Y額超過(guò)1.4億美元，估值近10億美元。此前，聯(lián)想之星曾投資CertiK的A輪、B輪、B+輪。

聯(lián)想之星投資人表示：“安全是維系區(qū)塊鏈運(yùn)營(yíng)的生命線。由于區(qū)塊鏈的去中心化屬性，安全公司審計(jì)背書(shū)成為區(qū)塊鏈的剛需，是構(gòu)建區(qū)塊鏈生態(tài)的基石。CertiK基于底層深厚的技術(shù)積累，作為全球區(qū)塊鏈安全領(lǐng)導(dǎo)者，同時(shí)具備技術(shù)和品牌的雙重護(hù)城河。聯(lián)想之星自2020年初，連續(xù)參與CertiK的A、B、B+等多輪融資，并堅(jiān)信區(qū)塊鏈安全的長(zhǎng)期價(jià)值和巨大的市場(chǎng)空間。”

CertiK于2018年由耶魯大學(xué)、耶魯計(jì)算機(jī)系系主任邵中教授及哥倫比亞大學(xué)計(jì)算機(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)。

CertiK以守護(hù)加密世界為使命，從區(qū)塊鏈領(lǐng)域開(kāi)始，一步步將學(xué)術(shù)界尖端創(chuàng)新技術(shù)延伸至業(yè)界，使得企業(yè)任務(wù)關(guān)鍵型軟件及應(yīng)用能夠在足夠安全和正確的環(huán)境下構(gòu)建。CertiK利用目前最先進(jìn)的形式化驗(yàn)證技術(shù)以及AI審計(jì)技術(shù)，來(lái)掃描及監(jiān)控區(qū)塊鏈協(xié)議和智能合約的安全性，并不斷推出以Skynet（天網(wǎng)）為代表的SaaS產(chǎn)品，為加密世界的企業(yè)和用戶(hù)提供最高等級(jí)的安全解決方案。

今年初，CertiK推出了區(qū)塊鏈安全領(lǐng)域全球首款SaaS產(chǎn)品：Skynet天網(wǎng)。作為可7*24小時(shí)無(wú)間斷運(yùn)行的主動(dòng)監(jiān)測(cè)平臺(tái)，Skynet通過(guò)實(shí)時(shí)監(jiān)測(cè)區(qū)塊鏈及智能合約，可在錯(cuò)綜復(fù)雜的區(qū)塊鏈網(wǎng)絡(luò)環(huán)境下抵御安全威脅。隨著安全威脅的不斷發(fā)展和變化，Skynet利用大量的鏈上和鏈下機(jī)器學(xué)習(xí)數(shù)據(jù)來(lái)不斷適應(yīng)并自我發(fā)展，進(jìn)而保護(hù)智能合約和區(qū)塊鏈免受威脅。自2021年推出以來(lái)， Skynet天網(wǎng)的收入水平已增長(zhǎng)了23倍，使用數(shù)據(jù)顯著增長(zhǎng)，日均活躍用戶(hù)使用量超過(guò)了20萬(wàn)人次。

在過(guò)去一年中，CertiK完成了20倍的收入增長(zhǎng)，員工人數(shù)增加了4倍。此外，CertiK為超過(guò)1800家企業(yè)級(jí)客戶(hù)提供區(qū)塊鏈安全服務(wù)，挖掘了超過(guò)31000個(gè)代碼漏洞、保護(hù)了超過(guò)3000億美元的數(shù)字資產(chǎn)安全。