certik:DemoShow Online（第51期）：Certik智能合約的代碼審計平臺_certik幣價

1概述

Certik是一款通過數學方法(形式化證明）驗證智能合約漏洞的分布式應用，CertiK致力于通過全球領先的形式化驗證技術，來保證智能合約和區塊鏈系統的安全性。

官網網址：https://certik.org

白皮書：https://certik.org/docs/white_paper.pdf

2項目介紹

Certik是一個是形式化驗證框架，經過certik驗證的智能合同、DApp以及區塊鏈將會被附上證書形式的標志，來展示其正確性和安全性。Certik平臺提供的主要功能包括以下部分：

智能標簽框架：CertiK平臺應用深度學習技術來構建智能標簽框架，有了這個框架，大多數共享邏輯和屬性代碼都可以被自動標記，從而使得程序的邏輯，語義更加清晰和規范，這樣驗證的工作量就可以大大減少。

基于層的分解：這種技術揭示了分層設計模式的見解，并使得將復雜的證明任務分解為更小的任務成為可能，并在適當的抽象層面驗證它們中的每一個。

可插拔的驗證引擎提供開放式的協議，更先進算法的證明引擎可以自由插入這個系統。

機器可檢驗的證明對象：構建機械式的證明對象，這些證明對象可以快速的被任何人檢驗，同時作為驗證程序的證書（機械式證明對象可直接作為證書，賞金獵人提供的證明對象，需要檢察官進行人工檢驗后才能作為證書。注：賞金獵人和檢察官后文會進行描述。

Web3游戲工作室Redemption Games完成700萬美元融資:金色財經報道，Web3游戲工作室Redemption Games宣布完成700萬美元新一輪融資，Play Ventures領投，Bitkraft、Merit Circle DAO、Orange DAO、以及一批游戲行業人士參投。

Redemption Games是一家從移動游戲開發巨頭AppLovin公司剝離出的獨立工作室，目前正在利用區塊鏈技術、數字藏品和人工智能解決方案開發能夠推向大眾市場的游戲，并且將在游戲中加入能在交易所交易的數字資產等Web3元素。[2023/3/7 12:47:43]

認證的DAPP庫：為集成開發環境提供了一系列認證庫和插件，以便開發出質量更高的dapp，但是會花費一些CTK。

定制化的認證服務：如果有高可靠性要求，可以提供定制化的認證服務，由驗證領域的專家提供幫助并出具綜合報告。

CertiK生態

1）客戶(Customer)–比如需要代碼審計的開發者，可以向CertiK平臺的網絡提交需要驗證的程序/系統或符合開放協議的任何證明義務

2）賞金獵人(Bountyhunters)-是那些希望CTK激勵并希望分享他們的計算資源的人。他們提供算力完成證明和代碼審計，然后等待驗證。由于此角色的重要性，只允許擁有一定數量CTK的用戶擔任此角色。

Wafini在Cardano上推出DEMO版NFT市場:12月21日消息，Wafini團隊宣布，已經在Cardano上發布了第一個由DAO驅動的NFT市場DEMO版，測試版將在2023年一季度推出。（beincrypto）[2022/12/21 21:59:01]

3）檢查員(Checkers)–驗證證明和代碼審計結果，可以通過記錄定期交易或檢查提交的證明對象來獲得CTK獎勵。賞金獵人只有在證明得到驗證后才能獲得獎勵，監察員也可以獲得這些獎勵的一小部分。

4）Sages–是通過CertiK平臺的開放協議提供工具的人。他們提供的工具可能被賞金獵人隨機使用，可以根的評估結果獲得一些CTK獎勵。優秀的工具將由社區研究和傳播。

5）用戶用戶可以訂閱所有CertiK平臺的認證庫和IDE插件，支付部分CTK，搭建自己的DApps。

CertiK尚未發token，主要的代碼審計競爭對手是Zepplin和Quantstamp，Zepplin是人肉驗證的基本安全的智能合約模版庫，想自己寫的拖出來稍微改改就可以了，因為被很多只眼睛看過，相對比較安全。但CertiK車飆的更猛，完全通過形式化證明這種數學方法和分布式的系統查找Dapp代碼中的邏輯漏洞，完成代碼審計工作。

3代幣情況

ZenAcademy創始人Zeneca的推特和Discord賬號被盜，黑客發布虛假NFT空投消息:7月20日消息，NFT行業大V、ZenAcademy創始人Zeneca的Twitter賬號（@Zeneca_33）和Discord賬號在一次NFT釣魚攻擊中被黑。黑客發布一條名為“Zen Academy Founders Pass”的虛假空投消息，敦促用戶連接錢包以參與所謂的空投。目前Zeneca的推特賬號已經恢復正常。

據此前報道，BAYC創作團隊Yuga Labs發推警告稱：“我們的安全團隊一直在追蹤一個以NFT社區為目標的持續威脅組織。 我們相信，他們可能很快就會通過被竊取的社交媒體賬戶，對多個社區發起有組織的攻擊。請提高警惕，保證安全。 ”（ENW）[2022/7/20 2:25:58]

：CTK

：ERC-20

：ETH

：100,000,000

：如圖

4社群情況

Twitter：https://twitter.com/certikorg

LinkedIn：https://www.linkedin.com/company/certik/

YouTube：

Parallel計劃進行NFT拍賣并將拍賣所得捐贈給Khan Academy:1月19日消息，NFT科幻交易卡游戲Parallel計劃拍賣一個單一版本的NFT “Inspiring Teacher”，并將所有收益捐給在線學習平臺Khan Academy。拍賣將于美國東部時間1月19日下午5點（北京時間1月20日6點）開始，并在21日的同一時間（北京時間1月22日6點）結束。

據The Giving Block數據顯示，慈善組織在2021年共收到了超過240萬美元的加密貨幣捐款。（The Block ）[2022/1/19 8:59:14]

https://www.youtube.com/channel/UCCcFr6FTUeWDIqUdY8i1W5w

Telegram：https://t.me/certikorg

Medium：https://medium.com/certik

GitHub：https://github.com/CertiKProject

5團隊介紹

Prof.邵中：耶魯大學計算機科學系教授、系主任。1994年，他在普林斯頓大學獲得計算機科學博士學位。在他早期的職業生涯中，他是SML/NJ編譯器的主要開發人員，也是FLINT認證基礎設施的主要架構師。近年來，他一直致力于網絡安全、編程語言、操作系統和認證軟件等引人注目的研究領域。他和他在耶魯大學(Yale)的弗林特團隊開發了世界上第一個抗黑客并發操作系統認證——這是構建可證明不存在軟件漏洞的網絡物理系統的一個重要里程碑。他也是頂級科學期刊和會議上90篇文章的作者以及合著者。

聲音 | V神回復Tuur Demeester：絕對的不可逆性是錯誤的，分叉不一定導致災難:據cryptoglobe報道，V神回復了數字貨幣經濟學家Tuur Demeester此前提出的一系列問題。V 神向其推薦文章，介紹POS機制的諸多優點，并表示自己實際上贊成ETH的挖礦獎勵盡可能低，同時確保網絡安全性。強調從不主張將所有東西都放在區塊鏈上，“世界計算機”一詞是指作為一個專門的通用平臺，針對需要共享的應用和數據進行存證。針對以太坊不適合個人節點運行問題，V神表示一直在努力，上周已經有在個人電腦上運行的節點了。對于以太坊的審查漏洞問題，V神表示，DAO分叉確實違反了絕對不可逆性的觀念。然而，分叉會導致災難，這是非常錯誤的。社區在處理EIP 867與EIP 999的問題上，已經證明“適當但不是無限強大的不可逆性”的社會契約實際上是可以穩定運行的。ETH核心開發人員試驗半封閉會議的事情已經取消了，以太坊開發團隊非常強大，即便沒有我也可以照常工作，推進以太坊開發。[2018/12/31]

顧榮輝：是哥倫比亞大學計算機科學終身教授助理。他于2016年在耶魯大學獲得計算機科學博士學位，論文獲得耶魯大學優秀論文獎，并被提名為ACM學位論文獎。2011年獲得清華大學學士學位。顧教授是系統軟件形式化驗證方面的專家。他是CertiKOS的主要設計者和開發人員，這是世界上第一個完全經過驗證的并發操作系統內核。他關于調卷的OSDI16論文已被提名并選定發表在CACM的研究重點部分。

VilhelmSj?berg：是耶魯大學前副研究員。他獲得了計算機科學博士學位。2015年從賓夕法尼亞大學畢業。目前，他對分層驗證系統(如CertiKOS)的語言支持很感興趣。博士是2016年ACMSIGPLANJohnC.Reynolds博士論文獎獲得者。

ZhaozhongNi：曾在谷歌和惠普/3PAR擔任工程主管，并在微軟研究院(MicrosoftResearch)擔任研究員。他是系統軟件和正式驗證方面的專家，在構建操作系統內核和關鍵任務企業系統方面具有豐富的經驗。倪博士是gVisor的創始成員之一，gVisor是谷歌的新安全操作系統，具有云計算規模的生產能力。他擁有分布式存儲系統的多項專利。他在清華大學獲得學士學位，在耶魯大學獲得計算機科學博士學位。

MuhanZou：從公司成立之日起，鄒木漢就一直是CertiK的創始成員，他在工程能力和團隊領導方面都做出了貢獻。Muhan擁有多年設計和開發企業級SaaS產品的經驗。在加入康卡斯特之前，他是康卡斯特的工程主管，負責將大規模廣告和settop-box/linear原始數據轉化為商業見解。他還曾在甲骨文工作，在耶魯大學畢業后，他以一名全棧工程師的身份創建了社交云平臺。

DarylHok：全球機器學習法律技術公司FiscalNote的企業發展主管達里爾?霍克(DarylHok)在該公司加速了增長，他在12個月內完成了3筆收購，其中包括以1.8億美元收購經濟學人集團(EconomistGroup)。他還擔任產品經理，負責SaaS產品的創意和發布，以及核心數據基礎設施的開發。他在耶魯大學(YaleUniversity)獲得了經濟學和心理學雙學士學位，主修行為經濟學。

YvanNasr：YvanNasr領導了三星電子(SamsungElectronics)的多項產品和業務開發計劃，并推動巴克萊銀行(BarclaysBanks)在歐洲主要市場進行數字化轉型。在獲得MBA學位之前，Yvan還領導了歐洲最大的零售控股公司KingfisherPLC的增長，使其在亞洲等關鍵市場的品牌全球足跡和產品范圍實現多元化。最近，他是區塊鏈網絡安全初創公司Hosho的合伙人主管。他在芝加哥大學布斯商學院獲得工商管理碩士學位。

KaiYan：博士在商業增長、經濟研究和金融市場方面擁有豐富的經驗。他曾在國際貨幣基金組織(imf)擔任經濟學家，在一家對沖基金擔任策略師。在國際貨幣基金組織(IMF)，他與全球監管機構合作，圍繞改善后的銀行體系制定了新的監管規定。在一家對沖基金工作期間，他負責設計和執行交易策略。嚴博士在北京大學獲得經濟學學士學位，在耶魯大學獲得諾貝爾經濟學獎博士學位。

BojinChen：曾就職于中信證券，帶領團隊實施了多項IPO、債券發行、可轉換債券、并購等，融資超過10億美元。2017年，他參與完成了醫藥行業最大的單筆并購項目，金成藥業以20億元人民幣的價格收購了朗逸藥業。他在紐約佩斯大學魯賓商學院獲得財務管理碩士學位。

7戰略合作伙伴

7項目進度

8專家評價

OhHeyMatty：沒有發現任何

ICOPantera：至少在ICO市場上，代碼審計幾乎沒有競爭對手，這是一片藍色海洋。

CryptoCalibur：CertiK是一個正式的驗證框架，創建于硅谷，用于構建完全可信的智能合同和區塊鏈生態系統，該平臺的目標是幫助人們構建無bug、抗黑客的智能合同和區塊鏈生態系統。CertiK的創始人是來自耶魯大學和哥倫比亞大學的世界級認證專家、資深軟件工程師，曾在谷歌、Facebook、FreeWheel等公司工作。如果這個團隊能夠執行他們的路線圖，他們面對的將會是Quantstamp和Zeppelin這樣的大型競爭對手。最近，加密認證的規模也迅速膨脹，吸引了幾個加密社區的大量興趣。我們認為CertiK達到他們的硬頂沒有任何問題，并且眾籌完成后也滿足不了投資需求。我們相信這是一項很有前景的投資，尤其是中長期投資。

9總結

優勢

CertiK使用標簽化將智能合約分成更小的部分，方便快速檢查代碼漏洞，導入生態圈獎勵節點與外部專家進駐，進而自動化驗證程序并持續更新驗證引擎，在中長期保有競爭優勢。根據官方電群表示已經開始提供驗證服務，產品風險相對低。

區塊鏈自身數據結構特性和巨大的利益承載，使得分布式應用的代碼審計非常必要，不僅能夠提高代碼質量，避免被黑。

全明星的團隊陣容。

劣勢

項目并未開源，無法驗證其服務準確性。

其他競爭者已在市場占有極大的份額，需有強而有力的商業拓展計劃與之競爭。

Demoshow?Online是鏈茶館開設的項目介紹欄目，旨在將海外優秀的區塊鏈項目引入國內區塊鏈從業者的視野。將會從一個相對全面的角度介紹這些海外項目的相關信息，挖掘相關細節。歡迎大家留言，和我們交流你感興趣的區塊鏈項目。

Tags：CERTIKERTcertikInfluencers of the Metaversecertik幣價GEERT

萊特幣最新價格