红杉资本布局区块链安全赛道，以近10亿美元估值领投CertiK 8000万美元B2轮

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

CertiK于2018年由耶鲁大学、耶鲁计算机系系主任邵中教授及哥伦比亚大学计算机系顾荣辉教授三方共同成立。作为区块链安全领域的先驱，CertiK利用目前最先进的形式化验证技术以及AI审计技术，来扫描及监控区块链协议和智能合约的安全性，并不断推出以Skynet（天网）为代表的SaaS产品，为加密世界的企业和用户提供最高等级的安全解决方案。

“区块链作为引领全球时代变革的新技术，过去几年一直是红杉资本所关注的领域，而区块链安全更是整个区块链商业价值中不可或缺的一部分。”红杉资本提到，“很荣幸能够投资深耕区块链安全领域的CertiK，这是我们在全球区块链投资版图上的重要布局。CertiK在该领域推出的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年管理经验。

关于CertiK

CertiK以守护加密世界为使命，从区块链领域开始，一步步将学术界尖端创新技术延伸至业界，使得企业任务关键型软件及应用能够在足够安全和正确的环境下构建。

—-

编译者/作者：CertiK中国社区

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。