聲明：該分析不構(gòu)成任何投資建議！

概要

• 項(xiàng)目名稱：CertiK
• 代幣符號(hào)： CTK
• 網(wǎng)址：https://certik.org/
• 白皮書：https://certik.org/docs/white_paper.pdf
• 代幣總量：100,000,000 CTK
• 最大市值：未公布
• ERC20：是的
• 發(fā)售日期：待定

項(xiàng)目概況

什么是CertiK？

區(qū)塊鏈技術(shù)提供全球統(tǒng)一的分布式賬本，不依賴集中的可信授權(quán)機(jī)構(gòu)。諸如工作證明（POW）或權(quán)利證明（POS）等共識(shí)機(jī)制設(shè)置了理論上無法承擔(dān)的計(jì)算成本以防止虛假交易。因此，分布式賬本似乎是“可信賴的”，因此，智能合約和各種去中心化應(yīng)用程序（dApps）可以存儲(chǔ)在分布式賬本中，形成區(qū)塊鏈生態(tài)系統(tǒng)的一部分，其源代碼完全“透明”。

然而，區(qū)塊鏈生態(tài)系統(tǒng)并不是真正可靠的。由于它們的透明規(guī)則和進(jìn)行成功攻擊的潛在好處，這些生態(tài)系統(tǒng)對(duì)攻擊高度敏感，并且比以前預(yù)期的要脆弱得多。

CertiK平臺(tái)旨在為建立完全可信的智能聯(lián)系人和區(qū)塊鏈生態(tài)系統(tǒng)開發(fā)一個(gè)正式的驗(yàn)證框架。CertiK計(jì)劃通過使用錯(cuò)誤檢測(cè)方法的替代方法來區(qū)分自己，CertiK平臺(tái)從數(shù)學(xué)上證明區(qū)塊鏈生態(tài)系統(tǒng)是無缺陷的。項(xiàng)目背后的基礎(chǔ)已經(jīng)開發(fā)出模塊化驗(yàn)證技術(shù)，將強(qiáng)大的驗(yàn)證任務(wù)分解為更小的驗(yàn)證任務(wù)，隨后可以以更分散的方式自動(dòng)解決。各種證明對(duì)象可以構(gòu)建并編碼到CertiK平臺(tái)的交易中，然后由其他參與者驗(yàn)證。因此，CertiK平臺(tái)的區(qū)塊鏈旨在用作證書，展現(xiàn)智能合約，dApp庫的端到端真實(shí)性和安全性。

CertiK功能有什么？

智能標(biāo)簽

CertiK平臺(tái)設(shè)計(jì)了一個(gè)標(biāo)簽方法來指定dApps /系統(tǒng)。這些標(biāo)簽可以正式聲明所需的屬性，并與現(xiàn)有的編程語言（如Solidity）兼容。此外，通過利用深度學(xué)習(xí)技術(shù)和手動(dòng)建立的標(biāo)記代碼庫進(jìn)行培訓(xùn)，CertiK平臺(tái)打算引入一個(gè)智能標(biāo)簽框架，幫助理解去中心化程序的語法和語義級(jí)別，然后自動(dòng)添加適當(dāng)?shù)臉?biāo)簽源代碼。

基于圖層的分解

CertiK團(tuán)隊(duì)正在努力通過實(shí)現(xiàn)命名的分層深入規(guī)范概念來實(shí)現(xiàn)模塊化驗(yàn)證。這種技術(shù)揭示了分層設(shè)計(jì)模式的見解，并使得將復(fù)雜的證明任務(wù)分解為更小的任務(wù)成為可能，并在適當(dāng)?shù)某橄髮哟紊向?yàn)證它們中的每一個(gè)。

可插入的驗(yàn)證引擎

較小的證明義務(wù)更容易解決，可以通過一些自動(dòng)驗(yàn)證器（如SMT解算器）來解決。為了實(shí)現(xiàn)可擴(kuò)展性，CertiK平臺(tái)旨在提供開放式協(xié)議，從而可以將更先進(jìn)的解決算法自由插入到該系統(tǒng)中。

機(jī)器可檢驗(yàn)的證明對(duì)象

