基本信息:
- 专利标题： 一种基于区块链的智能合约审计验证方法、系统及介质
- 申请号：CN202411495822.1 申请日：2024-10-24
- 公开(公告)号：CN119377967B 公开(公告)日：2025-10-24
- 发明人： 刘子路 , 曾哲君 , 麦卓祺 , 黄旭斌 , 麦超
- 申请人： 中国电信股份有限公司
- 申请人地址： 北京市西城区金融大街31号
- 专利权人： 中国电信股份有限公司
- 当前专利权人： 中国电信股份有限公司
- 当前专利权人地址： 北京市西城区金融大街31号
- 代理机构： 广州嘉权专利商标事务所有限公司
- 代理人： 郑宏谋
- 主分类号： G06F21/57
- IPC分类号： G06F21/57 ; G06F11/3604 ; G06F11/3668
摘要：
本发明公开了一种基于区块链的智能合约审计验证方法、系统及介质，智能合约审计验证方法包括：获取待审计的智能合约；对智能合约的代码进行静态分析，并记录安全漏洞信息，根据安全漏洞信息执行第一安全措施；对智能合约的运行过程进行动态分析，并记录第一异常信息，根据第一异常信息执行第二安全措施；生成测试用例，根据测试用例对智能合约进行测试，并记录第二异常信息，根据第二异常信息执行第三安全措施；对智能合约的属性进行形式化验证，并记录性能数据，根据性能数据执行性能优化措施。本发明能够减少智能合约受攻击和滥用的情况发生，降低合约逻辑错误和安全隐患的发生概率，可广泛应用于区块链技术领域。
公开/授权文献:
- CN119377967A 一种基于区块链的智能合约审计验证方法、系统及介质 公开/授权日：2025-01-28
IPC结构图谱:
| G | 物理 |
| --G06 | 计算；推算；计数 |
| ----G06F | 电数字数据处理 |
| ------G06F21/00 | 防止未授权行为的保护计算机或计算机系统的安全装置 |
| --------G06F21/10 | .保护分布式程序或内容，例如版权资料的出售或许可 |
| ----------G06F21/57 | ..确保或维持可信任的计算机平台，例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞 |