企業(yè)
- 企業(yè)
- 產(chǎn)品
- 知識(shí)
CertiK是一家智能合同及區(qū)塊鏈生態(tài)安全服務(wù)提供商，采用了形式化的驗(yàn)證，將智能合約轉(zhuǎn)化為數(shù)學(xué)模型，通過邏輯上的推理演算來驗(yàn)證模型，從而證明智能合約的安全性，核心產(chǎn)品為CertiKOS防黑客操作系統(tǒng)。公司日前宣布融資6000萬美元，投資方包括軟銀愿景基金2（SoftBank Vision Fund II）和Tiger Global，標(biāo)志著軟銀首次涉足Web3安全領(lǐng)域。