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