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