厦门慢雾科技申请智能合约模糊测试专利，提高智能合约中漏洞自动检测的效率和有效性

金融界2025年4月24日消息，国家知识产权局信息显示，厦门慢雾科技有限公司申请一项名为“一种基于人工智能的智能合约模糊测试方法”的专利，公开号CN119807072A，申请日期为2025年1月。

专利摘要显示，本申请公开了一种基于人工智能的智能合约模糊测试方法，属于区块链技术领域，其技术方案要点以下步骤，将模糊测试作为马尔可夫决策过程MDP来定义状态、动作和奖励函数；通过模仿符号执行专家来学习模糊测试策略，模仿符号执行专家基于专家的状态和奖励，学习训练一个神经网络来模仿专家的行为；用神经网络NN架构来表示学习到的模糊测试策略，神经网络NN架构模拟了生成智能合约输入序列的模糊测试策略，并使用门控循环单元GRU来跟踪序列历史并生成新的输入序列；实现端到端系统，端到端系统支持针对智能合约的语义特征表示、智能合约的实用符号执行和一组关键漏洞检测器，本申请具有提高智能合约中漏洞自动检测的效率和有效性的效果。

天眼查资料显示，厦门慢雾科技有限公司，成立于2018年，位于厦门市，是一家以从事科技推广和应用服务业为主的企业。企业注册资本1000万人民币。通过天眼查大数据分析，厦门慢雾科技有限公司共对外投资了2家企业，参与招投标项目4次，财产线索方面有商标信息199条，专利信息26条，此外企业还拥有行政许可9个。

本文源自：金融界

作者：情报员