快讯|形式化验证公司Certik获币安孵化器数百万美元投资_顶尖财经网
  您的位置:首页 >> 财经频道 >> 风险投资 >> 文章正文

快讯|形式化验证公司Certik获币安孵化器数百万美元投资

加入日期:2018-10-10 17:51:31

  投资界(微信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


以上信息为博客会员、合作方、加盟会员提供,本站不拥有版权,版权归原作者所有,所载文章、数据仅供参考,据此操作,风险自负。
顶 尖 财 经 -- 中 华 顶 尖 网 络 信 息 服 务 中 心
www.58188.com