设为首页

加入收藏

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

2018-10-11 16:53:33 来源:投资界 作者:

【字体: 】【调色板: #EDF0F5 #FAFBE6 #FFF2E2 #FDE6E0 #F3FFE1 #DAFAF3 #EAEAEF none

投资界 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用数学建模自动验证智能合约的安全性,打破人工验证的局限性,解决了当今区块链生态中一个关键痛点,也同时保护我们的交易用户,正在逐步成为交易上币的行业标准。”

分享到QQ空间
分享到: 
打印页面】【关闭窗口】【返回】【顶部

推荐文章

热门文章