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

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

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

刘扬 博士

鼎信创新科技有限公司 (赞助机构)
南华智能自动化有限公司 (赞助机构)
三湘集团有限公司 (赞助机构)


今天,智能合约由於使用通用编程语言,正面临攻击风险和受潜在逻辑错误的影响。 此外,当前的区块链的虚拟机编译效率不高,这也将限制智能合约的效率。 因此,本项目会利用提取的知识开发库构建一组特定域的编程语言(DSL),以便為各种金融应用量身定制高效安全的智能合约。本项目并且也会研究用於底层区块链网络的有效编译器。 通过本系统,应科院可以建立一个金融平台,為香港中小企业高效準确地签署和运行智能合约。 此外,DSL的抽象过程使签署合同过程易於扩展到其他应用程序。 这為我们在更多市场(如中国内地)会带来其他潜在的合作机会。