[發(fā)明專利]去中心化環(huán)境下流水線計算的驗證方法和系統(tǒng)及介質(zhì)

在審

• 申請?zhí)枺?/td>: 202010640589.7
• 申請日: 2020-07-06
• 公開（公告）號: CN111857827A
• 公開（公告）日: 2020-10-30
• 發(fā)明（設(shè)計）人: 張?zhí)煸?/a>;李明煜;夏虞斌
• 申請（專利權(quán)）人: 上海交通大學(xué)
• 主分類號: G06F9/302
• 分類號: G06F9/302;G06F9/38;G06F9/50;G06F21/60;G06F21/64
• 代理公司: 上海漢聲知識產(chǎn)權(quán)代理有限公司 31236
• 代理人: 胡晶

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

執(zhí)行步驟：根據(jù)流水線各個階段執(zhí)行計算，得到流水線計算結(jié)果；

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

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

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

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

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

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

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

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

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

5.一種去中心化環(huán)境下流水線計算的驗證系統(tǒng)，其特征在于，包括：

執(zhí)行模塊：根據(jù)流水線各個階段執(zhí)行計算，得到流水線計算結(jié)果；

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

6.根據(jù)權(quán)利要求5所述的去中心化環(huán)境下流水線計算的驗證系統(tǒng)，其特征在于，所述執(zhí)行模塊包括：

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

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

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