一种智能合约反编译代码优化方法及系统

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