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

龙图腾网获悉中国科学院合肥物质科学研究院;安徽中科晶格技术有限公司申请的专利基于大语言模型的智能合约漏洞检测与审计方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121302379B 。

龙图腾网通过国家知识产权局官网在2026-03-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511877081.8，技术领域涉及：G06F21/57；该发明授权基于大语言模型的智能合约漏洞检测与审计方法及系统是由李晓风;牛梓轩;赵赫;许金林;周桐;盛念祖设计研发完成，并于2025-12-12向国家知识产权局提交的专利申请。

本基于大语言模型的智能合约漏洞检测与审计方法及系统在说明书摘要公布了：本发明公开了基于大语言模型的智能合约漏洞检测与审计方法及系统，涉及智能合约漏洞检测技术领域，包括：接收智能合约源代码并分割成多个逻辑代码块；查询知识库管理模块获取危险操作定义集，并调用第一大语言模型对逻辑代码块进行第一语义验证，为逻辑代码块中被第一语义验证为执行了危险操作的代码行添加语义增强标注；查询知识库管理模块获取至少一个漏洞模式；对经过标注的逻辑代码块进行序列模式匹配，并在匹配成功后，调用第二大语言模型进行二次语义验证，将匹配成功的逻辑代码块中被第二语义验证为存在漏洞的代码行作为真实漏洞，据以生成结构化的审计报告；该方法显著提升了智能合约漏洞检测的精度、自动化水平与可解释性。

本发明授权基于大语言模型的智能合约漏洞检测与审计方法及系统在权利要求书中公布了：1.基于大语言模型的智能合约漏洞检测与审计方法，其特征在于，包括： 接收智能合约源代码并分割成多个逻辑代码块； 查询知识库管理模块获取危险操作定义集，并调用第一大语言模型对每个逻辑代码块进行第一语义验证，为每个逻辑代码块中被第一语义验证为执行了危险操作的代码行添加语义增强标注；所述危险操作定义集中的每个危险操作定义均包含危险操作名称和对应的语义描述； 查询知识库管理模块获取至少一个漏洞模式；对经过标注的逻辑代码块进行序列模式匹配，并在匹配成功后，调用第二大语言模型进行二次语义验证，将匹配成功的逻辑代码块中被第二语义验证为存在漏洞的代码行作为真实漏洞，据以生成结构化的审计报告；每个所述漏洞模式包括ID、由危险操作名称组成的序列、对漏洞攻击逻辑的自然语言描述以及上下文关键词； 其中，所述调用第一大语言模型对每个逻辑代码块进行第一语义验证，具体为： 对任一个逻辑代码块中的每一行代码，调用第一大语言模型作为第一语义验证引擎； 所述第一语义验证引擎通过执行第一判定函数对每一行代码执行第一语义验证； 当第个危险操作定义使得判定函数返回真值时，在对应代码前插入第个危险操作定义对应的危险操作名称； 其中，所述对经过标注的每个逻辑代码块进行序列模式匹配，具体为： 在智能合约范围内，检查已添加语义增强标注的逻辑代码块中是否包括与漏洞模式中由危险操作名称组成的序列相符的危险操作序列，所述危险操作序列为逻辑代码块中标注危险操作名称的行； 若有，则在对应行后标注匹配成功标签。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院合肥物质科学研究院;安徽中科晶格技术有限公司，其通讯地址为：230031 安徽省合肥市蜀山区蜀山湖路350号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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