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

?

據和信中歐金融科技研究院執行院長陳邦道介紹，當前，大數據應用對個人隱私和政企敏感數據的保護提出嚴峻挑戰和嚴重威脅。近年來，多次區塊鏈系統和智能合約漏洞導致的安全事件，已經造成直接經濟損失數億美元，凸顯了該領域對安全應用的迫切需求。

“量子計算時代即將到來，隨著算法日益成熟，傳統區塊鏈底層技術將面臨終極挑戰，使用抗量子攻擊的算法是當前唯一的選擇。基于此，我們研發了目前全球首個能夠抗量子攻擊的原生區塊鏈系統，填補了業內對于安全區塊鏈需求的空白。”陳邦道告訴《經濟日報》記者，新一代可驗證安全區塊鏈，采用擁有自主知識產權的后量子加密和簽名技術，為區塊鏈上的快速安全數據交換提供更穩定、安全、可靠的環境，并結合可視化編排和安全驗證保障的智能合約平臺，極大提升了系統延展性。

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

隨著區塊鏈技術發展，智能合約已成為一大熱門技術。“智能合約被譽為未來數字化商業的基礎。其本質是一段程序，不可避免地存在漏洞，而且其漏洞能夠直接轉化為經濟利益。”陳邦道解釋稱，如果假想區塊鏈是高速公路，在上面跑的車就是智能合約，我們必須進行嚴密的安全認證才能讓其上路行駛，否則一旦出現問題將是無法逆轉的。在區塊鏈金融應用中，任何微小的漏洞，都可能造成難以估計的損失。

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