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

龙图腾网获悉华中科技大学申请的专利一种基于动态插桩的智能合约Temporal Property监控方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119293793B 。

龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411302020.4，技术领域涉及：G06F21/57；该发明授权一种基于动态插桩的智能合约Temporal Property监控方法及系统是由王浩宇;李杰峰;董枫;王美珍设计研发完成，并于2024-09-18向国家知识产权局提交的专利申请。

本一种基于动态插桩的智能合约Temporal Property监控方法及系统在说明书摘要公布了：本发明提供一种基于动态插桩的智能合约TemporalProperty监控方法及系统，包括以下内容：设计针对智能合约的temporalpropertyspecification语言、优化的LTL转换算法、实现对specification中出现变量的动态监测，该方法在以太坊虚拟机EVM层面实现VectorClock机制和资源状态跟踪，并提供多层Mapping追溯的SHA3指令缓存与Slot逆向分析系统。本发明在以太坊虚拟机EVM层面实现VectorClock机制和资源状态跟踪，通过结合智能合约特性的specification设计、高效的LTL转换以及精确的变量监测，实现了对智能合约temporalproperty的全面且高效的监控。能够高效、准确且对现有合约代码无侵入的安全检测。

本发明授权一种基于动态插桩的智能合约Temporal Property监控方法及系统在权利要求书中公布了：1.一种基于动态插桩的智能合约TemporalProperty监控方法，其特征在于，该监控方法包括如下步骤： S1、用户输入：通过图形界面或命令行接口，用户输入TPSL规范和待验证的智能合约，所述TPSL为针对智能合约设计的TemporalPropertySpecification语言，对TPSL规范进行预处理； S2、预处理后的TPSL规范将specification转换为线性时序逻辑，并生成高效可执行的监控逻辑； S3-1、以太坊虚拟机修改：修改以太坊虚拟机以捕获和记录SHA3指令的输入和输出； S3-2、SHA3指令缓存：实现多层缓存机制，存储SHA3指令的输入输出关系； S3-3、Slot分析：解析存储槽的读写操作，追踪mapping的更新； S3-4、递归追踪：实现对多层嵌套mapping的递归追踪； S3-5、状态视图构建：基于收集的信息，构建并维护mapping的全局结构视图； S4-1、代码插桩：对智能合约源码或字节码进行分析，在关键点插入监控逻辑； S4-2、运行时监视器：在合约执行过程中收集状态变量的变化信息； S4-3、状态重建：根据收集到的信息，动态重建合约的完整状态； S4-4、属性验证：利用重建的状态信息，验证预定义的temporalproperties； S5、结果分析：收集和分析验证结果，生成详细的报告； S6、反馈：向用户展示验证结果，包括是否违反了指定的temporalproperties。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华中科技大学，其通讯地址为：430074 湖北省武汉市洪山区珞喻路1037号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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