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