近日，紙貴科技與區(qū)塊鏈安全技術(shù)服務(wù)商CertiK達(dá)成安全戰(zhàn)略合作。雙方將在區(qū)塊鏈、智能合約等多項安全性驗證服務(wù)領(lǐng)域攜手，利用自動化推演的原理檢測代碼漏洞并提供修復(fù)方案，彌補人為檢測的思維局限，降低鏈上代碼驗證成本，提升產(chǎn)品使用體驗，為智能合約和區(qū)塊鏈系統(tǒng)提供可靠的安全盾牌。
AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>
CertiK——區(qū)塊鏈安全技術(shù)服務(wù)商
AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>
(圖片源自網(wǎng)絡(luò))
CertiK是致力于通過全球領(lǐng)先的形式化驗證技術(shù)，重構(gòu)社區(qū)對于智能合約和區(qū)塊鏈信任的區(qū)塊鏈安全技術(shù)服務(wù)商，由耶魯大學(xué)計算機科學(xué)系教授邵中及其弟子、哥倫比亞大學(xué)計算機系助理教授顧榮輝建立。團(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)域。
AIFggQ2VydGlL77ya5pC65omL4oCc6buR5a6i57uI57uT6ICF4oCd5byA5ZCv5Yy65Z2X6ZO+5oqA5pyv5a6J5YWo5L+d5Y2r5oiY77yB"/>
在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ā)展而努力。
- 蜜度索驥：以跨模態(tài)檢索技術(shù)助力“企宣”向上生長
- 為什么年輕人不愛換手機了
- 柔宇科技未履行金額近億元被曝已6個月發(fā)不出工資
- 柔宇科技被曝已6個月發(fā)不出工資 公司回應(yīng)欠薪有補償方案
- 第六座“綠動未來”環(huán)保公益圖書館落地貴州山區(qū)小學(xué)
- 窺見“新紀(jì)元”，2021元宇宙產(chǎn)業(yè)發(fā)展高峰論壇“廣州啟幕”
- 以人為本，景悅科技解讀智慧城市發(fā)展新理念
- 紐迪瑞科技/NDT賦能黑鯊4 Pro游戲手機打造全新一代屏幕壓感
- 清潔家電新老玩家市場定位清晰，攜手共進(jìn)，核心技術(shù)決定未來
- 新思科技與芯耀輝在IP產(chǎn)品領(lǐng)域達(dá)成戰(zhàn)略合作伙伴關(guān)系
- 芯耀輝加速全球化部署，任命原Intel高管出任全球總裁
免責(zé)聲明：本網(wǎng)站內(nèi)容主要來自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請進(jìn)一步核實，并對任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對有關(guān)資料所引致的錯誤、不確或遺漏，概不負(fù)任何法律責(zé)任。任何單位或個人認(rèn)為本網(wǎng)站中的網(wǎng)頁或鏈接內(nèi)容可能涉嫌侵犯其知識產(chǎn)權(quán)或存在不實內(nèi)容時，應(yīng)及時向本網(wǎng)站提出書面權(quán)利通知或不實情況說明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實情況證明。本網(wǎng)站在收到上述法律文件后，將會依法盡快聯(lián)系相關(guān)文章源頭核實，溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。
