CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。公司日前宣布融资6000万美元,投资方包括软银愿景基金2(SoftBank Vision Fund II)和Tiger Global,标志着软银首次涉足Web3安全领域。