区块链安全公司「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年管理经历。

注：详细融资金额由投资方或企业方供给，动点科技不做任何背书。