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

　　

[[215446]]

 

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

　　

 

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

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

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

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

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

　　

[[215447]]

 

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

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

 

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