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

龙图腾网恭喜西安电子科技大学申请的专利基于动态交易信息的以太坊智能合约返回值未测验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116318861B 。

龙图腾网通过国家知识产权局官网在2025-05-16发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310107069.3，技术领域涉及：H04L9/40；该发明授权基于动态交易信息的以太坊智能合约返回值未测验证方法是由于斌;张钰涵;刘屹;李昱霖;张诗雯;谷卓亚;陆旭;马智;田聪设计研发完成，并于2023-02-13向国家知识产权局提交的专利申请。

本基于动态交易信息的以太坊智能合约返回值未测验证方法在说明书摘要公布了：本发明公开了一种基于动态交易信息的以太坊智能合约返回值未测验证方法，包括执行基于以太坊2.0以上平台的以太坊交易事务重放操作并记录重放的交易事务的操作码信息；提取操作码信息的关键逻辑并进行交易执行模拟过程，收集交易模拟后的数据信息；从数据信息中提取所需的关键操作码信息，并将其转化成可供逻辑关系检测器识别的数据文件；基于Datalog构建逻辑关系检测器，并利用构建的逻辑关系检测器和其中预先制定的检测规则及数据文件，检测重放的事务是否存在返回值未检测问题。本发明能充分简化检测规则的逻辑，扩大检测范围并提高检测准确度，无需担心状态空间爆炸问题，且采用动态验证方法能保证验证的高效性与准确性。

本发明授权基于动态交易信息的以太坊智能合约返回值未测验证方法在权利要求书中公布了：1.一种基于动态交易信息的以太坊智能合约返回值未测验证方法，其特征在于，包括：执行基于以太坊2.0以上平台的以太坊交易事务重放操作并记录重放的交易事务的操作码信息；提取操作码信息的关键逻辑并进行交易执行模拟过程，收集交易模拟后的数据信息；从所述数据信息中提取所需的关键操作码信息，并将其转化成可供逻辑关系检测器识别的数据文件；基于Datalog构建逻辑关系检测器，并利用构建的逻辑关系检测器和其中预先制定的检测规则以及所述数据文件，检测重放的事务是否存在返回值未检测问题；其中，所述从所述数据信息中提取所需的关键操作码信息，并将其转化成可供逻辑关系检测器识别的数据文件，包括：按照不同的信息类型，从所述数据信息中分别提取重放事务中所有关键操作码的信息，得到各类型关键操作码信息；其中，关键操作码包括call、callcode、delegatecall和jumpi；将各类型关键操作码信息分类存储进数据文件；其中，所述利用构建的逻辑关系检测器和其中预先制定的检测规则以及所述数据文件，检测重放的事务是否存在返回值未检测问题，包括：根据所述检测规则中参数的使用记录要求，对所述数据文件中的call、callcode和delegatecall操作码进行第一筛选，得到第一结果文件；利用所述第一结果文件，基于所述检测规则中深度和操作码定位值的要求，将call、callcode和delegatecall操作码与jump操作码进行匹配值判断，得到表征匹配成功的存在返回值检测的call、callcode和delegatecall操作码的信息存入第二结果文件；将所述第一结果文件和所述第二结果文件进行匹配得到无jumpi匹配的call、callcode和delegatecall操作码作为存在返回值未检测的操作码，并将这些操作码调用的信息存入最终结果文件。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安电子科技大学，其通讯地址为：710071 陕西省西安市太白南路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。