區(qū)塊鏈安全公司「CertiK」于近日宣布完成 8000 萬美元 B2 輪融資，再次刷新區(qū)塊鏈安全賽道單筆最大融資額。該輪融資由紅杉資本領(lǐng)投，順為資本、Tiger Global、高瓴創(chuàng)投、Coatue Management 等老股東持續(xù)跟投。

CertiK 在四個月內(nèi)共完成三輪融資，總?cè)谫Y額超過 1.4 億美元，估值近 10 億美元。

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

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

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

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

CertiK 將持續(xù)戰(zhàn)略性尋求并選拔優(yōu)秀人才以充實領(lǐng)導(dǎo)團(tuán)隊。近期，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)驗。

注：具體融資金額由投資方或企業(yè)方提供，動點科技不做任何背書。