CertiK平臺(tái)以這樣的方式構(gòu)造機(jī)械化的證明對(duì)象（或反例），使得任何人使用他們自己的機(jī)器可以快速檢查這些證據(jù)。這些證明對(duì)象可以被視為驗(yàn)證程序的“證書”。

經(jīng)過認(rèn)證的dApp庫

CertiK平臺(tái)還為集成開發(fā)環(huán)境（IDE）提供了一系列經(jīng)認(rèn)證的庫和插件，用于構(gòu)建更加值得信賴的dApp。這些庫有助于提高整個(gè)區(qū)塊鏈社區(qū)的代碼質(zhì)量和可靠性，使用這些工具將花費(fèi)少量的CTK作為虛擬加密“燃料”。

定制的認(rèn)證服務(wù)

對(duì)于具有高可靠性要求的dApps /系統(tǒng)（如數(shù)字錢包），CertiK平臺(tái)計(jì)劃提供定制的認(rèn)證服務(wù)。在這種情況下，驗(yàn)證專家將幫助指定/驗(yàn)證程序并生成詳細(xì)，全面的報(bào)告。

image.png-224.7kB

評(píng)級(jí)

產(chǎn)品

image.png-95.2kB

白皮書中表明，2018年2月推出alpha版，4月推出測(cè)試版，6月將和至少20家合作伙伴建立業(yè)務(wù)關(guān)系。

image.png-249.2kB

該項(xiàng)目的大部分路線圖已經(jīng)在過去。目前很難監(jiān)控最新的發(fā)展，因?yàn)镃ertiK在他們的Github上沒有任何公共倉(cāng)庫。

隨著加密貨幣行業(yè)的不斷成熟，智能合約平臺(tái)和dApp變得越來越普遍。目前在以太坊上部署了超過100萬個(gè)合同，而這個(gè)數(shù)字已經(jīng)從一年和兩年前的約12萬個(gè)增加到現(xiàn)在。此外，越來越多的高性能或下一代區(qū)塊鏈項(xiàng)目不斷進(jìn)入市場(chǎng)，因此越來越關(guān)注該領(lǐng)域的智能平臺(tái)。Certik團(tuán)隊(duì)估計(jì)未來將繼續(xù)部署智能合約的指數(shù)級(jí)增長(zhǎng)，未來兩年約有1000萬dApps將被使用。

智能合約和區(qū)塊鏈驗(yàn)證服務(wù)非常有利可圖，而且市場(chǎng)進(jìn)入門檻也很高。目前，大多數(shù)現(xiàn)有智能合約和dApp正在處理數(shù)字資產(chǎn)，這使得它們的可靠性和安全性非常敏感，并且具有內(nèi)在價(jià)值。迄今為止，黑客已經(jīng)損失了6.3億美元，而且對(duì)驗(yàn)證服務(wù)的需求很高，CertiK團(tuán)隊(duì)計(jì)算出，目前智能合同驗(yàn)證服務(wù)提供商為單一服務(wù)收取數(shù)千至上百萬美元的任何費(fèi)用。因此，這個(gè)特定的細(xì)分市場(chǎng)可能會(huì)非常有利可圖。

產(chǎn)品得分：4.2

代幣

CertiK使用其CTK代幣，該代幣在平臺(tái)上用作數(shù)字燃料。CTK是一種不可退還的功能性“燃料”，將用作CertiK平臺(tái)參與者之間的交換單位。CTK也用于經(jīng)濟(jì)激勵(lì)措施，鼓勵(lì)參與者在CertiK平臺(tái)上貢獻(xiàn)和維護(hù)生態(tài)系統(tǒng)。CTK作為CertiK平臺(tái)的一個(gè)組成部分，提供了一個(gè)通用的交換單位來獎(jiǎng)勵(lì)用戶并幫助保持平臺(tái)的可持續(xù)性。

其他銷售細(xì)節(jié)未公布，暫不評(píng)級(jí)。

團(tuán)隊(duì)

Prof. Zhong Shao

image.png-189kB

Prof. Ronghui Gu

image.png-351.7kB

Dr. Vilhelm Sj?berg

領(lǐng)英：https://www.linkedin.com/in/vilhelm-sj%C3%B6berg-9b667a94?utm_source=icoanalytics
Vilhelm Sj?berg是耶魯大學(xué)的副研究員。獲得了博士學(xué)位。于2015年在賓夕法尼亞大學(xué)獲得計(jì)算機(jī)科學(xué)碩士學(xué)位。他是軟件驗(yàn)證，編程語言方面的專家。

