近日，紙貴科技與區(qū)塊鏈安全技術(shù)服務(wù)商CertiK達(dá)成安全戰(zhàn)略合作。雙方將在區(qū)塊鏈、智能合約等多項安全性驗證服務(wù)領(lǐng)域攜手，利用自動化推演的原理檢測代碼漏洞并提供修復(fù)方案，彌補(bǔ)人為檢測的思維局限，降低鏈上代碼驗證成本，提升產(chǎn)品使用體驗，為智能合約和區(qū)塊鏈系統(tǒng)提供可靠的安全盾牌。

　　

[[215446]]

 

　　CertiK——區(qū)塊鏈安全技術(shù)服務(wù)商

　　

 

　　(圖片源自網(wǎng)絡(luò))

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

　　CertiK團(tuán)隊構(gòu)建的CertiKOS，是世界上***個被完成形式化驗證的操作系統(tǒng)內(nèi)核，被稱作“無漏洞且防黑客的系統(tǒng)”，曾引起國內(nèi)外轟動，被部署在多個安全領(lǐng)域。CertiK目前已與星云、NEO、光速中國、八維資本等多家知名企業(yè)達(dá)成合作，為其提供形式化驗證服務(wù)。

　　紙貴科技攜“黑客終結(jié)者”打造區(qū)塊鏈安全盾牌

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

　　

[[215447]]

 

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

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

 

　　除此之外，雙方還將就區(qū)塊鏈行業(yè)的技術(shù)安全展開深度合作，資源共享，共同為促進(jìn)區(qū)塊鏈行業(yè)的良性發(fā)展而努力。