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

2018-10-10 17:33· 投资界  charlotte 
   
CertiK平台首次引入的深度规范(DeepSpec)技术,已为数十家区块链公司完成智能合约的形式化验证。CertiK团队核心源自于美国专利技术CertiKOS防黑客操作系统。

  投资界(微信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,原文:http://pe.footslavery.com/201810/436477.shtml

【本文为投资界原创,网页转载须在文首注明来源投资界(微信公众号ID:PEdaily2012)及作者名字。微信转载须在文章评论区联系授权。如不遵守,投资界将向其追究法律责任。】
2018全球硬科技创新大会

最新资讯

    TOPS
    • 日排行/
    • 周排行/
    • 原创

    MORE+融资事件

    • 2018年10月19日
      锦富技术
      锦富技术
      其他轮 44800万人民币 融资
    • 2018年10月19日
      坚果智能影院
      坚果智能影院
      D轮 60000万人民币 融资
    • 2018年10月19日
      V房
      V房
      A轮 金额未透露 融资
    • 2018年10月19日
      奥杰股份
      奥杰股份
      战略投资 2000万人民币 融资