武漢大學陳晶獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉武漢大學申請的專利基于大模型的智能合約龐氏騙局源代碼檢測方法及系統獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN119513865B 。
龍圖騰網通過國家知識產權局官網在2025-09-05發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202411420331.0,技術領域涉及:G06F21/56;該發明授權基于大模型的智能合約龐氏騙局源代碼檢測方法及系統是由陳晶;吳聰;王子為;熊翹楚;杜瑞穎設計研發完成,并于2024-10-12向國家知識產權局提交的專利申請。
本基于大模型的智能合約龐氏騙局源代碼檢測方法及系統在說明書摘要公布了:本發明公開了一種基于大模型的智能合約龐氏騙局源代碼檢測方法及系統,首先編譯合約獲取智能合約代碼的抽象語法樹;然后對抽象語法樹進行解析,生成合約代碼中間表示和包含合約結構化信息的合約對象;通過智能合約代碼的中間表示將智能合約建模為一個超結點圖,同時建立各結點與合約源代碼間的映射,并將發送給合約的資金以及發送者地址作為污點源,對合約進行靜態污點分析,跟蹤收入資金在合約中的流動;生成污點變量傳播圖;接著將超結點圖中的頂點分為了三個層次:合約、函數、表達式;根據智能合約超結點圖及其子圖,將涉及到污點變量傳播的函數結點對應的代碼切片;最后利用大模型進行龐氏合約檢測。本發明實現了快速準確的龐氏合約檢測。
本發明授權基于大模型的智能合約龐氏騙局源代碼檢測方法及系統在權利要求書中公布了:1.一種基于大模型的智能合約龐氏騙局源代碼檢測方法,其特征在于,包括以下步驟: 步驟1:編譯合約獲取智能合約代碼的抽象語法樹;然后對抽象語法樹進行解析,生成合約代碼中間表示和包含合約結構化信息的合約對象; 步驟2:通過智能合約代碼的中間表示將智能合約建模為一個超結點圖,并將發送給合約的資金以及發送者地址作為污點源,對合約進行靜態污點分析,跟蹤收入資金在合約中的流動;然后生成污點變量傳播圖; 所述將智能合約建模為一個超結點圖,為一個有向無權圖G,是圖標簽、頂點集合和邊集合的三元組;超結點圖通過允許圖的頂點集合中的結點為基本結點或超結點圖得到其遞歸定義; 步驟3:將超結點圖中的頂點分為了三個層次:合約、函數、表達式;然后利用污點分析的結果,構建與污點變量傳播相關函數結點子圖,將該圖中結點所對應的代碼切片,使得切片代碼包含了智能合約處理收入資金流的全部邏輯; 步驟4:利用大模型進行龐氏合約檢測; 首先將代碼片段和污點傳播圖組織為提示詞,通過大模型輸出對單個函數邏輯和合約整體邏輯的分析報告;然后將合約整體邏輯和龐氏騙局的定義組合為提示詞,通過大模型輸出檢測結果。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人武漢大學,其通訊地址為:430072 湖北省武漢市武昌區八一路299號;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。