近日，美国著名形式化验证公司CertiK对外披露获得币安孵化器领投的数百万美金投资。此前，CertiK曾于2018年初获得信天创投的早期投资。
CertiK公司于2017年底成立于纽约及硅谷，是一家用形式化验证为智能合约和区块链应用提供最先进安全性服务的公司。CertiK一直视区块链交易安全为核心,从智能合约着手，旨在为整个区块链生态系统安全提供保障。CertiK平台首次引入深度规范（DeepSpec）技术，迄今已为数十家区块链公司完成智能合约的形式化验证。CertiK团队核心源自于美国专利技术CertiKOS防黑客操作系统。该技术由团队的两位创始人邵中教授与顾荣辉教授多年研究而成，由于其极高的安全系数，已成功应用于包括政府、企业在内的各个领域。
作为Certik的早期投资人，信天创投合伙人蒋宇捷表示：
“区块链安全是一个千亿美金的大市场，是我看好的巨大机会，未来链上跑的几十万、数百万个DAPP和智能合约乃至交易所都需要安全审计和安全保护。而当前全行业基本都在裸奔，不出问题还好，一出便是几亿美金的大事情。除了Certik，我们还曾于今年8月投资了专注区块链安全研究的 “降维安全实验室” 。
安全企业的三级火箭是服务、产品和社区。服务解决基本需求，产品和社区解决标准化和规模化问题，社区最符合区块链精神，但是文化和共识最难构建。
我们非常欣赏Certik团队，他们是计算机和安全领域的顶级专家，具有丰富的视野和强大的人格魅力，非常适合构建社区所需的文化和共识。”
币安孵化器，是全球最大加密资产交易所币安旗下的的专业投资机构，集研究院、孵化器和生态基金于一身，其投资规模达到 10 亿美元。此次对CertiK的投资是币安孵化器对创新型形式化验证的认可。币安孵化器的CEO Ella Zhang认为， “CertiK用数学建模自动验证智能合约的安全性，打破人工验证的局限性，解决了当今区块链生态中一个关键痛点，也同时保护我们的交易用户，正在逐步成为交易上币的行业标准”。
网站制作:海源川汇 
