ertik(CTK币)致力于应用形式化验证技术，为智能合约和区块链生态提供安全保护。Certik采用了形式化验证将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性。

因为整个演算过程符合严谨缜密的数学逻辑，所以Certik检验过的结果很难被黑客攻克，且自动化验证也降低了智能合约的验证费用。Certik已获耶鲁大学，丹华资本，FBG,光速中国，Bitman,币安，OK等很多著名顶级机构种子轮融资。

CTK代币应用场景：

为智能合约交互支付手续费;

为参与网络共识进行代币抵押;

参与安全性预言机网络的奖励;

CertiKShield的资产抵押与损失报销;为网络治理进行投票。

CertiK如何运作？

区块链安全问题之所以棘手是因为只能合约有以下几个特性;

第一，源码透明：开源的代码，会让很多只能合约的脆弱环节暴露在黑客面前，将他们的攻击变得更加容易。

第二，部署不可逆：智能合约一旦发布在区块链上，无法再进行修改。

第三，线上测试开销大：如果在智能合约上线后再进行测试，将会造成很大的资源浪费。

第四，测试难以完全覆盖：不管什么样的系统，测试总是难以覆盖到全部的功能逻辑。

CertiK的代币逻辑

CTK代币是CertiK系统参与者之间的激励手段和公共事业燃料。

CertiK网络由CertiK社区提供支持，并创建一种去中心化式的工作方式，每个人都可以构建证明，验证证明，改进求解器算法，并提供新的验证手段。 CertiK网络通过五个不同的角色和CTK代币将整个社区聚集在一起：

用户(Customers)：可以向CertiK平台的网络提交需要验证的程序/系统，并提供智能合约的CTK激励。

赏金猎人( Bounty hunters)：为了CTK奖励，分享他们的计算资源，构建子任务并广播，然后等待验证证明。只有拥有一定数量的CTK的用户才能担任此角色。

检查者(Checkers)：定期记录交易以及检查提交的检查任务，在智能合约通过验证后会获得一部分CTK奖励。

社区贡献者( Sages)：作为社区和CertiK网络的发动机，他们负责更新和研发测试引擎，他们的引擎会通过A / B测试进行评估，根据评估结果获取相应的CTK奖励。

CertiK项目优势

CertiK能检测到开源代码的安全漏洞，从而告知开发人员，以至于在智能合约发布前就保证了安全性。依据数学原理的自动化推演，避免了人为检测的思维局限，而自动化验证也让智能合约验证的费用降到了最低。