近日，區塊鏈安全公司CertiK宣布完成8000萬美元B2輪融資，本輪融資由紅杉資本領投，Tiger Global、高瓴創投、Coatue Management、順為資本等老股東持續跟投。

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

據了解，CertiK在四個月內共完成三輪融資，總融資額超過1.4億美元，估值近10億美元。此前，聯想之星曾投資CertiK的A輪、B輪、B+輪。

聯想之星投資人表示：“安全是維系區塊鏈運營的生命線。由于區塊鏈的去中心化屬性，安全公司審計背書成為區塊鏈的剛需，是構建區塊鏈生態的基石。CertiK基于底層深厚的技術積累，作為全球區塊鏈安全領導者，同時具備技術和品牌的雙重護城河。聯想之星自2020年初，連續參與CertiK的A、B、B+等多輪融資，并堅信區塊鏈安全的長期價值和巨大的市場空間。”

CertiK于2018年由耶魯大學、耶魯計算機系系主任邵中教授及哥倫比亞大學計算機系顧榮輝教授三方共同成立，總部位于紐約市。近期，David Tarditi博士作為工程副總裁加入了CertiK。Tarditi博士擁有超過16年帶領工程及研究團隊發展的經驗。他曾于微軟任職25年，擔任微軟首席集團軟件工程主管，同時也是22項專利的發明人。此外， Monier Jalal也作為營銷副總裁加入了CertiK。他曾在知名安全公司CheckPoint（市值150億美元）擔任營銷副總裁，在網絡安全領域擁有超過20年管理經驗。

CertiK以守護加密世界為使命，從區塊鏈領域開始，一步步將學術界尖端創新技術延伸至業界，使得企業任務關鍵型軟件及應用能夠在足夠安全和正確的環境下構建。CertiK利用目前最先進的形式化驗證技術以及AI審計技術，來掃描及監控區塊鏈協議和智能合約的安全性，并不斷推出以Skynet（天網）為代表的SaaS產品，為加密世界的企業和用戶提供最高等級的安全解決方案。

今年初，CertiK推出了區塊鏈安全領域全球首款SaaS產品：Skynet天網。作為可7*24小時無間斷運行的主動監測平臺，Skynet通過實時監測區塊鏈及智能合約，可在錯綜復雜的區塊鏈網絡環境下抵御安全威脅。隨著安全威脅的不斷發展和變化，Skynet利用大量的鏈上和鏈下機器學習數據來不斷適應并自我發展，進而保護智能合約和區塊鏈免受威脅。自2021年推出以來， Skynet天網的收入水平已增長了23倍，使用數據顯著增長，日均活躍用戶使用量超過了20萬人次。

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