隨著區(qū)塊鏈技術(shù)風(fēng)暴席卷全球，其安全性成為當(dāng)下行業(yè)應(yīng)用的關(guān)鍵問(wèn)題。和信中歐金融科技研究院攜帶新一代可驗(yàn)證安全區(qū)塊鏈、高性能智能合約驗(yàn)證技術(shù)等金融科技領(lǐng)域最前沿的技術(shù)產(chǎn)品亮相高交會(huì)，引發(fā)關(guān)注。

?

據(jù)和信中歐金融科技研究院執(zhí)行院長(zhǎng)陳邦道介紹，當(dāng)前，大數(shù)據(jù)應(yīng)用對(duì)個(gè)人隱私和政企敏感數(shù)據(jù)的保護(hù)提出嚴(yán)峻挑戰(zhàn)和嚴(yán)重威脅。近年來(lái)，多次區(qū)塊鏈系統(tǒng)和智能合約漏洞導(dǎo)致的安全事件，已經(jīng)造成直接經(jīng)濟(jì)損失數(shù)億美元，凸顯了該領(lǐng)域?qū)Π踩珣?yīng)用的迫切需求。

“量子計(jì)算時(shí)代即將到來(lái)，隨著算法日益成熟，傳統(tǒng)區(qū)塊鏈底層技術(shù)將面臨終極挑戰(zhàn)，使用抗量子攻擊的算法是當(dāng)前唯一的選擇。基于此，我們研發(fā)了目前全球首個(gè)能夠抗量子攻擊的原生區(qū)塊鏈系統(tǒng)，填補(bǔ)了業(yè)內(nèi)對(duì)于安全區(qū)塊鏈需求的空白?！标惏畹栏嬖V《經(jīng)濟(jì)日?qǐng)?bào)》記者，新一代可驗(yàn)證安全區(qū)塊鏈，采用擁有自主知識(shí)產(chǎn)權(quán)的后量子加密和簽名技術(shù)，為區(qū)塊鏈上的快速安全數(shù)據(jù)交換提供更穩(wěn)定、安全、可靠的環(huán)境，并結(jié)合可視化編排和安全驗(yàn)證保障的智能合約平臺(tái)，極大提升了系統(tǒng)延展性。

據(jù)介紹，新一代可驗(yàn)證安全區(qū)塊鏈在增強(qiáng)系統(tǒng)基礎(chǔ)安全性的同時(shí)，將提供更安全可靠的原生應(yīng)用環(huán)境和更健全的隱私保護(hù)機(jī)制，充分保證數(shù)據(jù)在共享和使用過(guò)程中的安全可控，避免數(shù)據(jù)濫用，為客戶(hù)提供有效、可靠的數(shù)據(jù)信息保護(hù)。

隨著區(qū)塊鏈技術(shù)發(fā)展，智能合約已成為一大熱門(mén)技術(shù)?！爸悄芎霞s被譽(yù)為未來(lái)數(shù)字化商業(yè)的基礎(chǔ)。其本質(zhì)是一段程序，不可避免地存在漏洞，而且其漏洞能夠直接轉(zhuǎn)化為經(jīng)濟(jì)利益。”陳邦道解釋稱(chēng)，如果假想?yún)^(qū)塊鏈?zhǔn)歉咚俟罚谏厦媾艿能?chē)就是智能合約，我們必須進(jìn)行嚴(yán)密的安全認(rèn)證才能讓其上路行駛，否則一旦出現(xiàn)問(wèn)題將是無(wú)法逆轉(zhuǎn)的。在區(qū)塊鏈金融應(yīng)用中，任何微小的漏洞，都可能造成難以估計(jì)的損失。

“智能合約若要在金融領(lǐng)域應(yīng)用中取得進(jìn)一步發(fā)展，亟需解決金融產(chǎn)業(yè)所需要的安全性、可靠性和高性能保障，而形式化驗(yàn)證方法正是解決上述問(wèn)題的最好方法?！标惏畹乐赋觯芯吭貉邪l(fā)的智能合約形式化驗(yàn)證產(chǎn)品面向智能合約的設(shè)計(jì)者和開(kāi)發(fā)者，提供易于使用的智能合約設(shè)計(jì)和驗(yàn)證工具的環(huán)境，力求降低智能合約形式化驗(yàn)證的使用門(mén)檻和正確性規(guī)格的編寫(xiě)難度，極大提高智能合約的安全性和可靠性。產(chǎn)品通過(guò)對(duì)合約代碼進(jìn)行嚴(yán)格、透明的安全驗(yàn)證，杜絕邏輯漏洞，確保合約安全，在滿(mǎn)足實(shí)際應(yīng)用效率需求的同時(shí)，達(dá)到有效控制漏洞風(fēng)險(xiǎn)的目的。