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

AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>

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

AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>

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

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

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

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

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

AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>

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

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

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

生成海報(bào)

免責(zé)聲明：本網(wǎng)站內(nèi)容主要來自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請進(jìn)一步核實(shí)，并對任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對有關(guān)資料所引致的錯誤、不確或遺漏，概不負(fù)任何法律責(zé)任。任何單位或個人認(rèn)為本網(wǎng)站中的網(wǎng)頁或鏈接內(nèi)容可能涉嫌侵犯其知識產(chǎn)權(quán)或存在不實(shí)內(nèi)容時，應(yīng)及時向本網(wǎng)站提出書面權(quán)利通知或不實(shí)情況說明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后，將會依法盡快聯(lián)系相關(guān)文章源頭核實(shí)，溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。