服務金融科技應用的智能合同平台 (ART/290CP)

服務金融科技應用的智能合同平台 (ART/290CP)

服務金融科技應用的智能合同平台 (ART/290CP)
ART/290CP
平台
31 / 03 / 2020 - 30 / 09 / 2021
8,050

劉揚 博士

鼎信創新科技有限公司 (贊助機構)
南華智能自動化有限公司 (贊助機構)
三湘集團有限公司 (贊助機構)


今天,智能合約由於使用通用編程語言,正面臨攻擊風險和受潛在邏輯錯誤的影響。 此外,當前的區塊鏈的虛擬機編譯效率不高,這也將限制智能合約的效率。 因此,本項目會利用提取的知識開發庫構建一組特定域的編程語言(DSL),以便為各種金融應用量身定制高效安全的智能合約。本項目並且也會研究用於底層區塊鏈網絡的有效編譯器。 通過本系統,應科院可以建立一個金融平台,為香港中小企業高效準確地簽署和運行智能合約。 此外,DSL的抽象過程使簽署合同過程易於擴展到其他應用程序。 這為我們在更多市場(如中國內地)會帶來其他潛在的合作機會。