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

CertiK 在四個月內共完成三輪融資，總融資額超過 1.4 億美元，估值近 10 億美元。

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

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

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

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

CertiK 將持續戰略性尋求并選拔優秀人才以充實領導團隊。近期，David Tarditi 博士作為工程副總裁加入了 CertiK。Tarditi 博士擁有超過 16 年帶領工程及研究團隊發展的經驗。他曾于微軟任職 25 年，擔任微軟首席集團軟件工程主管，同時也是 22 項專利的發明人。此外， Monier Jalal 也作為營銷副總裁加入了 CertiK。他曾在安全公司 CheckPoint（市值 150 億美元）擔任營銷副總裁，在網絡安全領域擁有超過 20 年管理經驗。

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