[發明專利]去中心化環境下流水線計算的驗證方法和系統及介質

在審

• 申請號: 202010640589.7
• 申請日: 2020-07-06
• 公開（公告）號: CN111857827A
• 公開（公告）日: 2020-10-30
• 發明（設計）人: 張天詡;李明煜;夏虞斌
• 申請（專利權）人: 上海交通大學
• 主分類號: G06F9/302
• 分類號: G06F9/302;G06F9/38;G06F9/50;G06F21/60;G06F21/64
• 代理公司: 上海漢聲知識產權代理有限公司 31236
• 代理人: 胡晶

1.一種去中心化環境下流水線計算的驗證方法，其特征在于，包括：

執行步驟：根據流水線各個階段執行計算，得到流水線計算結果；

驗證步驟：驗證流水線計算結果的正確性。

2.根據權利要求1所述的去中心化環境下流水線計算的驗證方法，其特征在于，所述執行步驟包括：

第一階段執行步驟：由流水線第一階段計算機讀取輸入數據并根據流水線第一階段程序進行計算，得到第一階段計算結果，對輸入數據、流水線第一階段程序和第一階段計算結果生成第一證據，將第一階段計算結果和第一證據上傳至數據庫；

第二階段執行步驟：由流水線第二階段計算機從數據庫讀取第一階段計算結果和對應證據，將第一階段計算結果作為輸入，根據流水線第二階段程序進行計算，得到第二階段計算結果，對第一階段計算結果和第一證據、流水線第二階段程序、第二階段計算結果生成第二證據，將第二階段計算結果和第二證據上傳至數據庫。

3.根據權利要求2所述的去中心化環境下流水線計算的驗證方法，其特征在于，所述第二證據的生成是使用密碼散列函數對第一階段計算結果和第一證據、流水線第二階段程序、第二階段計算結果分別計算摘要，使用計算機的私鑰對摘要進行數字簽名，摘要和數字簽名一起構成第二證據。

4.根據權利要求1所述的去中心化環境下流水線計算的驗證方法，其特征在于，所述驗證步驟包括：

后一階段驗證步驟：根據流水線計算結果中的數字簽名驗證完成流水線計算結果中的最終結果計算的計算機是否是本網絡中的節點，根據流水線計算結果中的摘要驗證流水線計算結果中的最終結果有沒有被修改，同時驗證最終結果是否以流水線倒數第二階段計算結果作為輸入，由流水線最后階段程序計算得到；如果驗證未通過，說明流水線最后階段計算過程中出錯，最終結果不正確；

前一階段驗證步驟：驗證完成流水線倒數第二階段結果計算的計算機是否是本網絡中的節點，是否被修改，是不是以流水線倒數第三階段計算結果作為輸入，由流水線倒數第二階段程序計算得到；如果驗證未通過，說明流水線倒數第二階段計算過程中出錯，最終結果不正確。

第一階段驗證步驟：驗證完成流水線第一階段結果計算的計算機是否是本網絡中的節點，是否被修改，是否以原始輸入數據為輸入，由流水線第一階段程序計算得到；如果驗證未通過，說明流水線倒數第二階段計算過程中出錯，最終結果不正確；如果通過驗證，說明最終結果是由原始輸入數據經過流水線程序得到的。

5.一種去中心化環境下流水線計算的驗證系統，其特征在于，包括：

執行模塊：根據流水線各個階段執行計算，得到流水線計算結果；

驗證模塊：驗證流水線計算結果的正確性。

6.根據權利要求5所述的去中心化環境下流水線計算的驗證系統，其特征在于，所述執行模塊包括：

第一階段執行模塊：由流水線第一階段計算機讀取輸入數據并根據流水線第一階段程序進行計算，得到第一階段計算結果，對輸入數據、流水線第一階段程序和第一階段計算結果生成第一證據，將第一階段計算結果和第一證據上傳至數據庫；

第二階段執行模塊：由流水線第二階段計算機從數據庫讀取第一階段計算結果和對應證據，將第一階段計算結果作為輸入，根據流水線第二階段程序進行計算，得到第二階段計算結果，對第一階段計算結果和第一證據、流水線第二階段程序、第二階段計算結果生成第二證據，將第二階段計算結果和第二證據上傳至數據庫。

7.根據權利要求6所述的去中心化環境下流水線計算的驗證系統，其特征在于，所述第二證據的生成是使用密碼散列函數對第一階段計算結果和第一證據、流水線第二階段程序、第二階段計算結果分別計算摘要，使用計算機的私鑰對摘要進行數字簽名，摘要和數字簽名一起構成第二證據。