[發明專利]區塊鏈背書驗證

有效

• 申請號: 202010010200.0
• 申請日: 2020-01-06
• 公開（公告）號: CN111414413B
• 公開（公告）日: 2023-09-29
• 發明（設計）人: 河原亮
• 申請（專利權）人: 國際商業機器公司
• 主分類號: G06F16/27
• 分類號: G06F16/27;H04L9/06;H04L67/1097
• 代理公司: 北京市中咨律師事務所 11247
• 代理人: 劉都;于靜

1.一種區塊鏈背書驗證方法，包括：

接收輸入，所述輸入包括背書策略、區塊鏈網絡的結構、以及針對要容忍的故障程度的要求；

將所接收的輸入變換為中間數據，所述中間數據包括代表所述區塊鏈網絡的節點的故障狀態的變量的標識符，以及所述背書策略和針對要容忍的故障程度的所述要求對所述節點的所述故障狀態的約束；

否定所述中間數據中所述約束的子集；

基于所有可能的故障狀態，確定遵循所述背書策略和針對所述故障程度的所述要求的區塊鏈是否具有區塊鏈固有特性，其中所述區塊鏈固有特性包括拜占庭容錯特性；以及

經由顯示屏顯示所述確定的結果。

2.根據權利要求1所述的方法，其中所述拜占庭容錯特性包括活性要求和安全性要求中的一個或多個。

3.根據權利要求1所述的方法，其中，所述變換包括：將所述區塊鏈網絡中的一組節點變換為描述相應節點的故障狀態的狀態變量。

4.根據權利要求3所述的方法，其中，所述變換包括：將所述背書策略變換為對所述狀態變量的一組約束。

5.根據權利要求4所述的方法，其中，所述變換包括：將所述背書策略變換為：(i)指示共識存在的約束；以及(ii)指示達成所述共識的值是否正確的約束。

6.根據權利要求3所述的方法，其中，所述變換包括：將針對要容忍的所述故障程度的所述要求變換為對所述狀態變量的約束。

7.根據權利要求1所述的方法，其中，所述確定經由對所述中間數據執行約束滿足問題CSP求解器來執行。

8.根據權利要求1所述的方法，還包括：輸出關于所述背書策略的通過/失敗消息。

9.根據權利要求8所述的方法，其中，所述輸出進一步包括：輸出指示節點故障如何不滿足所述區塊鏈的所述要求的反例。

10.一種計算系統，包括：

存儲裝置，其被配置為存儲輸入，所述輸入包括背書策略、區塊鏈網絡的結構、以及針對要容忍的故障程度的要求；以及

處理器，其被配置為實現權利要求1-9中的任一項的步驟。

11.一種非暫態計算機可讀介質，包括指令，所述指令在由處理器讀取時使所述處理器執行包括權利要求1-9中的任一項的步驟的方法。