您所在的位置: 成果库 高效可信区块链智能合约管理及优化技术研究

高效可信区块链智能合约管理及优化技术研究

发布时间: 2025-08-26

基本信息

合作方式： 技术转让
成果类型： 发明专利
行业领域：
电子信息技术,计算机及网络技术
成果介绍
区块链是首都数字经济和智慧城市发展的重要技术支撑，而智能合约是区块链技术深入拓展和适应业务多样化需求的重要保证。智能合约面临着开发难、维护难和管理难的问题以及安全漏洞、资源消耗、运行效率的挑战。本项目重点研究高效可信的区块链智能合约管理及优化技术体系。
成果亮点
首先，依据逻辑与数据相分离的思想，提出智能合约逻辑部分的柔性管理机制，支持合约模块化设计以及可插拔、可重组、可升级属性，以及智能合约数据部分的标准化管理机制，支持类SQL合约数据的操作方式。同时，探索基于变色龙算法的可信合约更新机制，加强合约使用的稳定性和安全性；其次，研究基于需求规约、建模、验证、代码生成多层次的智能合约形式化验证方法，加强合约开发的安全性；再次，设计基于插桩技术的运行时动态监测分析优化机制，包括基于源码插桩的函数监测、基于编译插桩的多类型监测以及分析方法，适用不同的应用场景，实现智能合约运行时的细粒度、多维度的动态监测。这样，就可以从不同角度保证合约应用的正确、安全、高效运行。最终，形成一套完整的智能合约多环节的管理及优化解决方案。
团队介绍
北京航空航天大学（Beihang University），简称北航（BUAA），位于中国首都北京市，隶属于中华人民共和国工业和信息化部，中央直管高校，中国第一所航空航天高等学府，具有航空、航天和信息领域的发展比较优势。是国家重点建设的高校、全国第一批16所重点高校之一、211工程、985工程建设高校、国家“双一流”建设高校。
成果资料