[發明專利]一種為智能合同提供經證實、可審計和不可變輸入的方法和系統

有效

• 申請號: 201780081308.5
• 申請日: 2017-10-26
• 公開（公告）號: CN110121727B
• 公開（公告）日: 2023-08-04
• 發明（設計）人: S·C·戴維斯
• 申請（專利權）人: 萬事達卡國際公司
• 主分類號: G06Q20/06
• 分類號: G06Q20/06;G06Q20/36;G06Q20/38;G06F21/64
• 代理公司: 中國貿促會專利商標事務所有限公司 11038
• 代理人: 高欣

1.一種將能審計的不可變數據發布到區塊鏈的方法，包括：

通過處理服務器的接收設備，接收包括多個區塊的區塊鏈，每個區塊至少包括區塊頭部和一個或多個交易值，其中每個交易值至少包括交易散列；

通過處理服務器的接收設備，接收與包括在區塊鏈中的區塊之中的特定交易散列關聯的數據文件，其中所述數據文件包括一個或多個確定性交易輸入，其中所述一個或多個確定性交易輸入中的每一個確定性交易輸入與用于確定性地滿足對應的確定性交易輸入的一個或多個預定條件關聯；

響應于滿足所述一個或多個確定性交易輸入中的至少一個確定性交易輸入的一個或多個預定條件中的一個條件，通過處理服務器的數據修改模塊，修改包括在所述數據文件中的所述一個或多個確定性交易輸入中的對應的至少一個確定性交易輸入；

通過處理服務器的散列模塊，通過把一個或多個散列算法應用于所述數據文件中包括的所述一個或多個確定性交易輸入中的修改后的所述至少一個確定性交易輸入，生成新的散列值；

通過處理服務器的生成模塊，至少基于生成的新的散列值、所述特定交易散列以及與和區塊鏈關聯的可執行腳本關聯的引用標識符，生成新的交易值，其中所述新的交易值基于所述數據文件中包括的所述一個或多個確定性交易輸入中的修改后的所述至少一個確定性交易輸入，其中所述可執行腳本被配置成執行修改后的數據文件并輸出與生成的所述新的交易值匹配的確定性響應，用于驗證滿足所述一個或多個確定性交易輸入中的所述至少一個確定性交易輸入的一個或多個預定條件中的所述條件；

通過處理服務器的簽名模塊，對生成的新的交易值進行數字簽名；和

通過處理服務器的傳送設備，以電子方式傳送經簽名的新的交易值。

2.按照權利要求1所述的方法，其中生成新的交易值包括通過處理服務器的散列模塊，至少對生成的所述新的散列值和所述特定交易散列求散列。

3.按照權利要求1所述的方法，還包括：

把多個鍵-值對存儲在處理服務器的數據庫中，其中所述多個鍵-值對至少包括第一鍵-值對，所述第一鍵-值對包括作為鍵的所述特定交易散列和作為值的所接收的所述數據文件；和

通過處理服務器的查詢模塊，對數據庫進行查詢以插入新的鍵-值對，所述新的鍵-值對包括作為鍵的生成的所述新的散列值和作為值的所述修改后的數據文件。

4.一種審計和驗證發布到區塊鏈的確定性數據的方法，包括：

通過處理服務器的接收設備，接收包括多個區塊的區塊鏈，每個區塊至少包括區塊頭部和一個或多個交易值，其中每個區塊頭部至少包括時間戳，并且每個交易值至少包括交易散列；

通過處理服務器的查詢模塊，對區塊鏈執行第一查詢以識別第一交易值，其中第一交易值與可執行腳本關聯；

通過處理服務器的處理器，使用用于確定性地滿足與第一交易值關聯的一個或多個確定性交易輸入的多個預定輸入條件執行所述可執行腳本，以接收至少一個確定性響應；

通過處理服務器的散列模塊，至少基于所述多個預定輸入條件和所述至少一個確定性響應，生成散列值；

通過處理服務器的生成模塊，至少基于生成的散列值和包括在第一交易值中的交易散列，生成新的交易值；和

通過處理服務器的驗證模塊，驗證包括在區塊鏈中的區塊之中的第二交易值，第二交易值基于所述一個或多個確定性交易輸入中的基于滿足一個或多個關聯的預定輸入條件而修改的至少一個修改后的確定性交易輸入，其中驗證包括驗證第二交易值與生成的所述新的交易值是否相匹配。

5.按照權利要求4所述的方法，其中驗證第二交易值包括：

通過處理服務器的查詢模塊，對區塊鏈進行第二查詢以識別第二交易值；和

通過處理服務器的驗證模塊，驗證第二交易值與生成的所述新的交易值是否等同。

6.按照權利要求4所述的方法，其中驗證第二交易值包括：

通過處理服務器的查詢模塊，對區塊鏈進行第二查詢以識別第二交易值；和

通過處理服務器的驗證模塊，驗證用于對包括的交易散列進行數字簽名的數字簽名。