2023年11月29日，项目南京大学团队李杉杉老师主持的“CCF-华为胡杨林基金-软件工程专项”项目课题“智能合约编程语言及其配套开发生态研究”完成了最后的汇报，标志着该项目课题成功结题。
该课题是从20 余所高校与研究机构的47 项课题申报中脱颖而出的获得立项资助的8 个项目之一，旨在提升智能合约语言的自主可控能力，力争在执行效率与安全性不低于现有主流智能合约的前提下，提高智能合约的研发效能。一方面，项目将研究并设计新型智能合约编程语言内部系统，包括一种自主可控的新型合约语言、配套的虚拟机系统以及智能合约可并行化方法；另一方面，项目将结合软件研发效能实验室在软件工程领域的技术积累进行深入研究，提供该语言配套的可定制化编程模型以及微服务化、开发运维一体化支持工具，以降低智能合约开发门槛并提高智能合约的开发效率。
课题成果为项目提供了面向易用性/安全性/可移植性进行新型智能合约语言的设计，并提供配套的代码资源、开发运维一体化的支持工具，是项目成功的重要技术保障。