CertiK [4.0] 项目分析

声明：该分析不构成任何投资建议！

概要

项目名称：CertiK
代币符号： CTK
网址：https://certik.org/
白皮书：https://certik.org/docs/white_paper.pdf
代币总量：100,000,000 CTK
最大市值：未公布
ERC20：是的
发售日期：待定

项目概况

什么是CertiK？

区块链技术提供全球统一的分布式账本，不依赖集中的可信授权机构。诸如工作证明（POW）或权利证明（POS）等共识机制设置了理论上无法承担的计算成本以防止虚假交易。因此，分布式账本似乎是“可信赖的”，因此，智能合约和各种去中心化应用程序（dApps）可以存储在分布式账本中，形成区块链生态系统的一部分，其源代码完全“透明”。

然而，区块链生态系统并不是真正可靠的。由于它们的透明规则和进行成功攻击的潜在好处，这些生态系统对攻击高度敏感，并且比以前预期的要脆弱得多。

CertiK平台旨在为建立完全可信的智能联系人和区块链生态系统开发一个正式的验证框架。CertiK计划通过使用错误检测方法的替代方法来区分自己，CertiK平台从数学上证明区块链生态系统是无缺陷的。项目背后的基础已经开发出模块化验证技术，将强大的验证任务分解为更小的验证任务，随后可以以更分散的方式自动解决。各种证明对象可以构建并编码到CertiK平台的交易中，然后由其他参与者验证。因此，CertiK平台的区块链旨在用作证书，展现智能合约，dApp库的端到端真实性和安全性。

CertiK功能有什么？

智能标签

CertiK平台设计了一个标签方法来指定dApps /系统。这些标签可以正式声明所需的属性，并与现有的编程语言（如Solidity）兼容。此外，通过利用深度学习技术和手动建立的标记代码库进行培训，CertiK平台打算引入一个智能标签框架，帮助理解去中心化程序的语法和语义级别，然后自动添加适当的标签源代码。

基于图层的分解

CertiK团队正在努力通过实现命名的分层深入规范概念来实现模块化验证。这种技术揭示了分层设计模式的见解，并使得将复杂的证明任务分解为更小的任务成为可能，并在适当的抽象层次上验证它们中的每一个。

可插入的验证引擎

较小的证明义务更容易解决，可以通过一些自动验证器（如SMT解算器）来解决。为了实现可扩展性，CertiK平台旨在提供开放式协议，从而可以将更先进的解决算法自由插入到该系统中。

机器可检验的证明对象

CertiK平台以这样的方式构造机械化的证明对象（或反例），使得任何人使用他们自己的机器可以快速检查这些证据。这些证明对象可以被视为验证程序的“证书”。

经过认证的dApp库

CertiK平台还为集成开发环境（IDE）提供了一系列经认证的库和插件，用于构建更加值得信赖的dApp。这些库有助于提高整个区块链社区的代码质量和可靠性，使用这些工具将花费少量的CTK作为虚拟加密“燃料”。

定制的认证服务

对于具有高可靠性要求的dApps /系统（如数字钱包），CertiK平台计划提供定制的认证服务。在这种情况下，验证专家将帮助指定/验证程序并生成详细，全面的报告。

image.png-224.7kB

评级

产品

image.png-95.2kB

白皮书中表明，2018年2月推出alpha版，4月推出测试版，6月将和至少20家合作伙伴建立业务关系。

image.png-249.2kB

该项目的大部分路线图已经在过去。目前很难监控最新的发展，因为CertiK在他们的Github上没有任何公共仓库。

随着加密货币行业的不断成熟，智能合约平台和dApp变得越来越普遍。目前在以太坊上部署了超过100万个合同，而这个数字已经从一年和两年前的约12万个增加到现在。此外，越来越多的高性能或下一代区块链项目不断进入市场，因此越来越关注该领域的智能平台。Certik团队估计未来将继续部署智能合约的指数级增长，未来两年约有1000万dApps将被使用。

智能合约和区块链验证服务非常有利可图，而且市场进入门槛也很高。目前，大多数现有智能合约和dApp正在处理数字资产，这使得它们的可靠性和安全性非常敏感，并且具有内在价值。迄今为止，黑客已经损失了6.3亿美元，而且对验证服务的需求很高，CertiK团队计算出，目前智能合同验证服务提供商为单一服务收取数千至上百万美元的任何费用。因此，这个特定的细分市场可能会非常有利可图。

