一種智能合約驗(yàn)證方法、計(jì)算機(jī)存儲(chǔ)介質(zhì)
基本信息
| 申請(qǐng)?zhí)?/td> | CN202011572924.0 | 申請(qǐng)日 | - |
| 公開（公告）號(hào) | CN112581140A | 公開（公告）日 | 2021-03-30 |
| 申請(qǐng)公布號(hào) | CN112581140A | 申請(qǐng)公布日 | 2021-03-30 |
| 分類號(hào) | G06Q20/40(2012.01)I;G06Q40/04(2012.01)I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 不公告發(fā)明人 | 申請(qǐng)（專利權(quán)）人 | 西安深信科創(chuàng)信息技術(shù)有限公司 |
| 代理機(jī)構(gòu) | 西安嘉思特知識(shí)產(chǎn)權(quán)代理事務(wù)所（普通合伙） | 代理人 | 王海棟 |
| 地址 | 710000陜西省西安市高新區(qū)魚化街辦軟件新城天谷八路156號(hào)云匯谷B2座11層 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開了一種智能合約驗(yàn)證方法、計(jì)算機(jī)存儲(chǔ)介質(zhì)，該智能合約驗(yàn)證方法包括：步驟1、根據(jù)智能合約得到控制流圖，所述控制流圖包括標(biāo)記有初始標(biāo)記的節(jié)點(diǎn)和若干所述節(jié)點(diǎn)之間的邊，且所述節(jié)點(diǎn)為含有斷言的節(jié)點(diǎn)時(shí)，所述節(jié)點(diǎn)還標(biāo)記有斷言，其中，所述節(jié)點(diǎn)包括非循環(huán)節(jié)點(diǎn)和循環(huán)節(jié)點(diǎn)；步驟2、基于預(yù)設(shè)順序，根據(jù)所述節(jié)點(diǎn)的類型得到每個(gè)所述節(jié)點(diǎn)的不變量；步驟3、根據(jù)所述節(jié)點(diǎn)的不變量的斷言隱含結(jié)果得到驗(yàn)證結(jié)果。本發(fā)明的驗(yàn)證方法可以驗(yàn)證智能合約的正確性。另外，本發(fā)明的驗(yàn)證方法對(duì)智能合約，適用面更廣。?? |
