摘要：金融界 2025 年 1 月 31 日消息，国家知识产权局信息显示，中国电信股份有限公司申请一项名为“一种基于区块链的智能合约审计验证方法、系统及介质”的专利，公开号 CN 119377967 A，申请日期为 2024 年 10 月。

金融界 2025 年 1 月 31 日消息，国家知识产权局信息显示，中国电信股份有限公司申请一项名为“一种基于区块链的智能合约审计验证方法、系统及介质”的专利，公开号 CN 119377967 A，申请日期为 2024 年 10 月。

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

天眼查资料显示，中国电信股份有限公司，成立于2002年，位于北京市，是一家以从事电信、广播电视和卫星传输服务为主的企业。企业注册资本9150713.8699万人民币，实缴资本5737705.3317万人民币。通过天眼查大数据分析，中国电信股份有限公司共对外投资了87家企业，参与招投标项目5000次，知识产权方面有商标信息53条，专利信息5000条，此外企业还拥有行政许可65个。

本文源自金融界

来源：金融界