2021年11月30日，data-v-9033fe72 data-v-0aea98aa区块链安全公司CertiK完成了8000万美元的B2轮融资，再次刷新了区块链安全电路的单一最大融资额度。 该轮融资由红杉资本获得投资，Tiger Global、高瓮创投、Coatue Management、顺为资本等老股东持续投资。 CertiK在4个月内完成三轮融资，总融资额超过1.4亿美元，估值近10亿美元。

在过去的一年中，CertiK实现了20倍的收入增长，员工人数增加了4倍。 CertiK还为1800多家企业级客户提供了区块链安全服务，挖掘了31000多条代码中的漏洞，保护了3000多亿美元的数字资产的安全。

CertiK联合创始人兼首席执行官顾荣辉教授和联合创始人邵中教授

2018年，CertiK由耶鲁大学、耶鲁计算机系部长邵中教授和哥伦比亚大学计算机系顾荣辉教授三方共同设立。 作为区块链安全领域的先锋，CertiK利用目前最先进的形式化验证技术和AI鉴定技术，不断扫描和监控区块链协议和智能合约的安全性，推出以天网为代表的SaaS产品，

“区块链作为引领全球时代变革的新技术，是近年来红杉资本关注的领域，区块链的安全性是整个区块链商业价值不可缺少的部分。 ”红杉资本表示：“能够投资于深耕区块链安全领域的CertiK，我感到非常荣幸。 这是我们在全球区块链投资布局上的重要布局。 CertiK在该领域推出的Skynet天网等SaaS类产品非常有前景，红杉相信这类产品会对区块链安全路线产生革命性的影响。 ”

CertiK年初在区块链安全领域发布了世界上第一个SaaS产品Skynet天网。 作为一个7*24小时不间断运行的活动监控平台，Skynet可以通过实时监控区块链和智能合约，在复杂的区块链网络环境中保护您免受安全威胁。 随着安全威胁的演化和变化，Skynet利用大量链上和链下的机器学习数据不断进行适应和自我发展，保护智能合约和区块链免受威胁。 2021年上市以来，Skynet天网收入水平增长了2.3倍，使用数据明显增加，每天活跃用户使用量超过20万人。

本轮融资的全部资金和公司营业收入主要用于更多创新产品和服务的研发。 '智能合约的形式化验证和鉴定是区块链安全服务的第一步，也是最基本的一步。' CertiK联合创始人顾荣辉教授说：“未来，CertiK将开发更丰富的SaaS产品，为客户提供更全面的安全保障和福利。 CertiK的愿景是通过提供端到端的服务，确保区块链的安全，包括形式化验证、安全审核、实时监控、自主检测、区块链和智能合约保护等' '

为了充实领导团队，CertiK将继续从战略上寻求和选拔优秀的人才。 最近，David Tarditi博士作为工程副总裁参加了CertiK。 Tarditi博士有16年以上领导工程和研究小组的经验。 他在微软工作了25年，是微软最高集团的软件工程负责人，也是22项专利的发明者。 此外，Monier Jalal也作为市场副总裁参加了CertiK。 他在知名安全公司CheckPoint (市值150亿美元)担任市场营销副总裁，在网络安全领域拥有20多年的管理经验。

-------------请参见

关于CertiK

CertiK的任务是保护加密世界，从区块链领域将学术界尖端的创新技术扩展到行业，使企业的任务关键型软件和APP应用能够在足够安全、合适的环境中构建。

CertiK总部设在纽约市，由耶鲁大学和哥伦比亚大学的两位教授设立。 投资机构包括红杉资本、Coatue Management、Tiger Global、高瓮创投、顺为资本、币安、Coinbase Ventures、光速中国、IDG资本、联想之星、Wing、丹华资本等各行业领头羊的支持。