快讯|形式化验证公司Certik获币安孵化器数百万美元投资
投资界(微信ID:pedaily2012)10月10日消息,美国形式化验证公司CertiK对外披露已获得币安孵化器领投的数百万美金投资。在今年年中,Certik曾获光速中国投资。
CertiK平台首次引入的深度规范(DeepSpec)技术,已为数十家区块链公司完成智能合约的形式化验证。CertiK团队核心源自于美国专利技术CertiKOS防黑客操作系统。该技术由团队的两位创始人邵中教授与顾荣辉教授多年研究而成,由于其极高的安全系数,已成功应用于包括政府、企业在内的各个领域。
作为高科技创新投资的先行者,光速中国十分看好以深度规范技术(DeepSpec)为基础的CertiK公司在未来可能为区块链行业,甚至是整个软件行业带来的非凡价值。光速中国创始合伙人宓群认为:“安全问题是限制区块链发展的核心底层基础问题,CertiK公司拥有在深度规范技术领域全球顶尖的团队,我们十分看好CertiK公司未来的发展前景,他们在全球区块链安全领域正在逐渐建立自己的领先地位,并有望能够对区块链安全领域带来颠覆性的突破。”
目前,光速在区块链领域已先后投资了BTC China、巴比特、Blockchain.info、Melotic、众享比特等。同时在美国还投资了Telegram、Basecoin等明星项目。
币安孵化器是全球最大加密资产交易所币安旗下的的专业投资机构,集研究院、孵化器和生态基金于一身,其投资规模达到 10 亿美元。此次对CertiK的投资是币安孵化器对创新型形式化验证的认可。
币安孵化器的CEO Ella Zhang认为,“CertiK用数学建模自动验证智能合约的安全性,打破人工验证的局限性,解决了当今区块链生态中一个关键痛点,也同时保护我们的交易用户,正在逐步成为交易上币的行业标准。”
本文为投资界原创,作者:charlotte,原文:https://pe.pedaily.cn/201810/436477.shtml
快讯|6人游拟终止新三板 3年收入增长近7倍
2019-02-22 15:13备战科创板:券商“疯狂”地找人、找项目,下一个新三板还是纳斯达克?
2019-01-07 09:53君实生物IPO:大涨22%,第一家“新三板+H”股诞生
2018-12-24 15:00
快讯|数据服务商“方一信息”完成融资,华闻传媒投资
2019-02-22 17:23爱奇艺2018营收250亿:一场增量与存量的“较量”
2019-02-22 12:06快讯|熊猫星厨获得5000万美元融资,老虎环球基金领投
2019-02-22 11:22
快讯|讯轻科技完成Pre-A轮融资,梅花天使领投
2019-02-22 16:56快讯|微信小程序宠物电商宠加获得千万级天使轮融资
2019-02-22 10:43快讯|区块链行业级应用服务商识数信科获千万元天使轮融资
2019-02-18 18:12
谁将控制亚马逊
2019-01-17 11:28张小龙,朴素的英雄主义
2019-01-14 12:53谁逼腾讯自我革命?
2018-12-24 13:37
这届新新独角兽
2019-02-21 22:00快讯|全明星投资融资5亿美元,曾下注亏损百亿的滴滴,及商汤、陆金所等独角兽
2019-02-14 08:04快讯|图森未来完成9500万美元D轮融资,成首个推出无人驾驶卡车解决方案的独角兽企业
2019-02-13 20:28
TOPS
- 日排行/
- 周排行/
- 原创
- 日排行/
- 周排行/
- 原创
- 1921
゜ 1人人车,8亿美元烧黄了? - 1800
゜ 2咪蒙启示录 - 1365
゜ 3投资界24h|咪蒙封号 - 1095
゜ 4京东的奶茶馆凉了,奶茶还好吗? - 1069
゜ 5一亏就是100亿,他到底是草莽还是英雄? - 961
゜ 6投资界24h|55岁李国庆告别当当 - 817
゜ 7氪金会员不如狗,爱奇艺让你爱不起 - 780
゜ 8一笔300亿并购落地,一个新游戏帝国崛起 - 778
゜ 9字节跳动IPO迷雾:750亿美元“巨兽”奔向科创板? - 692
゜ 10雷军“虚晃一枪”