CertiK

CertiK由兩位大學教授哥倫比亞大學計算機系顧榮輝教授與耶魯計算機繫系主任邵中教授共同創立，為加密世界的企業和用户提供安全方案。 ^[8] 

聯合創始人顧榮輝，現任哥倫比亞大學計算機系教授，2011年本科畢業於清華大學，2016年博士畢業於耶魯大學，一直致力於軟件系統形式化驗證的研究。 ^[2]  顧榮輝教授已受邀加入由香港財長陳茂波領導的香港Web3.0發展專責小組，同時也受邀加盟新加坡官方國際技術諮詢委員會。 ^[6] 

聯合創始人邵中，同時也是耶魯大學計算機系教授。 ^[5] 

2018年，哥倫比亞大學計算機系顧榮輝教授與耶魯大學計算機繫系主任邵中教授聯合創立CertiK。 ^[8] 

2018年，CertiK完成350萬美元 Pre-A輪融資。 ^[14] 

2020年，CertiK完成770萬美元 A輪融資。 ^[14] 

2021年7月，CertiK宣佈完成B輪3700萬美元融資。本輪融資由順為資本和Coatue Management, L.L.C.共同領投，Coinbase Ventures及老股東跟投，估值達到2.4億美元。 ^[8] 

2021年8月，CertiK宣佈完成B+輪2400萬美元融資，本輪融資由Tiger Global和高瓴創投共同領投，估值達到3.3億美元。 ^[9] 

2021年11月，CertiK宣佈完成8000萬美元的B2輪融資。該輪融資由紅杉資本領投，Tiger Global、高瓴創投、CoatueManagement、順為資本等老股東持續跟投。CertiK在四個月內共完成三輪融資，總融資額超過1.4億美元，估值近10億美元。 ^[10] 

2022年4月，CertiK宣佈完成8800萬美元的B3輪融資，成為區塊鏈安全賽道單筆最大融資。該輪融資由Insight Partners、Tiger Global、Advent International聯合領投，高盛、紅杉資本、Lightspeed等新老股東跟投。同月再次引入一位新投資人——軟銀願景基金，聯合現有投資人Tiger Global向CertiK投資6000萬美元。至此，CertiK估值達到了20億美元（約120億人民幣）。 ^[8] 

2023年4月18日，該企業以140億人民幣的企業估值入選《2023·胡潤全球獨角獸榜》排名第504位。 ^[1] 

2024年4月9日，CertiK以140億人民幣的企業估值入選《2024·胡潤全球獨角獸榜》，排名第537名。 ^[17] 

2023年7月，CertiK宣佈成為首家獲得SOC 2 類型 I 認證的Web3安全審計公司。 ^[11] 

2023年7月，CertiK宣佈已經完成了對螞蟻集團創新開放式跨平台可信執行環境（TEE）HyperEnclave的先進形式化驗證。 ^[13] 

2023年8月和10月，CertiK因發現了蘋果 iOS 內核的多個安全漏洞，獲得蘋果公司兩次致謝。 ^[3] 

2023年4月，極客公園刊文專訪CertiK創始人、哥倫比亞大學計算機系教授顧榮輝。文中，顧榮輝教授提到“CertiK吃下安全市場 70% 的份額，把 Web3 安全審計的費用降低了 90% 以上。” ^[4] 

2023年8月，CertiK聯合創始人，哥倫比亞大學計算機系教授顧榮輝參與ISC大會，在會上針對Web3.0技術背後的安全漏洞，介紹了企業級產品CertiKOS如何用智能形式化驗證核心軟件安全。 ^[12] 

2023年11月，《藍鯨財經》報道：CertiK發佈視頻，表示其發現了Solana 的 Web3手機中，有一個關鍵引導程序風險，CertiK測試專家在一分鐘之內成功越獄測試了該款手機，並在幾步操作內將其內所有資產「洗劫一空」。 ^[7] 

2024年1月，CertiK Skyfall團隊與安全專家Dawuge雙雙入選《2023年三星移動安全名人堂》。 這一榮譽是對CertiK致力於守護Web3.0安全承諾的肯定。 ^[16]