[發(fā)明專利]一種基于區(qū)塊鏈的數(shù)據(jù)流通智能合約實現(xiàn)方法及系統(tǒng)

有效

• 申請?zhí)枺?/td>: 202110431330.6
• 申請日: 2021-04-21
• 公開（公告）號: CN113159769B
• 公開（公告）日: 2022-07-19
• 發(fā)明（設(shè)計）人: 王懷民;陳鵬;史佩昌;楊尚之;傅翔;鐘韜;李琳慧;相亮亮
• 申請（專利權(quán)）人: 中國人民解放軍國防科技大學(xué)
• 主分類號: G06Q20/38
• 分類號: G06Q20/38;G06Q20/40;G06Q30/02
• 代理公司: 湖南兆弘專利事務(wù)所(普通合伙) 43008
• 代理人: 譚武藝

1.一種基于區(qū)塊鏈的數(shù)據(jù)流通智能合約實現(xiàn)方法，其特征在于，包括：

1)數(shù)據(jù)市場為數(shù)據(jù)消費者DSC、數(shù)據(jù)提供者DSP之間針對目標(biāo)數(shù)據(jù)data的數(shù)據(jù)交易創(chuàng)建包含數(shù)據(jù)消費者DSC的消費側(cè)智能合約SC_c，數(shù)據(jù)提供者DSP的供給側(cè)智能合約SC_s的交易tx，并將消費側(cè)智能合約SC_c和供給側(cè)智能合約SC_s上鏈；數(shù)據(jù)市場通過TEE執(zhí)行環(huán)境向數(shù)據(jù)提供者DSP發(fā)送加密后的交易tx；

2)數(shù)據(jù)提供者DSP在本地生成重加密密鑰并上傳到數(shù)據(jù)市場；

3)數(shù)據(jù)市場根據(jù)重加密密鑰為目標(biāo)數(shù)據(jù)data對應(yīng)的加密數(shù)據(jù)Sdata生成重加密數(shù)據(jù)Sdata’，并向TEE執(zhí)行環(huán)境返回包含重加密數(shù)據(jù)Sdata’的存儲位置Url的數(shù)據(jù)返回消息；

4)TEE執(zhí)行環(huán)境收到數(shù)據(jù)返回消息后，根據(jù)重加密數(shù)據(jù)Sdata’的存儲位置Url獲取重加密數(shù)據(jù)Sdata’并將其解密為目標(biāo)數(shù)據(jù)data，向數(shù)據(jù)消費者DSC發(fā)送使用模型請求；

5)數(shù)據(jù)消費者DSC向TEE執(zhí)行環(huán)境返回加密后的使用模型code’；

6)TEE執(zhí)行環(huán)境將加密后的使用模型code’解密得到數(shù)據(jù)消費者DSC的使用模型code；將目標(biāo)數(shù)據(jù)data、使用模型code在內(nèi)部完成指定運算得到運算結(jié)果result，然后利用對稱加密算法產(chǎn)生的對稱密鑰K對運算結(jié)果result加密得到加密運算結(jié)果result’，將加密運算結(jié)果result’發(fā)送給數(shù)據(jù)消費者DSC并要求數(shù)據(jù)消費者DSC按照智能合約規(guī)定支付價值為p的報酬；

7)數(shù)據(jù)消費者DSC的消費側(cè)智能合約SC_c支付價值為p的報酬鎖定在TEE執(zhí)行環(huán)境中，向TEE執(zhí)行環(huán)境發(fā)送付款回復(fù)消息以請求運算結(jié)果result的解密密鑰；

8)TEE執(zhí)行環(huán)境確定收到價值為p的報酬，用數(shù)據(jù)消費者DSC的公鑰pk_c加密對稱密鑰K得到加密對稱密鑰K’，向數(shù)據(jù)消費者DSC發(fā)送帶有加密對稱密鑰K’的凍結(jié)報酬消息；

9)數(shù)據(jù)消費者DSC收到凍結(jié)報酬消息后，根據(jù)加密對稱密鑰K’解密得到對稱密鑰K，并采用對稱密鑰K對加密運算結(jié)果result’解密得到運算結(jié)果result；若運算結(jié)果result驗證通過，則向TEE執(zhí)行環(huán)境發(fā)送確認消息，并跳轉(zhuǎn)執(zhí)行下一步；否則，跳轉(zhuǎn)執(zhí)行步驟11)；

10)TEE執(zhí)行環(huán)境將凍結(jié)的價值為p的報酬發(fā)送給數(shù)據(jù)提供者DSP，并廣播解凍價值為p的報酬的消息，跳轉(zhuǎn)執(zhí)行12)；

11)向區(qū)塊鏈中的驗證者群體發(fā)起挑戰(zhàn)以實現(xiàn)對數(shù)據(jù)消費者DSC、數(shù)據(jù)提供者DSP之間的作惡方的判定及懲罰；

12)銷毀消費側(cè)智能合約SC_c和供給側(cè)智能合約SC_s；

步驟11)中向區(qū)塊鏈中的驗證者群體發(fā)起挑戰(zhàn)后，區(qū)塊鏈中的驗證者群體的執(zhí)行步驟包括：

11.1)從驗證者群體中隨機選擇k個驗證者，其中k滿足n/3k≤n/2，其中n為驗證者的總數(shù)，被選中的k個驗證者利用形式化驗證的方法驗證數(shù)據(jù)提供者DSP提供的數(shù)據(jù)是否滿足要求，如果超過個驗證者的驗證結(jié)果顯示數(shù)據(jù)提供者DSP提供的數(shù)據(jù)滿足要求，則跳轉(zhuǎn)執(zhí)行步驟11.2)；否則，跳轉(zhuǎn)執(zhí)行步驟11.3)；

11.2)判定數(shù)據(jù)消費者DSC為作惡方，將判斷結(jié)果發(fā)送給TEE執(zhí)行環(huán)境和數(shù)據(jù)市場；TEE執(zhí)行環(huán)境收到消息后將凍結(jié)的價值為p的報酬發(fā)送給數(shù)據(jù)提供者DSP，并廣播解凍價值為p的報酬的消息，數(shù)據(jù)市場收到消息后將扣除數(shù)據(jù)消費者DSC的保證金；跳轉(zhuǎn)執(zhí)行步驟11.4)；

11.3)判定數(shù)據(jù)提供者DSP為作惡方，將判斷結(jié)果發(fā)送給TEE執(zhí)行環(huán)境和數(shù)據(jù)市場；TEE執(zhí)行環(huán)境收到消息后將凍結(jié)的價值為p的報酬返還給數(shù)據(jù)消費者DSC，并廣播解凍價值為p的報酬的消息，數(shù)據(jù)市場收到消息后將扣除數(shù)據(jù)提供者DSP的保證金；跳轉(zhuǎn)執(zhí)行步驟11.4)；

11.4)將扣除的保證金分攤給隨機選擇的k個驗證者。