[發明專利]一種針對智能合約行為的監管方法

有效

• 申請號: 202010211697.2
• 申請日: 2020-03-24
• 公開（公告）號: CN111581047B
• 公開（公告）日: 2023-03-24
• 發明（設計）人: 張家碩;高健博;吳振豪;閆文添;任立峰;李青山;陳鐘
• 申請（專利權）人: 博雅正鏈（北京）科技有限公司;北京大學
• 主分類號: G06F11/30
• 分類號: G06F11/30;G06N5/04
• 代理公司: 沈陽東大知識產權代理有限公司 21109
• 代理人: 李珉

本發明提供一種針對智能合約行為的監管方法，涉及區塊鏈智能合約技術領域。該方法包括部署與執行兩個階段；部署階段將現實中的監管規則和代監管主體的狀態轉變為推理形式系統中的數字化監管規則，并存儲到數字化監管規則庫；在智能合約中，將每一類待監管主體的每一種待監管操作都與一個監管標識符綁定；并為每個監管標識符編寫監管腳本。執行階段獲取智能合約中的所有的監管標識符，得到代監管主體實例與行為實例；根據部署階段確定的監管標識符與規則集和事實集的綁定關系，將與監管標識符相關的規則與事實加載進監管引擎；監管引擎執行每一個監管標識符對應的監管腳本，并最終給出本次智能合約調用的監管結果，實現對智能合約行為的監管。

技術領域

本發明涉及區塊鏈智能合約技術領域，尤其涉及一種針對智能合約行為的監管方法。

背景技術

自區塊鏈技術作為數字貨幣的實現技術被提出后，因其去中心化、不可篡改、全局狀態等優良特性，逐步被應用于金融服務、公共服務等各個領域。伴隨著服務場景復雜化和服務靈活性的要求，越來越多的數字資產開始出現，智能合約中的邏輯也變得更加復雜。智能合約的執行過程中，數字資產的創造、流通、銷毀以及對賬本數據的修改等行為需要服從一系列特定場景下的監管規則，才能保證服務的安全性與合法性。對智能合約行為進行監管，在許多領域都有著極為重要的意義。例如，在金融領域，對于數字資產流通行為的監管將有助于進行事前反洗錢等監管措施，保證金融服務的合法性，在數據共享領域，通過監管對鏈上數據的讀寫操作，可以有效保障數據安全。

對智能合約行為進行監管，要將現實中制定的監管規則應用于監管智能合約的行為，需要建立數字化監管規則庫，并將監管模塊嵌入到區塊鏈智能合約模塊，最終完成鏈上、事前監管。智能合約的待監管主體即為鏈上賬戶的地址，待監管行為即為對于全局賬本的操作。目前最常見的支持加載數字規則并利用數字規則判斷主體行為合法性的編程語言是Datalog。它是一種基于推理的邏輯編程語言，支持基于事實和規則進行自動推理和遞歸查詢。通過使用Datalog語言，可以完成普通場景下基于簡單規則的邏輯推理和查詢任務。但在智能合約行為的監管領域，Datalog存在以下不足：(1)Datalog不能與智能合約進行交互，不能支持鏈上、事前、事中的自動化監管。(2)智能合約行為的監管規則是狀態相關的，其狀態受到主體歷史行為與當前狀態的影響，而Datalog難以支持狀態相關的動態規則。(3)Datalog不支持外掛數據庫并與數據庫進行交互，這使得Datalog難以支持大規模狀態與規則的查詢存儲和更新。

發明內容

本發明要解決的技術問題是針對上述現有技術的不足，提供一種針對智能合約行為的監管方法，以支持智能合約執行的自動合規和狀態依賴規則的變化，最終完成對智能合約行為的鏈上、事前、有狀態監管。

為解決上述技術問題，本發明所采取的技術方案是：一種針對智能合約行為的監管方法，包括部署與執行兩個階段；

所述部署階段包括以下步驟：

步驟1、將監管規則與主體狀態數字化為監管規則，并存儲到數字化監管規則庫；

將現實中的監管規則和代監管主體的狀態轉變為推理形式系統中的數字化監管規則，并存儲到數字化監管規則庫；

所述推理形式系統選取事實集與規則集R后，基于分離規則進行推理，通過計算推理待查詢內容Q是否為規則集R中內定理來判斷待查詢內容Q是否可以由當前事實集與規則集推出；如果待查詢內容Q可以由當前事實集與規則集推出，即在當前狀態下，待查詢內容Q為真；反之，如果待查詢內容Q不是規則集R中內定理，則在當前狀態下，不能判斷待查詢內容Q為真；所述推理形式系統由符號系統、基本語法項和語句構成；

所述推理形式系統的符號系統包括英文字符串，地址串，數字和輔助符號；所述輔助符號包括點號，問號，感嘆號，左箭頭，左右括號和數字運算符號；