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

龙图腾网获悉南京大学申请的专利一种以太坊智能合约字节码优化方法、装置、介质及设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118567653B 。

龙图腾网通过国家知识产权局官网在2025-09-26发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410651915.2，技术领域涉及：G06F8/41；该发明授权一种以太坊智能合约字节码优化方法、装置、介质及设备是由卜磊;朱梓源;朱倩;刘宇轩;李宣东设计研发完成，并于2024-05-24向国家知识产权局提交的专利申请。

本一种以太坊智能合约字节码优化方法、装置、介质及设备在说明书摘要公布了：本发明公开了一种以太坊智能合约字节码优化方法、装置、介质及设备。该方法通过首先从字节码指令集中找出函数及函数所包含的基本块，然后在函数体内找出其中表示源代码非循环连续性条件判断语句的连续性条件跳转的基本块及其跳转目标基本块，通过符号执行获得条件变量判定项和跳转目标基本块之间的约束关系，然后基于该约束关系对条件变量判定项排序，而后构建二元决策树并优化，最终根据优化的二元决策树重构字节码指令。本发明的优化方法在以太坊中大大减少资源消耗。

本发明授权一种以太坊智能合约字节码优化方法、装置、介质及设备在权利要求书中公布了：1.一种以太坊智能合约字节码优化方法，其特征在于，该方法包括如下步骤： 步骤S1：获取智能合约字节码指令集； 步骤S2：对所述智能合约字节码指令集进行基本块切分和基本块跳转分析，以确定基本块和基本块之间的跳转关系，并确定调度器基本块；然后根据函数入口跳转自调度器基本块以及出口跳转向调度器基本块确定函数和函数所包含的基本块； 步骤S3：根据基本块跳转关系所确定的控制流图和路径，对函数所包含的基本块进行控制流图的路径分析，找出其中表示源代码非循环连续性条件判断语句的连续性条件跳转的基本块及其跳转目标基本块组成的子控制流图，得到第一子图集合； 步骤S4：对第一子图集合中的子控制流图所对应的字节码指令进行符号化执行分析，通过符号化执行分析，得到子控制流图中条件变量计算的字节码指令，以及条件变量判定项和跳转目标基本块之间的约束关系；所述条件变量判定项或为布尔类型的条件变量，或为关于单个比较操作符的条件变量比较表达式； 步骤S5：根据子控制流图中的条件变量判定项和跳转目标基本块之间的约束关系，构建二元决策树；所述二元决策树由节点和表示节点父子关系的边组成树形数据结构；其中，节点包括带有两个子节点的枝干节点和不带有子节点的叶子节点；所构建的二元决策树的相同层次的枝干节点为所述子控制流图中同一条件变量判定项；所述枝干节点的两个子节点分别表示枝干节点对应的条件变量判定项分别为真或假的两种后续处理；所述叶子节点为所述子控制流图中跳转目标基本块； 步骤S6：循环遍历二元决策树中子节点包括有叶子节点的枝干节点，对所遍历的枝干节点做如下裁剪处理： 若该枝干节点的两个子节点指向同一个跳转目标基本块，则将该枝干节点父节点指向该枝干节点的边指向该跳转目标基本块； 若两个枝干节点同构，且为父节点的两个子节点，则将该枝干节点父节点的父节点指向该枝干节点父节点的边指向两个枝干节点之一； 所述两个枝干节点同构是指条件变量判定项为真时，两个枝干节点的子节点相同，并且条件变量判定项为假时，两个枝干节点的子节点相同； 步骤S7：根据条件变量计算的字节码指令和跳转目标基本块，为裁剪处理后的二元决策树中的枝干节点构建相应的跳转基本块，并重新调整跳转目标基本块的位置，以替换原子控制流图中的各个基本块。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京大学，其通讯地址为：210001 江苏省南京市鼓楼区汉口路22号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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