Certik Chain是一個基于Cosmo SDK構(gòu)建的，通過形式化證明的方法來驗證智能合同，DApp以及區(qū)塊鏈的區(qū)塊鏈實時安全評分和去中心化理賠跨鏈協(xié)議，Certik Chain使用的機制是DPoS（委托權(quán)益證明機制）。用戶提交需要驗證的程序/系統(tǒng)或符合開放協(xié)議的任何證明義務(wù)。然后賞金獵人隨機使用并評估技術(shù)高手（sager）提供的驗證算法引擎（sager可以根據(jù)評估結(jié)果獲得一些CTK獎勵。）提供算力完成證明和代碼審計，檢察員驗證結(jié)果無誤后，賞金獵人和檢查員獲得CTK代幣獎勵。最后Certik整合分解后的問題的驗證結(jié)果，發(fā)送報告給用戶。 產(chǎn)品：Certik的產(chǎn)品有Certik Chain、去中心化 Certik安全預(yù)言機、去中心化保險協(xié)議CertikShield、用于編寫安全智能合約的安全編程語言和編譯器工具鏈 DeepSEA 工具鏈。Certik Chain可集成安全預(yù)言機、CertiKShield資金池和兼容性較好的安全編程語言（DeepSEA），確保從開發(fā)到部署后各類區(qū)塊鏈產(chǎn)品的安全性能。 團隊：Certik是的團隊由哥倫比亞和耶魯大學(xué)的科學(xué)家組成，得到了Google、Facebook和Free輪公司的高級軟件工程師支持。 資金：Certik于兩輪私募中募得資金3943萬美元，兩輪融資分別以0.77美元和1.9美元的價格售出占總量29%和9%的CTK代幣。其余的代幣10%分配給團隊，17.5%分配給社區(qū)池，8%分配給CertiKShield池，25%分配給基金會，1.5%分配給幣安lanchpool。代幣總供給為1億CTK。在今年7月成 3700 萬 B 輪美元融資，雷軍創(chuàng)立的順為資本與 Coatue 聯(lián)合領(lǐng)投。8月完成 2400 萬美元 B+ 輪融資，Tiger Global 和高瓴創(chuàng)投共同領(lǐng)投，所籌資金用以支持 CertiK 新產(chǎn)品 Skynet Premium 的發(fā)布。資金方面表現(xiàn)很不錯。 代幣：Certik的原生代幣為CTK作用是：支付參與預(yù)言機網(wǎng)絡(luò)的獎勵，支付Certik Chain上的Gas費、獎勵賞金獵人、檢察員和技術(shù)高手，為智能合約交互支付手續(xù)費，對網(wǎng)絡(luò)內(nèi)的治理決策進行投票。另外用戶可以訂閱所有Certik平臺的認證庫和IDE插件，支付部分CTK，搭建自己的DApps。用戶可以在CertiKShield中進行抵押或理賠行為獲得獲得相應(yīng)的CTK獎勵。 整體上，Certik的融資規(guī)模較大，近期進展良好，獲得了多方合作，可以關(guān)注。