买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中山大学申请的专利一种智能合约反编译代码优化方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120029630B 。

龙图腾网通过国家知识产权局官网在2025-11-14发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510255846.8，技术领域涉及：G06F8/53；该发明授权一种智能合约反编译代码优化方法及系统是由郑子彬;任沛凡设计研发完成，并于2025-03-05向国家知识产权局提交的专利申请。

本一种智能合约反编译代码优化方法及系统在说明书摘要公布了：本发明公开了一种智能合约反编译代码优化方法及系统，用于解决现有的智能合约反编译代码优化方法无法提供更全面的优化方案的技术问题。方法包括获取待优化智能合约反编译代码，并基于待优化智能合约反编译代码，构建合约依赖图；对合约依赖图进行片段提取，生成变量方法代码上下文；基于合约依赖图，生成多个思维链提示；采用大型语言模型根据变量方法代码上下文、多个思维链提示、预置变量类型推理候选集和预置合约属性推理候选集对待优化智能合约反编译代码进行代码优化，输出中间智能合约反编译代码；采用预置程序分析验证技术根据待优化智能合约反编译代码对中间智能合约反编译代码进行一致性检查，确定目标智能合约反编译代码。

本发明授权一种智能合约反编译代码优化方法及系统在权利要求书中公布了：1.一种智能合约反编译代码优化方法，其特征在于，包括： 获取待优化智能合约反编译代码，并基于所述待优化智能合约反编译代码，构建合约依赖图； 对所述合约依赖图进行片段提取，生成变量方法代码上下文； 基于所述合约依赖图，生成多个思维链提示； 采用大型语言模型根据所述变量方法代码上下文、多个所述思维链提示、预置变量类型推理候选集和预置合约属性推理候选集对所述待优化智能合约反编译代码进行代码优化，输出中间智能合约反编译代码； 采用预置程序分析验证技术根据所述待优化智能合约反编译代码对所述中间智能合约反编译代码进行一致性检查，确定目标智能合约反编译代码； 所述变量方法代码上下文包括变量代码片段和方法代码片段；所述对所述合约依赖图进行片段提取，生成变量方法代码上下文，包括： 对所述合约依赖图进行代码切片，生成变量代码片段； 对所述合约依赖图进行调用链分析，生成方法代码片段； 所述采用大型语言模型根据所述变量方法代码上下文、多个所述思维链提示、预置变量类型推理候选集和预置合约属性推理候选集对所述待优化智能合约反编译代码进行代码优化，输出中间智能合约反编译代码，包括： 对所述变量代码片段和所述方法代码片段进行数据提取，输出所述变量代码片段对应的结构特征和语义信息、所述方法代码片段对应的结构特征和语义信息； 以所述变量代码片段对应的结构特征和语义信息、所述方法代码片段对应的结构特征和语义信息作为约束，采用所述预置变量类型推理候选集和所述预置合约属性推理候选集进行大型语言模型推理，生成代码优化建议； 采用多个所述思维链提示和所述代码优化建议对所述待优化智能合约反编译代码进行优化，输出中间智能合约反编译代码。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中山大学，其通讯地址为：510275 广东省广州市海珠区新港西路135号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。