隨著區塊鏈技術風暴席捲全球，其安全性成為當下行業應用的關鍵問題。和信中歐金融科技研究院攜帶新一代可驗證安全區塊鏈、高效能智慧合約驗證技術等金融科技領域最前沿的技術產品亮相高交會，引發關注。
據和信中歐金融科技研究院執行院長陳邦道介紹，當前，大資料應用對個人隱私和政企敏感資料的保護提出嚴峻挑戰和嚴重威脅。近年來，多次區塊鏈系統和智慧合約漏洞導致的安全事件，已經造成直接經濟損失數億美元，凸顯了該領域對安全應用的迫切需求。
“量子計算時代即將到來，隨著演算法日益成熟，傳統區塊鏈底層技術將面臨終極挑戰，使用抗量子攻擊的演算法是當前唯一的選擇。基於此，我們研發了目前全球首個能夠抗量子攻擊的原生區塊鏈系統，填補了業內對於安全區塊鏈需求的空白。”陳邦道告訴《經濟日報》記者，新一代可驗證安全區塊鏈，採用擁有自主智慧財產權的後量子加密和簽名技術，為區塊鏈上的快速安全資料交換提供更穩定、安全、可靠的環境，並結合視覺化編排和安全驗證保障的智慧合約平臺，極大提升了系統延展性。
據介紹，新一代可驗證安全區塊鏈在增強系統基礎安全性的同時，將提供更安全可靠的原生應用環境和更健全的隱私保護機制，充分保證資料在共享和使用過程中的安全可控，避免資料濫用，為客戶提供有效、可靠的資料資訊保護。
隨著發展，智慧合約已成為一大熱門技術。“智慧合約被譽為未來數字化商業的基礎。其本質是一段程式，不可避免地存在漏洞，而且其漏洞能夠直接轉化為經濟利益。”陳邦道解釋稱，如果假想區塊鏈是高速公路，在上面跑的車就是智慧合約，我們必須進行嚴密的安全認證才能讓其上路行駛，否則一旦出現問題將是無法逆轉的。在區塊鏈金融應用中，任何微小的漏洞，都可能造成難以估計的損失。
“智慧合約若要在金融領域應用中取得進一步發展，亟需解決金融產業所需要的安全性、可靠性和高效能保障，而形式化驗證方法正是解決上述問題的最好方法。”陳邦道指出，研究院研發的智慧合約形式化驗證產品面向智慧合約的設計者和開發者，提供易於使用的智慧合約設計和驗證工具的環境，力求降低智慧合約形式化驗證的使用門檻和正確性規格的編寫難度，極大提高智慧合約的安全性和可靠性。產品透過對合約程式碼進行嚴格、透明的安全驗證，杜絕邏輯漏洞，確保合約安全，在滿足實際應用效率需求的同時，達到有效控制漏洞風險的目的。
（責編：武亞東）
