CertiK——區塊鏈安全技術服務商

(圖片源自網絡)

CertiK是致力于通過全球領先的形式化驗證技術，重構社區對于智能合約和區塊鏈信任的區塊鏈安全技術服務商，由耶魯大學計算機科學系教授邵中及其弟子、哥倫比亞大學計算機系助理教授顧榮輝建立。團隊成員來自耶魯大學、哥倫比亞大學和硅谷的知名IT公司。

CertiK團隊構建的CertiKOS，是世界上第一個被完成形式化驗證的操作系統內核，被稱作“無漏洞且防黑客的系統”，曾引起國內外轟動，被部署在多個安全領域。CertiK目前已與星云、NEO、光速中國、八維資本等多家知名企業達成合作，為其提供形式化驗證服務。

紙貴科技攜“黑客終結者”打造區塊鏈安全盾牌

此次合作，CertiK作為紙貴科技的安全服務提供商，通過檢測并修復代碼漏洞，進一步提升紙貴科技區塊鏈服務的安全系數，為用戶提供更加安全、放心的更高質量區塊鏈服務體驗。雙方將攜手共同保護區塊鏈技術安全，開啟區塊鏈技術安全新領域。

在CertiK先進的深度規范驗證技術支持下，紙貴科技將檢測相關智能合約代碼，并依據其提供的解決方案進行完善，不斷提升紙貴科技在區塊鏈技術研發和區塊鏈服務提供過程中的可靠性，從而更好地為企業用戶提供更加安全可靠的定制化區塊鏈解決方案。

紙貴區塊鏈云服務平臺Zig-BaaS加入CertiK形式化驗證服務后，不僅可以幫助開發者快速構建區塊鏈基礎設施，提供區塊鏈應用開發、部署、測試和監控的整套解決方案。更能為用戶提供形式化驗證、性質檢查、代碼審核等服務內容，來保證智能合約和區塊鏈系統的安全性，進一步豐富了Zig-BaaS的服務能力。用戶可在Zig-BaaS上了解、咨詢包括智能合約形式化驗證在內的各類區塊鏈服務項目，紙貴科技將會為客戶提供最專業的區塊鏈解決方案。

除此之外，雙方還將就區塊鏈行業的技術安全展開深度合作，資源共享，共同為促進區塊鏈行業的良性發展而努力。