一種基于形式化驗(yàn)證的智能合約功能驗(yàn)證方法及裝置

基本信息

申請(qǐng)?zhí)?/td> CN202111067016.0 申請(qǐng)日 -
公開(kāi)（公告）號(hào) CN113778880A 公開(kāi)（公告）日 2021-12-10
申請(qǐng)公布號(hào) CN113778880A 申請(qǐng)公布日 2021-12-10
分類(lèi)號(hào) G06F11/36（2006.01）I;G06F8/41（2018.01）I 分類(lèi) 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 汪德嘉;劉春鳴;宋超 申請(qǐng)（專(zhuān)利權(quán)）人 江蘇通付盾區(qū)塊鏈科技有限公司
代理機(jī)構(gòu) 北京弘權(quán)知識(shí)產(chǎn)權(quán)代理有限公司 代理人 逯長(zhǎng)明;許偉群
地址 210018江蘇省南京市江北新區(qū)江淼路88號(hào)騰飛大廈B座23樓
法律狀態(tài) -

摘要

摘要 本申請(qǐng)?zhí)峁┝艘环N基于形式化驗(yàn)證的智能合約功能驗(yàn)證方法及裝置，所述方法包括以下步驟：獲取待驗(yàn)證的智能合約數(shù)據(jù)，對(duì)所述智能合約數(shù)據(jù)進(jìn)行編譯，判斷編譯是否通過(guò)，若編譯通過(guò)，將所述智能合約數(shù)據(jù)轉(zhuǎn)化為中間語(yǔ)言，根據(jù)所述中間語(yǔ)言，通過(guò)規(guī)則庫(kù)生成測(cè)試用例，根據(jù)所述測(cè)試用例驗(yàn)證智能合約數(shù)據(jù)，得到驗(yàn)證結(jié)果。本申請(qǐng)通過(guò)依據(jù)solidity的行為將其抽象為模型可識(shí)別的中間驗(yàn)證語(yǔ)言，方便模型生成測(cè)試用例。根據(jù)測(cè)試用例對(duì)智能合約內(nèi)的功能進(jìn)行快速驗(yàn)證，解決了現(xiàn)有智能合約驗(yàn)證方法審計(jì)時(shí)間長(zhǎng)、審計(jì)效率低的問(wèn)題。