項目細則——
?官方網(wǎng)站: https://certik.org
白皮書：https://certik.org/docs/white_paper.pdf
項目名稱：CertiK
代碼名稱：CTK
代幣類型： ERC20
代幣總量:? 100,000,000 CTK
出售總量：出售20%-30%
眾籌硬頂：3000-4000萬美元
代幣價格：1CTK=3.047USD
接受幣種：ETH
眾籌時間：待宣布
項目鎖倉：上交易所當天釋放33%，然后一個月后再釋放33%，第二個月釋放最后33%
限制區(qū)域：中國，美國
發(fā)幣時間：待宣布
上市時間：待宣布
項目概念： 智能合約和區(qū)塊鏈生態(tài)系統(tǒng)的形式驗證平臺
CertiK 是一個正式的驗證框架，用于數(shù)學證明智能合約和區(qū)塊鏈生態(tài)系統(tǒng)是無錯誤和防黑客的。
為了擴展驗證，CertiK開發(fā)了一種基于層的方法，將這種原本禁止的證明任務分解為較小的證明任務。
這些較小的證明義務可以在CertiK交易中編碼，然后由參與者以分散的方式進行證明和驗證。
因此，CertiK分類賬作為證書展示經(jīng)過驗證的智能合約和經(jīng)過驗證的區(qū)塊鏈生態(tài)系統(tǒng)的端到端正確性和安全性，使其完全值得信賴。
?
項目詳解——
?
產(chǎn)品準備
CertiK平臺技術(shù)的概念驗證始于2017年12月，產(chǎn)品開發(fā)計劃相當激進，大部分操作預計將于2018年6月底完成.SandiK智能標簽和分層驗證技術(shù)的alpha版本計劃于2004年2月底推出.QertiK平臺的測試版將于4月推出（時間表保留），這些發(fā)展將促進到2018年5月發(fā)展10個商業(yè)伙伴關(guān)系。這些伙伴關(guān)系將是到2018年6月底擴大到至少20個合作伙伴。6月還將推出CertiK 1.0，然后基金會將重點開發(fā)新的驗證技術(shù)和CertiK平臺社區(qū)。
該項目的路線圖的大部分已經(jīng)過去，并且該項目的在線社區(qū)將設置和改進alpha和beta原型，以幫助消除任何潛在問題。該項目似乎已接近完全部署，CertiK平臺的公開發(fā)布僅在幾個月之后。但是，目前很難監(jiān)控最新的發(fā)展，因為CertiK在他們的Github上沒有任何公共存儲庫。此外，他們的媒體頁面沒有記錄他們的任何主要開發(fā)階段，所以我們必須采取團隊的話來說明他們正確的正軌。
?
產(chǎn)品優(yōu)勢
Certik團隊出身名門，是形式化驗證的專家。在Certik誕生之前，團隊成員曾經(jīng)開發(fā)了世界上第一個并發(fā)驗證系統(tǒng)CertikOS，這個OS是NSF（美國國家科學基金會）一個計算項目中的核心組成部分。
Certik目標是建立一個形式化驗證平臺，希望從數(shù)學上來證明一個區(qū)塊鏈生態(tài)系統(tǒng)是不存在漏洞的。通過智能標記將代碼按層分解，再通過代幣激勵分布式協(xié)作，完成對代碼的驗證，讓智能合約和區(qū)塊鏈達到無漏洞并且能夠抵御黑客的攻擊，最終建立完全可信的智能合約和區(qū)塊鏈生態(tài)。
?
核心產(chǎn)品
?
CertiK的核心產(chǎn)品是CertiKOS防黑客操作系統(tǒng)。
?
這個系統(tǒng)共花費千萬美元的科研經(jīng)費，兩位創(chuàng)始人邵中和顧榮輝用6年多研究安全系統(tǒng)，目前CertiKOS不僅在商業(yè)市場中通過驗證，也被應用到軍事防御系統(tǒng)上，并引起了耶魯大學等美國學術(shù)界的關(guān)注。
?
由于軍方需求相對復雜，創(chuàng)始團隊于2015年中提出了分層結(jié)構(gòu)理論，即將復雜的合約模塊化，先逐個驗證，再復合證明。
?
CertiK的商業(yè)模式分兩步走：
1）依靠CertiK自身算力的中心化驗證服務。如果客戶本身有強大的硬件設備和系統(tǒng)，可向CertiK提交智能合約和需求，CertiK將合約轉(zhuǎn)化為數(shù)學模型，進行形式化驗證，并生成報告，指明合約中哪一行可能出現(xiàn)漏洞，系統(tǒng)在什么狀態(tài)或條件下可能被侵入（具體步驟可參考demo演示）。CertiK根據(jù)合約的復雜程度收取不同的服務費。
2）去中心化的安全驗證生態(tài)系統(tǒng)，借助社區(qū)參與者的算力，共同生成報告。前文提到的分層結(jié)構(gòu)理論可將復雜任務拆分成小的模塊，CertiK接到客戶需求后，將“任務”和技術(shù)工具分發(fā)給社區(qū)，獎勵提供算力、幫助檢驗小型模塊的貢獻者。交叉驗證機制可以確保社區(qū)內(nèi)無人投機取巧、沒完成任務還“騙取獎勵”。CertiK認為，這種任務分發(fā)要比算hash值挖礦更有意義、更低能耗。
?
平臺功能
1、智能標記：通過深度學習算法，對分布式系統(tǒng)的代碼達到語義層面的理解，并對代碼語言形成自動標記。
2、按層分解：在此之前Certik團隊已經(jīng)做到能夠?qū)Υa模塊化驗證。通過對代碼的分解能夠?qū)兹f行的代碼分解為小的模塊進行驗證，利用分布式協(xié)作能夠大大提高驗證的效率。
3、可接入的驗證引擎：被分解的代碼模塊更容易被這些接入的引擎完成自動檢驗，Certik平臺也希望有更有效的引擎被設計和接入這個平臺完成代碼的審計。
4、機器可檢查的驗證對象：Ceritk 平臺希望建立機器可檢查的驗證對象，這樣未來的代碼審計能夠直接使用機器進行驗證，從而大幅度提高效率。
5、認證DApp庫：提供經(jīng)過代碼檢驗的Dapp的代碼給開發(fā)者參考、學習，從而提高整個區(qū)塊鏈社區(qū)的代碼質(zhì)量。
6、定制化認證服務：對于有特殊需求的Dapp，會有專門的專家提供定制化的服務，幫助提高代碼質(zhì)量。
?
?顧問團隊——
?CertiK的核心優(yōu)勢在于團隊。
位于硅谷的技術(shù)團隊從學術(shù)圈出身，去年開始商業(yè)化，工程師全部來自Google、Facebook、Freewheel。
聯(lián)合創(chuàng)始人邵中，普林斯頓大學博士、耶魯大學計算機系系主任/終身教授、中科大名譽院長、清華大學大師講習團成員，20余年安全領域經(jīng)驗。聯(lián)合創(chuàng)始人顧榮輝，清華大學本科、耶魯大學博士、哥倫比亞大學助理教授。
Certik目前有三位核心成員，由CertiKOS的創(chuàng)始團隊發(fā)展而來，CertikOS是一個耐黑客并發(fā)操作系統(tǒng)的創(chuàng)始團隊組成，這個系統(tǒng)是建立可以免與軟件漏洞的網(wǎng)絡物理系統(tǒng)的一個重要里程碑。Certik團隊規(guī)模目前已經(jīng)擴大到20名，有來自谷歌、Facebook和Free輪的高級軟件工程師和研究科學家等技術(shù)型人員加入。
?
項目總結(jié)
?優(yōu)點：
Certik是難得的好項目，成員來自世界一流的大學，團隊技術(shù)背景過硬，已有一批項目與certik達成合作，為智能合約的安全性進行驗證，同時certik還獲得了幣安實驗室和丹華資本的投資。
項目通過人工智能標記將大塊代碼分解，廣播到網(wǎng)絡交給不同的人去處理，最后得出檢測報告，幫助改進代碼，提高社區(qū)的代碼質(zhì)量。
如若certik的自動化形式驗證能夠解決絕大部分的智能合約漏洞，將會使區(qū)塊鏈行業(yè)的智能合約安全顯著提升，并大大提升合約驗證的效率，取代部分人工驗證。
不足：
其運營能力一般，熱度不高，只有電報群保持著較好的活躍度，市場炒作度低，且官方一直未披露與token有關(guān)的相關(guān)信息，包括token分配、募集情況、資金運用都沒有公布，保密性較高
BitBiOne鏈接一手的海外優(yōu)質(zhì)項目
微信公眾號：幣圈喵姐
（BitBione海外項目集）
?歡迎關(guān)注微信【幣圈喵姐】公眾號，了解更多優(yōu)質(zhì)項目，學習幣圈知識
