Certik CTK ICO 分析 – 智能合约区块链系统的安全守门员
短期：中性。
长期：看好。
整理
代号：CTK
类型：ERC-20
官网：https://certik.org/
白皮书：https://certik.org/whitepaper
发行硬顶：TBA
总代币量：100M CTK
发行比例：TBA
发行时间：TBA
Growth Voyage 的分析报告仅用于决策参考，不具任何买入或卖出等投资建议。
什麽是 Certik？
Certik 与 Quantstamp (智能合约检测领跑者) 一样，旨在成为智能合约区块链生态系的安全性验证平台。Certik 将透过规模化的智能合约验证服务来保证智能合约区块链的安全性。
智能合约检测重要性
2017 年以太坊 Ethereum 带起了区块链 2.0 的智能合约世代，新的世界也造就了新的骇客入侵方式：TheDAO 骇客攻击事件损失了 5 千万美金，只因为一个智能合约漏洞。EduCoin 骇客攻击事件损失了 20 亿枚 EDU，仍只因为一个智能合约漏洞。
此外，智能合约部署到区块链上的成本高昂，除了部署交易费用高外，已部署的智能合约因区块链不可逆的特性而无法复写更改，造成开发者欲修正合约内容时，只能新闢合约、另起新名称完再重新部署。除了重新命名有伤品牌价值外，真的运营已久被发现漏洞如 TheDAO 的事后补救办法只能使用强制硬分叉 (hard fork) 。
以上可知智能合约被骇当下，除了被窃取的信用损失外，还有事后补救需付出成本。只因为不经意的智能合约漏洞而造成经济体的崩坏非常得不偿失。
Certik 产品
Certik 平台一共提供了 6 个认证套件 (Certified Kits)，其 Smart labeling 加上 Layer-based decomposition 是 Certik 最与众不同的竞争优势：
- Smart labeling：使用深度学习技术自动帮程式语法贴标籤分类，支持 Solitity 语言。
- Layer-based decomposition：可将程式语言层级结构解析分层后做模组化验证。
- Pluggable proof engine：被解析验证过后的模组化区块，Certik 将提供开发协议做自动化认证。
- Machine-checkable proof objects：Certik 将让每个被认证的物件都可以在任何人的机器上执行认证判断。
- Certified DApp libraries：给去中心化应用程式开发使用的资源库。
- Custimized certification service：客製化专家人工验证。
以上从 Smart labeling 到 Machine-checkable proof objects 为 Certik 一气呵成的核心价值，其运作机制为：将複杂的智能合约分层并区块模组化、各个区块模组独自验证、最后再複合证明。
CTK 币
CTK 身为 Certik 的流通货币，主要使用于验证智能合约的需求方与奖励帮忙验证智能合约的单位，此外需要使用 Certik Libraries 做 DAPP 开发需求的开法者，也需要使用 CTK 付费给 Certik 平台才得以使用。
机会
[市场]
截至 2017 年底，以太坊的智能合约在网上数量为 1 百万份，若智能合约应用全球普及的话，企业级的智能合约应用全世界保守估计可以来到 1 千万份，智能合约检测的市值就大约是智能合约企业级的检测费用 * 10M 这麽多。(可以用防毒软体定价去想像)
[团队]
Certik 团队在智能合约安全市场的定位犹如 Zilliqa 团队在区块链分片技术的定位：理论扎实的学术派。Certik 创办团队的研究成果已受到 Yale 大学学术界的关注。作为靠技术本质创新的团队，硬底的学术背景容易让人信服。
[风险]
虽然 Certik 的智能合约检测的技术力比起 Quantstamp 具有更全面的领先优势，但能否快速扩张开发团队加速开发进程保持领先与拥有多少战略合伙关係会是关键。
最后
智能合约的发展前途光明，智能合约检测市场是毋庸置疑的硬需求。Certik 高技术检测的成本并不低廉，有此高质量检测的需求方必为规模化的企业单位，若 Certik 有机会与 NEO, 量子链, Ontology 等世界级公有链达成战略合作共组区块链生态系，相信 Certik 非常有机会可以成功。
延伸阅读
Quantstamp QSP ICO 分析 — 智能合约安全审查协议
Certik CTK ICO 分析 — 智能合约区块链系统的安全守门员
