[發明專利]一種區塊鏈智能合約的仿真檢查方法及裝置在審
| 申請號： | 201910096086.5 | 申請日： | 2019-01-31 |
| 公開（公告）號： | CN109800174A | 公開（公告）日： | 2019-05-24 |
| 發明（設計）人： | 魏明;阮安邦;馬飛;胡志琳 | 申請（專利權）人： | 北京八分量信息科技有限公司 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 濟南信達專利事務所有限公司 37100 | 代理人： | 李世喆 |
| 地址： | 100080 北京市*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 智能 檢查規則 檢查 區塊 仿真檢查 載入 仿真運行 預先建立 | ||
本發明提供了一種區塊鏈智能合約的仿真檢查方法及裝置，該方法，包括：預先建立區塊鏈智能合約的檢查環境；在所述檢查環境中設置智能合約加載入口和檢查規則加載入口；通過所述檢查規則加載入口向所述檢查環境中加載檢查規則；通過所述智能合約加載入口向所述檢查環境中加載待檢查的智能合約；在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查。本發明提供了一種區塊鏈智能合約的仿真檢查方法及裝置，能夠更加高效的進行智能合約的檢查。
技術領域
本發明涉及區塊鏈技術領域，特別涉及一種區塊鏈智能合約的仿真檢查方法及裝置。
背景技術
智能合約是區塊鏈技術的一個重要環節，為了使得智能合約能夠在區塊鏈中高效運行，在使用智能合約之前需要對智能合約進行檢查。在現有技術中，對智能合約的檢查主要是通過人工的方式進行，檢查效率較低。
發明內容
本發明實施例提供了一種區塊鏈智能合約的仿真檢查方法及裝置，能夠更加高效的進行智能合約的檢查。
一方面，本發明實施例提供了一種區塊鏈智能合約的仿真檢查方法，包括：
預先建立區塊鏈智能合約的檢查環境；
在所述檢查環境中設置智能合約加載入口和檢查規則加載入口；
通過所述檢查規則加載入口向所述檢查環境中加載檢查規則；
通過所述智能合約加載入口向所述檢查環境中加載待檢查的智能合約；
在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查。
優選地，
該方法進一步包括：
根據區塊鏈智能合約的語法要求，生成語法檢查規則；
所述通過所述檢查規則加載入口向所述檢查環境中加載檢查規則，包括：
通過所述檢查規則加載入口向所述檢查環境中所述語法檢查規則；
所述在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查，包括：
在所述檢查環境中根據所述語法檢查規則和所述待檢查的智能合約進行仿真運行，利用所述語法檢查規則，判斷所述待檢查的智能合約是否智能合約的語法要求。
優選地，
該方法進一步包括：
根據針對區塊鏈智能合約的量化規定，生成量化檢查規則；
所述通過所述檢查規則加載入口向所述檢查環境中加載檢查規則，包括：
通過所述檢查規則加載入口向所述檢查環境中加載所述量化檢查規則；
所述在所述檢查環境中根據所述檢查規則和所述待檢查的智能合約進行仿真運行，利用所述檢查規則對所述待檢查的智能合約進行檢查，包括：
在所述檢查環境中根據所述量化檢查規則和所述待檢查的智能合約進行仿真運行，利用所述量化檢查規則，判斷所述待檢查的智能合約是否針對區塊鏈智能合約的量化規定。
優選地，
所述針對區塊鏈智能合約的量化規定，包括：針對區塊鏈智能合約的國家法律中的可量化內容、針對區塊鏈智能合約的行業法規中的可量化內容、針對區塊鏈智能合約的企業規定中的可量化內容。
優選地，
該方法進一步包括：
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京八分量信息科技有限公司，未經北京八分量信息科技有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201910096086.5/2.html，轉載請聲明來源鉆瓜專利網。
