項目細(xì)則——
?官方網(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
眾籌時間：待宣布
項目鎖倉：上交易所當(dāng)天釋放33%憎妙，然后一個月后再釋放33%，第二個月釋放最后33%
限制區(qū)域：中國，美國
發(fā)幣時間：待宣布
上市時間：待宣布
項目概念： 智能合約和區(qū)塊鏈生態(tài)系統(tǒng)的形式驗證平臺
CertiK 是一個正式的驗證框架，用于數(shù)學(xué)證明智能合約和區(qū)塊鏈生態(tài)系統(tǒng)是無錯誤和防黑客的。
為了擴展驗證拢蛋，CertiK開發(fā)了一種基于層的方法，將這種原本禁止的證明任務(wù)分解為較小的證明任務(wù)。
這些較小的證明義務(wù)可以在CertiK交易中編碼曲伊，然后由參與者以分散的方式進行證明和驗證。
因此追他，CertiK分類賬作為證書展示經(jīng)過驗證的智能合約和經(jīng)過驗證的區(qū)塊鏈生態(tài)系統(tǒng)的端到端正確性和安全性坟募，使其完全值得信賴。
?
項目詳解——
?
產(chǎn)品準(zhǔn)備
CertiK平臺技術(shù)的概念驗證始于2017年12月邑狸，產(chǎn)品開發(fā)計劃相當(dāng)激進懈糯，大部分操作預(yù)計將于2018年6月底完成.SandiK智能標(biāo)簽和分層驗證技術(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ū)將設(shè)置和改進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（美國國家科學(xué)基金會）一個計算項目中的核心組成部分钝荡。
Certik目標(biāo)是建立一個形式化驗證平臺街立，希望從數(shù)學(xué)上來證明一個區(qū)塊鏈生態(tài)系統(tǒng)是不存在漏洞的。通過智能標(biāo)記將代碼按層分解埠通，再通過代幣激勵分布式協(xié)作赎离，完成對代碼的驗證，讓智能合約和區(qū)塊鏈達到無漏洞并且能夠抵御黑客的攻擊端辱，最終建立完全可信的智能合約和區(qū)塊鏈生態(tài)梁剔。
?
核心產(chǎn)品
?
CertiK的核心產(chǎn)品是CertiKOS防黑客操作系統(tǒng)。
?
這個系統(tǒng)共花費千萬美元的科研經(jīng)費舞蔽，兩位創(chuàng)始人邵中和顧榮輝用6年多研究安全系統(tǒng)荣病，目前CertiKOS不僅在商業(yè)市場中通過驗證，也被應(yīng)用到軍事防御系統(tǒng)上渗柿，并引起了耶魯大學(xué)等美國學(xué)術(shù)界的關(guān)注个盆。
?
由于軍方需求相對復(fù)雜，創(chuàng)始團隊于2015年中提出了分層結(jié)構(gòu)理論做祝，即將復(fù)雜的合約模塊化砾省，先逐個驗證，再復(fù)合證明混槐。
?
CertiK的商業(yè)模式分兩步走：
1）依靠CertiK自身算力的中心化驗證服務(wù)编兄。如果客戶本身有強大的硬件設(shè)備和系統(tǒng)，可向CertiK提交智能合約和需求声登，CertiK將合約轉(zhuǎn)化為數(shù)學(xué)模型狠鸳，進行形式化驗證，并生成報告悯嗓，指明合約中哪一行可能出現(xiàn)漏洞件舵，系統(tǒng)在什么狀態(tài)或條件下可能被侵入（具體步驟可參考demo演示）。CertiK根據(jù)合約的復(fù)雜程度收取不同的服務(wù)費脯厨。
2）去中心化的安全驗證生態(tài)系統(tǒng)铅祸，借助社區(qū)參與者的算力，共同生成報告。前文提到的分層結(jié)構(gòu)理論可將復(fù)雜任務(wù)拆分成小的模塊临梗，CertiK接到客戶需求后涡扼，將“任務(wù)”和技術(shù)工具分發(fā)給社區(qū)，獎勵提供算力盟庞、幫助檢驗小型模塊的貢獻者吃沪。交叉驗證機制可以確保社區(qū)內(nèi)無人投機取巧、沒完成任務(wù)還“騙取獎勵”什猖。CertiK認(rèn)為票彪，這種任務(wù)分發(fā)要比算hash值挖礦更有意義、更低能耗不狮。
?
平臺功能
1降铸、智能標(biāo)記：通過深度學(xué)習(xí)算法，對分布式系統(tǒng)的代碼達到語義層面的理解荤傲，并對代碼語言形成自動標(biāo)記垮耳。
2颈渊、按層分解：在此之前Certik團隊已經(jīng)做到能夠?qū)Υa模塊化驗證遂黍。通過對代碼的分解能夠?qū)兹f行的代碼分解為小的模塊進行驗證，利用分布式協(xié)作能夠大大提高驗證的效率俊嗽。
3雾家、可接入的驗證引擎：被分解的代碼模塊更容易被這些接入的引擎完成自動檢驗，Certik平臺也希望有更有效的引擎被設(shè)計和接入這個平臺完成代碼的審計绍豁。
4芯咧、機器可檢查的驗證對象：Ceritk 平臺希望建立機器可檢查的驗證對象，這樣未來的代碼審計能夠直接使用機器進行驗證竹揍，從而大幅度提高效率敬飒。
5、認(rèn)證DApp庫：提供經(jīng)過代碼檢驗的Dapp的代碼給開發(fā)者參考芬位、學(xué)習(xí)无拗，從而提高整個區(qū)塊鏈社區(qū)的代碼質(zhì)量。
6昧碉、定制化認(rèn)證服務(wù)：對于有特殊需求的Dapp英染，會有專門的專家提供定制化的服務(wù)，幫助提高代碼質(zhì)量被饿。
?
?顧問團隊——
?CertiK的核心優(yōu)勢在于團隊四康。
位于硅谷的技術(shù)團隊從學(xué)術(shù)圈出身，去年開始商業(yè)化狭握，工程師全部來自Google闪金、Facebook、Freewheel论颅。
聯(lián)合創(chuàng)始人邵中哎垦，普林斯頓大學(xué)博士喝检、耶魯大學(xué)計算機系系主任/終身教授、中科大名譽院長撼泛、清華大學(xué)大師講習(xí)團成員挠说，20余年安全領(lǐng)域經(jīng)驗。聯(lián)合創(chuàng)始人顧榮輝愿题，清華大學(xué)本科损俭、耶魯大學(xué)博士、哥倫比亞大學(xué)助理教授潘酗。
Certik目前有三位核心成員杆兵，由CertiKOS的創(chuàng)始團隊發(fā)展而來，CertikOS是一個耐黑客并發(fā)操作系統(tǒng)的創(chuàng)始團隊組成仔夺，這個系統(tǒng)是建立可以免與軟件漏洞的網(wǎng)絡(luò)物理系統(tǒng)的一個重要里程碑琐脏。Certik團隊規(guī)模目前已經(jīng)擴大到20名，有來自谷歌缸兔、Facebook和Free輪的高級軟件工程師和研究科學(xué)家等技術(shù)型人員加入日裙。
?
項目總結(jié)
?優(yōu)點：
Certik是難得的好項目，成員來自世界一流的大學(xué)惰蜜，團隊技術(shù)背景過硬昂拂，已有一批項目與certik達成合作，為智能合約的安全性進行驗證抛猖，同時certik還獲得了幣安實驗室和丹華資本的投資格侯。
項目通過人工智能標(biāo)記將大塊代碼分解，廣播到網(wǎng)絡(luò)交給不同的人去處理财著，最后得出檢測報告联四，幫助改進代碼，提高社區(qū)的代碼質(zhì)量撑教。
如若certik的自動化形式驗證能夠解決絕大部分的智能合約漏洞朝墩，將會使區(qū)塊鏈行業(yè)的智能合約安全顯著提升，并大大提升合約驗證的效率驮履，取代部分人工驗證鱼辙。
不足：
其運營能力一般，熱度不高玫镐，只有電報群保持著較好的活躍度倒戏，市場炒作度低，且官方一直未披露與token有關(guān)的相關(guān)信息恐似，包括token分配杜跷、募集情況、資金運用都沒有公布，保密性較高
BitBiOne鏈接一手的海外優(yōu)質(zhì)項目
微信公眾號：幣圈喵姐
（BitBione海外項目集）
?歡迎關(guān)注微信【幣圈喵姐】公眾號葛闷，了解更多優(yōu)質(zhì)項目憋槐，學(xué)習(xí)幣圈知識
