[發(fā)明專(zhuān)利]智能合約的重放舉證方法、系統(tǒng)、電子設(shè)備及存儲(chǔ)介質(zhì)

有效

• 申請(qǐng)?zhí)枺?/td>: 201911324280.0
• 申請(qǐng)日: 2019-12-17
• 公開(kāi)（公告）號(hào): CN110751486B
• 公開(kāi)（公告）日: 2020-05-01
• 發(fā)明（設(shè)計(jì)）人: 李春曉;徐京杭;陳勝
• 申請(qǐng)（專(zhuān)利權(quán)）人: 北京連琪科技有限公司
• 主分類(lèi)號(hào): G06Q20/38
• 分類(lèi)號(hào): G06Q20/38;G06Q40/04
• 代理公司: 北京天盾知識(shí)產(chǎn)權(quán)代理有限公司 11421
• 代理人: 張彩珍

本發(fā)明提供一種智能合約的重放舉證方法，該方法接收終端提交的簽名交易，簽名交易中包括數(shù)據(jù)項(xiàng)和由合約方法生成的人工可讀內(nèi)容；其中，數(shù)據(jù)項(xiàng)用于描述交易之間的關(guān)聯(lián)關(guān)系，人工可讀內(nèi)容用以描述所述合約方法的預(yù)期執(zhí)行結(jié)果；通過(guò)共識(shí)節(jié)點(diǎn)將所述簽名交易發(fā)送至合約容器，合約容器基于簽名交易執(zhí)行合約方法以獲得執(zhí)行結(jié)果及第一外部訪(fǎng)問(wèn)記錄數(shù)據(jù)；當(dāng)執(zhí)行結(jié)果與預(yù)期執(zhí)行結(jié)果不一致時(shí)，基于第一外部訪(fǎng)問(wèn)記錄數(shù)據(jù)并利用數(shù)據(jù)項(xiàng)導(dǎo)出關(guān)聯(lián)交易數(shù)據(jù)及第二外部訪(fǎng)問(wèn)記錄數(shù)據(jù)，以及利用相同的合約容器在重放模式下加載和執(zhí)行關(guān)聯(lián)交易數(shù)據(jù)。本發(fā)明僅用少量離線(xiàn)數(shù)據(jù)就可以實(shí)現(xiàn)正式執(zhí)行過(guò)程的重放并可舉證由于合約缺陷導(dǎo)致的非預(yù)期結(jié)果，從而對(duì)合約開(kāi)發(fā)者追責(zé)。

技術(shù)領(lǐng)域

本發(fā)明屬于區(qū)塊鏈技術(shù)領(lǐng)域,具體涉及一種智能合約的重放舉證方法、系統(tǒng)、電子設(shè)備及存儲(chǔ)介質(zhì)。

背景技術(shù)

合約安全是困擾現(xiàn)有區(qū)塊鏈系統(tǒng)的重要問(wèn)題，主要包括以下兩點(diǎn)安全威脅：

1.合約代碼存在漏洞，攻擊者利用漏洞使合約按非開(kāi)發(fā)者預(yù)期的方式執(zhí)行，造成合約參與者的資產(chǎn)被盜；

2.合約代碼對(duì)于合約參與者缺乏可讀性，合約的實(shí)際執(zhí)行邏輯與參與者理解的規(guī)則存在不一致，導(dǎo)致執(zhí)行結(jié)果非合約參與者預(yù)期。

現(xiàn)有技術(shù)中的舉證方法主要存在以下幾個(gè)技術(shù)問(wèn)題：

1.由于簽名交易中缺少對(duì)該行為預(yù)期結(jié)果的人工可讀內(nèi)容，無(wú)法判定合約參與者認(rèn)可的預(yù)期結(jié)果；

2.即使采用李嘉圖合約的思想，合約參與者閱讀人工可讀的預(yù)期結(jié)果后，將其附加到簽名內(nèi)容表明認(rèn)可以實(shí)現(xiàn)對(duì)合約參與者行為的舉證，由于對(duì)合約執(zhí)行的輸出結(jié)果缺少完整日志，難以判定合約實(shí)際執(zhí)行結(jié)果與預(yù)期結(jié)果是否一致，無(wú)法支持對(duì)合約代碼存在的問(wèn)題進(jìn)行舉證；