關(guān)于誰是該項(xiàng)目顧問委員會(huì)的成員，網(wǎng)上的信息很少。
關(guān)于CTK代幣的銷售，CertiK基金會(huì)正與Tzedek Law LLC合作，Tzedek Law LLC是一家位于新加坡的律師事務(wù)所，擁有在區(qū)塊鏈領(lǐng)域工作的直接經(jīng)驗(yàn)。

團(tuán)隊(duì)成員只有三位，沒有看到業(yè)務(wù)推廣或者區(qū)塊鏈經(jīng)驗(yàn)的開發(fā)人員。

團(tuán)隊(duì)得分：3.5

市場(chǎng)熱度

image.png-53kB

谷歌指數(shù)顯示熱度不高。

image.png-22.2kB

電報(bào)群人數(shù)3萬多。

image.png-12.4kB

第三方評(píng)級(jí)信息：

image.png-83.6kB

OhHeyMatty給出86分
ICO Pantera給出S級(jí)：認(rèn)為是藍(lán)海項(xiàng)目，NGC和幣安都投資了。

市場(chǎng)熱度得分：4.2

最終得分：4

機(jī)會(huì)

1. 與Nebulas合作，為平臺(tái)上構(gòu)建的DApp提供智能合約安全驗(yàn)證。
2. 目前和未來的市場(chǎng)規(guī)模都很大。
3. 這三名團(tuán)隊(duì)成員擁有非常強(qiáng)的學(xué)術(shù)證書，他們都持有耶魯大學(xué)的三名博士學(xué)位。他們還開發(fā)了CertiKOS，這是全球首個(gè)完全驗(yàn)證的并行操作系統(tǒng)內(nèi)核。
4. 幣安孵化器承包私人投資第一輪額度。

風(fēng)險(xiǎn)

1. 來自Quantstamp和Zeppelin等已建立項(xiàng)目的競(jìng)爭(zhēng)。
2. 目前沒有任何其他團(tuán)隊(duì)成員或顧問的進(jìn)一步細(xì)節(jié)，再加上目前的團(tuán)隊(duì)沒有任何有區(qū)塊鏈開發(fā)經(jīng)驗(yàn)的成員和業(yè)務(wù)市場(chǎng)人員。
3. 目前還沒有公開的GitHub存儲(chǔ)庫來評(píng)估開發(fā)進(jìn)度。

總結(jié)

CertiK是建立在硅谷的完全可信的智能合約和區(qū)塊鏈生態(tài)系統(tǒng)的正式驗(yàn)證框架。該平臺(tái)的目標(biāo)是幫助人們構(gòu)建無bug和黑客的智能合約和區(qū)塊鏈生態(tài)系統(tǒng)。CertiK的創(chuàng)始人是耶魯大學(xué)和哥倫比亞大學(xué)的世界級(jí)正式驗(yàn)證專家，高級(jí)軟件工程師曾為Google，F(xiàn)acebook和FreeWheel等公司工作。如果團(tuán)隊(duì)能夠執(zhí)行他們的路線圖，他們將會(huì)對(duì)Quantstamp和Zeppelin等公司進(jìn)行大規(guī)模的競(jìng)爭(zhēng)。最近，CertiK的電報(bào)群的規(guī)模也在迅速擴(kuò)大，并出現(xiàn)了幾個(gè)加密貨幣社區(qū)的巨大興趣。我們相信CertiK在達(dá)到他們的硬頂沒有任何問題。

有關(guān)CertiK的更多信息，請(qǐng)?jiān)L問以下鏈接

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

廣告

有沒有興趣跟小偉一起一天寫一篇評(píng)級(jí)？你有沒有這個(gè)意志力？小偉期待與你相遇！有興趣在本文下方留言哦~

本文原創(chuàng)自鏈評(píng)(http://lianping.io) ? 著作權(quán)歸作者所有
未經(jīng)作者授權(quán)禁止轉(zhuǎn)載！聯(lián)系作者請(qǐng)加入鏈評(píng)下方電報(bào)群
本文部分引用、翻譯自國(guó)外測(cè)評(píng)機(jī)構(gòu)文章