您的位置 首页 > 新闻

区块链安全公司CertiK完成2300万美元B+轮融资

CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。

8月13日讯,CertiK完成2300万美元B+轮融资。本轮融资由Tiger Global和GL Ventures参投。

CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。


声明:①本站部分内容转载于网络,版权归原作者所有,其内容与观点与本站立场无关,且不构成任何投资理财建议,如有侵权,欢迎与我们联系,我们将核实后删除。②风险提示:请谨防ICO、变相ICO,本站绝不具备任何投资指导意义,请注意风险。
留言与评论(共有 0 条评论)
   
验证码:
联系我们

壹佰财经网

www.100361.com

在线咨询: QQ交谈

客服微信: 107664308

工作时间:周一至周五,9:00-17:30,节假日休息

关注微信
微信扫一扫关注我们

微信扫一扫关注我们

关注微博
返回顶部