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

龙图腾网获悉北京兰云科技有限公司;江苏大学申请的专利基于对比学习的智能合约安全分析方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121051763B 。

龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511598442.5，技术领域涉及：G06F21/57；该发明授权基于对比学习的智能合约安全分析方法及系统是由张天奇;易建超;朱会娟;李唱;周宏斌;张玉健;王良民设计研发完成，并于2025-11-04向国家知识产权局提交的专利申请。

本基于对比学习的智能合约安全分析方法及系统在说明书摘要公布了：本发明公开一种基于对比学习的智能合约安全分析方法及系统，通过等价语义合约转换操作对智能合约进行数据增强，生成多样的等价语义合约变体，再通过样本对的构造结合对比学习方法训练编码器获取良好的特征表征，通过语义等价转换器对合约进行三类语义等价操作，通过对构造好的正负样本对间相似度进行学习不断优化编码器，最终将得到的特征通过MLP生成智能合约的安全分析结果。本发明解决现实智能合约场景中语义等价合约获取成本高、验证困难且存在不确定性的问题。

本发明授权基于对比学习的智能合约安全分析方法及系统在权利要求书中公布了：1.一种基于对比学习的智能合约安全分析方法，其特征在于，包括以下步骤： 步骤1、对语义转换操作进行分析，构建语义等价合约转换器，所得语义等价合约转换器中包括三类语义等价操作，分别为重命名操作、等价交换操作和死代码操作； 步骤2、对步骤1所得语义等价合约转换器进行数据增强操作，将数据集中漏洞合约输入语义等价合约转换器，获取漏洞合约的语义等价变体，即增强后漏洞合约；数据增强的具体步骤为： 步骤2.1、初始化存储增强后漏洞合约集合POS，用于语义等价合约； 步骤2.2、创建等价合约转换器，初始化转换函数....以及初始化每个转换函数对应的概率....以及要生成变体的数量n； 其中，为任意一种语义等价操作对应的转换函数，则为对应的概率，； 步骤2.3、对于每一个转换函数，根据概率采样一个二项分布随机变量，如果=1，则进行转换函数对智能合约进行转换； 步骤2.4、在进行转换函数应用时，根据函数变换进行抽象语法树和源码的转换； 重复上述步骤2.1至步骤2.4，直到遍历所有转换函数，且生成的变体数为n； 最后，输出包含所有语义等价变体的集合POS，集合POS中包括所有增强后漏洞合约； 步骤3、构造样本对，即将漏洞合约和增强后漏洞合约构造为正样本对P-P’，将非漏洞合约和漏洞合约构造为负样本对P-N； 步骤4、合约样本进行词嵌入操作后，使用对比学习交叉熵损失来增大正样本间相关性，同时缩小正负样本间的相关性，进而训练优化Transformer模型编码器Encoder得到合约样本良好的表征； 步骤5、将所得合约样本良好的表征输入结构分类器以生成合约安全分析结果，此处分析结果包括有漏洞的合约和无漏洞的合约这两种分类结果，每个隐藏层均与ReLU激活函数相连；结构分类器通过多层感知机MLP实现。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京兰云科技有限公司;江苏大学，其通讯地址为：100085 北京市海淀区上地东路5号院4号楼3层308；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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