3.由于合約實(shí)例的關(guān)聯(lián)交易與非關(guān)聯(lián)交易混雜，即使記錄了合約執(zhí)行輸出的完整日志，也難以證明這些記錄確實(shí)是合約執(zhí)行過(guò)程中輸出的，而非偽造或篡改。

因此，針對(duì)上述3個(gè)技術(shù)問(wèn)題，目前亟需一種智能合約的重放舉證方法和系統(tǒng)，以在合約執(zhí)行過(guò)程中方便有效地進(jìn)行舉證。

發(fā)明內(nèi)容

本發(fā)明實(shí)施例提供一種智能合約的重放舉證方法、系統(tǒng)、電子設(shè)備及存儲(chǔ)介質(zhì)，以至少解決現(xiàn)有技術(shù)中的一個(gè)技術(shù)問(wèn)題。

第一方面，本發(fā)明實(shí)施例提供一種智能合約的重放舉證方法，包括以下步驟：

接收終端提交的簽名交易，所述簽名交易中包括數(shù)據(jù)項(xiàng)和由合約方法生成的人工可讀內(nèi)容；其中，所述數(shù)據(jù)項(xiàng)用于描述交易之間的關(guān)聯(lián)關(guān)系，所述人工可讀內(nèi)容用以描述所述合約方法的預(yù)期執(zhí)行結(jié)果；

通過(guò)共識(shí)節(jié)點(diǎn)將所述簽名交易發(fā)送至合約容器，合約容器基于所述簽名交易執(zhí)行合約方法以獲得執(zhí)行結(jié)果及第一外部訪(fǎng)問(wèn)記錄數(shù)據(jù);

當(dāng)執(zhí)行結(jié)果與預(yù)期執(zhí)行結(jié)果不一致時(shí)，基于所述第一外部訪(fǎng)問(wèn)記錄數(shù)據(jù)并利用所述數(shù)據(jù)項(xiàng)導(dǎo)出關(guān)聯(lián)交易數(shù)據(jù)及第二外部訪(fǎng)問(wèn)記錄數(shù)據(jù)，以及利用相同的合約容器在重放模式下加載和執(zhí)行所述關(guān)聯(lián)交易數(shù)據(jù)。

第二方面，本發(fā)明實(shí)施例提供一種智能合約的重放舉證系統(tǒng)，該重放舉證系統(tǒng)接收模塊執(zhí)行模塊和導(dǎo)出模塊；其中，所述執(zhí)行模塊包括合約容器；

所述接收模塊在線(xiàn)接收終端提交的簽名交易，所述簽名交易中包括數(shù)據(jù)項(xiàng)和由合約方法生成的人工可讀內(nèi)容；其中，所述數(shù)據(jù)項(xiàng)用于描述交易之間的關(guān)聯(lián)關(guān)系，所述人工可讀內(nèi)容用以描述所述合約方法的預(yù)期執(zhí)行結(jié)果；

所述接收模塊用于通過(guò)共識(shí)節(jié)點(diǎn)將所述簽名交易發(fā)送至執(zhí)行模塊，執(zhí)行模塊調(diào)用所述合約容器，合約容器基于所述簽名交易執(zhí)行合約方法以獲得執(zhí)行結(jié)果及第一外部訪(fǎng)問(wèn)記錄數(shù)據(jù);

當(dāng)執(zhí)行結(jié)果與預(yù)期執(zhí)行結(jié)果不一致時(shí)，所述導(dǎo)出模塊基于所述第一外部訪(fǎng)問(wèn)記錄數(shù)據(jù)并利用所述數(shù)據(jù)項(xiàng)導(dǎo)出關(guān)聯(lián)交易數(shù)據(jù)及第二外部訪(fǎng)問(wèn)記錄數(shù)據(jù)；