Certik Chain是一个基于Cosmo SDK构建的，通过形式化证明的方法来验证智能合同，DApp以及区块链的区块链实时安全评分和去中心化理赔跨链协议，Certik Chain使用的机制是DPoS（委托权益证明机制）。用户提交需要验证的程序/系统或符合开放协议的任何证明义务。然后赏金猎人随机使用并评估技术高手（sager）提供的验证算法引擎（sager可以根据评估结果获得一些CTK奖励。）提供算力完成证明和代码审计，检察员验证结果无误后，赏金猎人和检查员获得CTK代币奖励。最后Certik整合分解后的问题的验证结果，发送报告给用户。 产品：Certik的产品有Certik Chain、去中心化 Certik安全预言机、去中心化保险协议CertikShield、用于编写安全智能合约的安全编程语言和编译器工具链 DeepSEA 工具链。Certik Chain可集成安全预言机、CertiKShield资金池和兼容性较好的安全编程语言（DeepSEA），确保从开发到部署后各类区块链产品的安全性能。 团队：Certik是的团队由哥伦比亚和耶鲁大学的科学家组成，得到了Google、Facebook和Free轮公司的高级软件工程师支持。 资金：Certik于两轮私募中募得资金3943万美元，两轮融资分别以0.77美元和1.9美元的价格售出占总量29%和9%的CTK代币。其余的代币10%分配给团队，17.5%分配给社区池，8%分配给CertiKShield池，25%分配给基金会，1.5%分配给币安lanchpool。代币总供给为1亿CTK。在今年7月成 3700 万 B 轮美元融资，雷军创立的顺为资本与 Coatue 联合领投。8月完成 2400 万美元 B+ 轮融资，Tiger Global 和高瓴创投共同领投，所筹资金用以支持 CertiK 新产品 Skynet Premium 的发布。资金方面表现很不错。 代币：Certik的原生代币为CTK作用是：支付参与预言机网络的奖励，支付Certik Chain上的Gas费、奖励赏金猎人、检察员和技术高手，为智能合约交互支付手续费，对网络内的治理决策进行投票。另外用户可以订阅所有Certik平台的认证库和IDE插件，支付部分CTK，搭建自己的DApps。用户可以在CertiKShield中进行抵押或理赔行为获得获得相应的CTK奖励。 整体上，Certik的融资规模较大，近期进展良好，获得了多方合作，可以关注。
