保护智能合约的区块链安全独角兽：CertiK, LLC.

CertiK, LLC创立于2017年，总部位于美国纽约州纽约市，CertiK 专注于区块链安全，利用尖端的 AI 和 FV 技术来保护智能合约和区块链。

CertiK, LLC.美股百科

CertiK 通过在智能合约和区块链上率先使用尖端的形式验证技术，引领区块链安全。与传统的安全审计不同，形式验证在数学上证明程序的正确性和黑客抵抗性。 CertiK 由耶鲁大学和哥伦比亚大学的计算机科学教授创立，保护超过 30B 美元的资产，包括许多世界顶级项目。

CertiK 由耶鲁大学和哥伦比亚大学的教授于 2018 年创立，是区块链安全领域的先驱，利用一流的人工智能技术来保护和监控区块链协议和智能合约。 CertiK 的使命是保护网络世界。 从区块链开始，CertiK 将学术界的前沿创新应用到企业中，使关键任务应用程序能够以安全性和正确性的方式构建。

CertiK, LLC.融资百科

• 2018年3月，CertiK完成Lightspeed Venture Partners领投的350万美元种子轮融资，DHVC、Binance和Wing跟投。
• 2020年6月，CertiK完成IDG Capital领投的700万美元A轮融资，Tsingyuan Ventures、Lenovo、Ausvic Capital和Wing跟投。
• 2021年6月，CertiK完成Coatue领投的3700万美元B轮融资，Shunwei Capital和Coinbase Ventures跟投。
• 2021年8月，CertiK完成GL Ventures和Tiger Global Management共同投资的2400万美元B+轮融资。
• 2021年12月，CertiK完成Sequoia Capital China领投的8000万美元B++轮融资，Lightspeed Venture Partners、Tiger Global Management、Coatue和GL Ventures跟投。
• 2022年3月，CertiK完成Advent International, Insight Partners, Tiger Global Management领投的8800万美元B+++轮融资，Sequoia Capital、Lightspeed Venture Partners和Goldman Sachs跟投。估值20亿美金。

CertiK, LLC.美股投资

公司官网，等待CertiK, LLC. IPO上市。