買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監(jiān)控用IP管家,真方便！

龍圖騰網恭喜西安電子科技大學申請的專利基于動態(tài)交易信息的以太坊智能合約返回值未測驗證方法獲國家發(fā)明授權專利權，本發(fā)明授權專利權由國家知識產權局授予，授權公告號為：CN116318861B 。

龍圖騰網通過國家知識產權局官網在2025-05-16發(fā)布的發(fā)明授權授權公告中獲悉：該發(fā)明授權的專利申請?zhí)?專利號為：202310107069.3，技術領域涉及：H04L9/40；該發(fā)明授權基于動態(tài)交易信息的以太坊智能合約返回值未測驗證方法是由于斌;張鈺涵;劉屹;李昱霖;張詩雯;谷卓亞;陸旭;馬智;田聰設計研發(fā)完成，并于2023-02-13向國家知識產權局提交的專利申請。

本基于動態(tài)交易信息的以太坊智能合約返回值未測驗證方法在說明書摘要公布了：本發(fā)明公開了一種基于動態(tài)交易信息的以太坊智能合約返回值未測驗證方法，包括執(zhí)行基于以太坊2.0以上平臺的以太坊交易事務重放操作并記錄重放的交易事務的操作碼信息；提取操作碼信息的關鍵邏輯并進行交易執(zhí)行模擬過程，收集交易模擬后的數據信息；從數據信息中提取所需的關鍵操作碼信息，并將其轉化成可供邏輯關系檢測器識別的數據文件；基于Datalog構建邏輯關系檢測器，并利用構建的邏輯關系檢測器和其中預先制定的檢測規(guī)則及數據文件，檢測重放的事務是否存在返回值未檢測問題。本發(fā)明能充分簡化檢測規(guī)則的邏輯，擴大檢測范圍并提高檢測準確度，無需擔心狀態(tài)空間爆炸問題，且采用動態(tài)驗證方法能保證驗證的高效性與準確性。

本發(fā)明授權基于動態(tài)交易信息的以太坊智能合約返回值未測驗證方法在權利要求書中公布了：1.一種基于動態(tài)交易信息的以太坊智能合約返回值未測驗證方法，其特征在于，包括：執(zhí)行基于以太坊2.0以上平臺的以太坊交易事務重放操作并記錄重放的交易事務的操作碼信息；提取操作碼信息的關鍵邏輯并進行交易執(zhí)行模擬過程，收集交易模擬后的數據信息；從所述數據信息中提取所需的關鍵操作碼信息，并將其轉化成可供邏輯關系檢測器識別的數據文件；基于Datalog構建邏輯關系檢測器，并利用構建的邏輯關系檢測器和其中預先制定的檢測規(guī)則以及所述數據文件，檢測重放的事務是否存在返回值未檢測問題；其中，所述從所述數據信息中提取所需的關鍵操作碼信息，并將其轉化成可供邏輯關系檢測器識別的數據文件，包括：按照不同的信息類型，從所述數據信息中分別提取重放事務中所有關鍵操作碼的信息，得到各類型關鍵操作碼信息；其中，關鍵操作碼包括call、callcode、delegatecall和jumpi；將各類型關鍵操作碼信息分類存儲進數據文件；其中，所述利用構建的邏輯關系檢測器和其中預先制定的檢測規(guī)則以及所述數據文件，檢測重放的事務是否存在返回值未檢測問題，包括：根據所述檢測規(guī)則中參數的使用記錄要求，對所述數據文件中的call、callcode和delegatecall操作碼進行第一篩選，得到第一結果文件；利用所述第一結果文件，基于所述檢測規(guī)則中深度和操作碼定位值的要求，將call、callcode和delegatecall操作碼與jump操作碼進行匹配值判斷，得到表征匹配成功的存在返回值檢測的call、callcode和delegatecall操作碼的信息存入第二結果文件；將所述第一結果文件和所述第二結果文件進行匹配得到無jumpi匹配的call、callcode和delegatecall操作碼作為存在返回值未檢測的操作碼，并將這些操作碼調用的信息存入最終結果文件。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯(lián)系本專利的申請人或專利權人西安電子科技大學，其通訊地址為：710071 陜西省西安市太白南路2號；或者聯(lián)系龍圖騰網官方客服，聯(lián)系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。