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

有效

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

1.一種針對智能合約行為的監管方法，其特征在于：包括部署與執行兩個階段；

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

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

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

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

步驟2、在智能合約中，將每一類待監管主體的每一種待監管操作都與一個監管標識符綁定；并為每個智能合約監管標識符編寫監管腳本；

所述執行階段包括以下步驟：

步驟S1、讀取智能合約內容，獲取智能合約中的所有的監管標識符，分析出代監管主體類型與行為類型；并獲取本次調用中的上下文環境，分析出本次調用中的代監管主體實例與行為實例；

步驟S2、根據部署階段確定的監管標識符與規則集和事實集的綁定關系，將與監管標識符相關的規則與事實加載進監管引擎；

步驟S3、監管引擎執行每一個監管標識符對應的監管腳本；

步驟S4、監管引擎根據每一個監管標識符對應的監管腳本的查詢結果，返回該主體的行為是否合規，給出監管結果；

步驟S5、給出本次智能合約調用的監管結果；智能合約調用過程中，如果監管引擎在執行所有監管標識符對應的監管腳本都給出通過的結果，則判斷本次智能合約的調用過程順利完成，否則，則判斷本次智能合約的調用存在違規行為。

2.根據權利要求1所述的一種針對智能合約行為的監管方法，其特征在于：

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

所述推理形式系統的基本語法項包括元素和謂詞；所述元素包括變量與常量，其中常量由小寫字母開頭的英文字符串或數字組成，變量由大寫字母開頭的英文字符串表示，變量的含義是‘任意常量’；謂詞用于描述元素之間的關系，包括一個謂詞描述符，一對括號，一個或多個由逗號分隔的元素；所述謂詞描述符為英文字符串，表示元素的性質或關系；所述謂詞還支持帶有數學運算符號的形式；

所述推理形式系統包括事實和規則兩種語句類型：

事實：事實語句以英文點號結尾，語句中包含一個謂詞或者一個元素，將一個謂詞或一個元素聲明為一個已有事實，將這個謂詞或元素加入到現有事實集中，用來推導和產生更多的事實；

規則：規則是含有左箭頭(-)，并以英文點號結尾的語句，用以表示利用已有事實生成新事實的方法；規則以左箭頭為界分為前后兩個部分，前一部分為目標，后一部分為條件，目標是一個事實，條件則是由用逗號間隔的一個或多個事實構成。

3.根據權利要求1所述的一種針對智能合約行為的監管方法，其特征在于：所述數字化監管規則庫中存儲的全部都是事實語句與規則語句，用于表示某一地址對應的賬戶具有的狀態和特殊規則，維護所有的規則與事實，對外提供查詢接口，用戶通過查詢接口，獲取任何一個特定主體對應的狀態，以及任何一個監管標識符所綁定的監管規則集與狀態集。

4.根據權利要求1所述的一種針對智能合約行為的監管方法，其特征在于：所述監管腳本中的語句為規則、事實、外部調用或查詢語句；在一次智能合約的調用過程中，語言的解釋器將提取出智能合約中的監管標識符，分析其上下文環境，確定待監管的主體與行為，并通過監管引擎執行監管腳本，取得與該標識符綁定的規則集與狀態集，并給出判斷結果以完成監管功能。