新一代可驗證安全區(qū)塊鏈，可為客戶提供有效、可靠的數(shù)據(jù)信息保護

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

?

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

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

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

隨著區(qū)塊鏈技術(shù)發(fā)展，智能合約已成為一大熱門技術(shù)?！爸悄芎霞s被譽為未來數(shù)字化商業(yè)的基礎。其本質(zhì)是一段程序，不可避免地存在漏洞，而且其漏洞能夠直接轉(zhuǎn)化為經(jīng)濟利益?！标惏畹澜忉尫Q，如果假想?yún)^(qū)塊鏈是高速公路，在上面跑的車就是智能合約，我們必須進行嚴密的安全認證才能讓其上路行駛，否則一旦出現(xiàn)問題將是無法逆轉(zhuǎn)的。在區(qū)塊鏈金融應用中，任何微小的漏洞，都可能造成難以估計的損失。

“智能合約若要在金融領(lǐng)域應用中取得進一步發(fā)展，亟需解決金融產(chǎn)業(yè)所需要的安全性、可靠性和高性能保障，而形式化驗證方法正是解決上述問題的最好方法。”陳邦道指出，研究院研發(fā)的智能合約形式化驗證產(chǎn)品面向智能合約的設計者和開發(fā)者，提供易于使用的智能合約設計和驗證工具的環(huán)境，力求降低智能合約形式化驗證的使用門檻和正確性規(guī)格的編寫難度，極大提高智能合約的安全性和可靠性。產(chǎn)品通過對合約代碼進行嚴格、透明的安全驗證，杜絕邏輯漏洞，確保合約安全，在滿足實際應用效率需求的同時，達到有效控制漏洞風險的目的。