产品得分：4.2

代币

CertiK使用其CTK代币，该代币在平台上用作数字燃料。CTK是一种不可退还的功能性“燃料”，将用作CertiK平台参与者之间的交换单位。CTK也用于经济激励措施，鼓励参与者在CertiK平台上贡献和维护生态系统。CTK作为CertiK平台的一个组成部分，提供了一个通用的交换单位来奖励用户并帮助保持平台的可持续性。

其他销售细节未公布，暂不评级。

团队

Prof. Zhong Shao

image.png-189kB

领英： https://www.linkedin.com/in/zhong-shao-545b754?utm_source=icoanalytics
耶鲁大学计算机科学系的Thomas L. Kempner教授和系主任，并拥有博士学位。普林斯顿大学计算机科学专业。他是SML / NJ编译器的主要开发人员，也是FLINT认证基础架构的主要架构师。最近，邵教授一直领导着关于网络安全，编程语言，操作系统和认证软件等高度可见研究领域的工作。他与他在耶鲁的FLINT团队合作，开发了世界上第一个耐黑客并发操作系统CertiKOS。他还是顶尖科学杂志和会议上90篇文章的作者或共同作者。

Prof. Ronghui Gu

image.png-351.7kB

领英： https://www.linkedin.com/in/guronghui?utm_source=icoanalytics
哥伦比亚大学计算机科学系的终身助理教授，拥有博士学位。在耶鲁大学的计算机科学学士学位。Gu教授是系统软件正式验证方面的专家，并且是CertiKOS的首席设计师和开发人员，CertiKOS是全球首个完全验证的并行操作系统内核。他在CertiKOS上的OSDI16论文已被提名并入选CACM的研究亮点部分。

Dr. Vilhelm Sjöberg

领英：https://www.linkedin.com/in/vilhelm-sj%C3%B6berg-9b667a94?utm_source=icoanalytics
Vilhelm Sjöberg是耶鲁大学的副研究员。获得了博士学位。于2015年在宾夕法尼亚大学获得计算机科学硕士学位。他是软件验证，编程语言方面的专家。

关于谁是该项目顾问委员会的成员，网上的信息很少。
关于CTK代币的销售，CertiK基金会正与Tzedek Law LLC合作，Tzedek Law LLC是一家位于新加坡的律师事务所，拥有在区块链领域工作的直接经验。

团队成员只有三位，没有看到业务推广或者区块链经验的开发人员。

团队得分：3.5

市场热度

image.png-53kB

谷歌指数显示热度不高。

image.png-22.2kB

电报群人数3万多。

image.png-12.4kB

medium关注518。

第三方评级信息：

image.png-83.6kB

OhHeyMatty给出86分
ICO Pantera给出S级：认为是蓝海项目，NGC和币安都投资了。

市场热度得分：4.2

最终得分：4

机会

与Nebulas合作，为平台上构建的DApp提供智能合约安全验证。
目前和未来的市场规模都很大。
这三名团队成员拥有非常强的学术证书，他们都持有耶鲁大学的三名博士学位。他们还开发了CertiKOS，这是全球首个完全验证的并行操作系统内核。
币安孵化器承包私人投资第一轮额度。

风险

来自Quantstamp和Zeppelin等已建立项目的竞争。
目前没有任何其他团队成员或顾问的进一步细节，再加上目前的团队没有任何有区块链开发经验的成员和业务市场人员。
目前还没有公开的GitHub存储库来评估开发进度。

总结

CertiK是建立在硅谷的完全可信的智能合约和区块链生态系统的正式验证框架。该平台的目标是帮助人们构建无bug和黑客的智能合约和区块链生态系统。CertiK的创始人是耶鲁大学和哥伦比亚大学的世界级正式验证专家，高级软件工程师曾为Google，Facebook和FreeWheel等公司工作。如果团队能够执行他们的路线图，他们将会对Quantstamp和Zeppelin等公司进行大规模的竞争。最近，CertiK的电报群的规模也在迅速扩大，并出现了几个加密货币社区的巨大兴趣。我们相信CertiK在达到他们的硬顶没有任何问题。

有关CertiK的更多信息，请访问以下链接

https://youtu.be/aEn2UaqeHho
https://youtu.be/x3kaORlamMQ
https://icoanalytics.net/ico/certik