CertiK
智能合同及区块链生态安全服务提供商
战略投资 北京https://certik.org
公司介绍
公司标签
区块链区块链技术智能合约
公司介绍
CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。
融资状态
当前轮次
融资时间
融资金额
投资方
比例
估值
FA
来源
战略投资
2018-10
数百万美元
-
-
-
战略投资
2018-07
未披露
-
-
-
种子轮
2018-03
未披露
耶鲁大学丹华资本光速中国币安
-
-
-
全部产品
https://certik.org
排名: 较低