玉洲Priv1星评价
2021-12-08 10:38:31
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的融资规模较大,近期进展良好,获得了多方合作,可以关注。