江苏幺贰凌玖科技服务有限公司范义鹏获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉江苏幺贰凌玖科技服务有限公司申请的专利智能合约安全漏洞自动检测与防护预警方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120951341B 。
龙图腾网通过国家知识产权局官网在2025-12-30发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511486421.4，技术领域涉及：G06F21/57；该发明授权智能合约安全漏洞自动检测与防护预警方法及系统是由范义鹏;田甜;刘铭倩设计研发完成，并于2025-10-17向国家知识产权局提交的专利申请。
本智能合约安全漏洞自动检测与防护预警方法及系统在说明书摘要公布了：本发明提供智能合约安全漏洞自动检测与防护预警方法及系统，涉及漏洞检测技术领域，包括通过将智能合约代码转换为抽象语法树构建控制流图和数据流图，提取函数调用链等构建运行轨迹图，采用双重验证分析技术检测漏洞，生成风险评估报告，并基于零知识证明构建漏洞验证网络。本发明能显著提高智能合约漏洞检测准确率，实现智能合约安全风险的早期预警，保障区块链系统安全稳定运行。
本发明授权智能合约安全漏洞自动检测与防护预警方法及系统在权利要求书中公布了：1.智能合约安全漏洞自动检测与防护预警方法，其特征在于，包括： 接收待检测的智能合约代码，将所述智能合约代码转换为抽象语法树，基于所述抽象语法树构建智能合约的控制流图和数据流图； 基于所述控制流图和所述数据流图，提取所述智能合约代码中的函数调用链、变量访问序列和状态迁移路径，构建合约运行轨迹图； 对所述合约运行轨迹图进行双重验证分析，通过可满足性模型检验器对合约状态迁移进行正确性验证，获得状态迁移违规点，利用符号执行引擎对所述状态迁移违规点进行深入分析，通过模拟合约所有的执行路径，结合预先定义的形式化安全属性规则集，定位违反安全属性的具体代码片段束； 根据所述具体代码片段束及其对应的安全属性规则，生成智能合约的漏洞风险评估报告； 基于所述漏洞风险评估报告构建零知识证明的漏洞验证网络，所述漏洞验证网络中的每个节点接收智能合约的漏洞特征信息，通过同态加密技术对合约进行匿名化处理后进行安全性分析，生成零知识证明，并将所述零知识证明提交至分布式账本； 输出所述漏洞风险评估报告中的漏洞信息和所述分布式账本中记录的验证结果。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人江苏幺贰凌玖科技服务有限公司，其通讯地址为：226010 江苏省南通市崇川区崇州大道60号南通创新区紫琅科技城13-B号楼602室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励