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

龙图腾网获悉中国电信股份有限公司申请的专利一种基于区块链的智能合约审计验证方法、系统及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119377967B 。

龙图腾网通过国家知识产权局官网在2025-10-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411495822.1，技术领域涉及：G06F21/57；该发明授权一种基于区块链的智能合约审计验证方法、系统及介质是由刘子路;曾哲君;麦卓祺;黄旭斌;麦超设计研发完成，并于2024-10-24向国家知识产权局提交的专利申请。

本一种基于区块链的智能合约审计验证方法、系统及介质在说明书摘要公布了：本发明公开了一种基于区块链的智能合约审计验证方法、系统及介质，智能合约审计验证方法包括：获取待审计的智能合约；对智能合约的代码进行静态分析，并记录安全漏洞信息，根据安全漏洞信息执行第一安全措施；对智能合约的运行过程进行动态分析，并记录第一异常信息，根据第一异常信息执行第二安全措施；生成测试用例，根据测试用例对智能合约进行测试，并记录第二异常信息，根据第二异常信息执行第三安全措施；对智能合约的属性进行形式化验证，并记录性能数据，根据性能数据执行性能优化措施。本发明能够减少智能合约受攻击和滥用的情况发生，降低合约逻辑错误和安全隐患的发生概率，可广泛应用于区块链技术领域。

本发明授权一种基于区块链的智能合约审计验证方法、系统及介质在权利要求书中公布了：1.一种基于区块链的智能合约审计验证方法，其特征在于，包括以下步骤： 获取待审计的智能合约； 对所述智能合约的代码进行静态分析，并记录安全漏洞信息，根据所述安全漏洞信息执行第一安全措施； 对所述智能合约的运行过程进行动态分析，并记录第一异常信息，根据所述第一异常信息执行第二安全措施； 生成测试用例，根据所述测试用例对所述智能合约进行测试，并记录第二异常信息，根据所述第二异常信息执行第三安全措施； 对所述智能合约的属性进行形式化验证，并记录性能数据，根据所述性能数据执行性能优化措施； 所述对所述智能合约的代码进行静态分析，并记录安全漏洞信息，根据所述安全漏洞信息执行第一安全措施，具体包括： 设定安全漏洞检测阈值，所述安全漏洞检测阈值至少包括复杂度阈值或模式出现阈值中的一个或组合； 计算所述代码的复杂度，并统计预设模式的出现次数； 根据所述复杂度阈值、所述复杂度、所述模式出现阈值以及所述出现次数，得到所述安全漏洞信息； 根据所述安全漏洞信息触发安全漏洞警报，并生成代码修改建议，以通知管理员或开发人员根据所述代码修改建议对所述代码进行审查； 所述对所述智能合约的运行过程进行动态分析，并记录第一异常信息，根据所述第一异常信息执行第二安全措施，具体包括： 设定异常情况阈值，所述异常情况阈值至少包括交易失败率阈值或异常日志数量阈值中的一个或组合； 在所述智能合约的运行过程中，获取所述智能合约的交易状态，并统计异常日志数量； 根据所述交易失败率阈值、所述交易状态、所述异常日志数量阈值以及所述异常日志数量，得到所述第一异常信息； 根据所述第一异常信息触发第一异常警报，并生成问题修复建议，以通知管理员根据所述问题修复建议对所述智能合约进行审查； 所述根据所述测试用例对所述智能合约进行测试，并记录第二异常信息，根据所述第二异常信息执行第三安全措施，具体包括： 设定测试阈值； 通过所述测试用例对所述智能合约进行测试，得到当前测试值； 当所述当前测试值大于所述测试阈值，生成所述第二异常信息； 根据所述第二异常信息触发第二异常警报，以通知管理员停止执行所述智能合约或实行风险缓解措施。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国电信股份有限公司，其通讯地址为：100033 北京市西城区金融大街31号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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