本轮融资所得资金及公司营业收入将主要用于更多创新产品和服务的研发。CertiK联合创始人顾荣辉教授表示:“智能合约形式化验证和审计是区块链安全服务的第一步,也是最基本的一步。未来,CertiK将开发更丰富的SaaS产品,为客户提供更全面的安全保障与福利。CertiK的愿景是通过提供端到端的服务为区块链安全提供一站式的体验,其中包括形式化验证、安全审计、实时监控、自主检测以及对区块链和智能合约的保护等。”
CertiK成立于2018年,由耶鲁大学和哥伦比亚大学的教授共同创建。CertiK采用最先进的形式化验证技术和人工智能审计技术,对区块链协议和智能合约的安全性进行扫描和监控,并不断推出Skynet等SaaS产品,为企业和用户提供最高级别的安全解决方案。
在过去一年中,CertiK实现了20倍的收入增长,员工人数增加了4倍。此外,CertiK为超过1800家企业级客户提供了区块链安全服务,挖掘了超过31000个代码漏洞,保护了超过3000亿美元的数字资产安全。
CertiK于今年年初推出了Skynet天网,这是区块链安全领域全球首款SaaS产品。作为一种24小时无间断运行的主动监测平台,Skynet通过实时监测区块链和智能合约,在复杂的区块链网络环境中抵御安全威胁。随着安全威胁的不断发展和变化,Skynet利用大量的链上和链下机器学习数据来不断适应和自我发展,以保护智能合约和区块链免受威胁。自2021年推出以来,Skynet的收入水平已增长了23倍,使用数据显著增加,日均活跃用户使用量超过20万人次。
CertiK将继续寻求并选拔优秀人才以充实领导团队。最近,David Tarditi博士作为工程副总裁加入了CertiK。Tarditi博士拥有超过16年的工程和研究团队发展经验,曾在微软工作25年,担任首席集团软件工程主管,并拥有22项专利。此外,Monier Jalal也加入CertiK担任营销副总裁,他在知名安全公司CheckPoint担任营销副总裁,拥有超过20年的网络安全领域管理经验。
红杉资本表示:“区块链作为引领全球时代变革的新技术,过去几年一直是我们关注的领域,而区块链安全更是整个区块链商业价值中不可或缺的一部分。我们很荣幸能投资深耕区块链安全领域的CertiK,CertiK推出的SaaS类产品如Skynet天网非常有潜力,我们相信这类产品将对区块链安全产生革命性的影响。”