一種基于區(qū)塊鏈的智能合約的實(shí)現(xiàn)方法
【專利摘要】本發(fā)明提供了一種智能合約的實(shí)現(xiàn)方法，包括步驟：建立智能合約，其中，合約C為三元組：C＝(I,M*,{M1,M2,…,Mm})，包括：合約方信息I，Ii表示第i個(gè)合約方Pi的信息，i＝1…m，共有m個(gè)合約方參與合約；合約狀態(tài)機(jī)M*與合約執(zhí)行狀態(tài)機(jī)集合{M1,M2,…,Mm}；輸入各個(gè)合約方的狀態(tài)及事件,并存儲(chǔ)在安全度高的數(shù)據(jù)庫(kù)中；執(zhí)行智能合約，獲取合約的執(zhí)行結(jié)果。并且還提供了一種基于區(qū)塊鏈的智能合約系統(tǒng)，包括：用戶界面、智能合約裝置及區(qū)塊鏈管理模塊。
【專利說(shuō)明】
一種基于區(qū)塊鏈的智能合約的實(shí)現(xiàn)方法
技術(shù)領(lǐng)域
[0001] 本發(fā)明涉及智能合約技術(shù)領(lǐng)域，特別是涉及到智能合約執(zhí)行模型的設(shè)計(jì)。本發(fā)明 不僅解決了智能合約執(zhí)行模型的設(shè)計(jì)問(wèn)題，還提供了一種基于區(qū)塊鏈的智能合約系統(tǒng)，使 得智能合約的存儲(chǔ)與執(zhí)行具有公信力，安全性更高。
【背景技術(shù)】
[0002] 合約指兩方面或幾方面在辦理某事時(shí)，為了確定各自的權(quán)利和義務(wù)而訂立的共同 遵守的條文。傳統(tǒng)的合約都是先經(jīng)過(guò)"桌面會(huì)議"討論得到一致后，記錄在紙張上。經(jīng)過(guò)了這 么多年的發(fā)展，"合約"已經(jīng)形成了自身的概念與原則。
[0003] 在傳統(tǒng)合約中，人們先通過(guò)面談的形式制定合約并達(dá)成一致，把合約記錄在紙張 上，合約雙方在紙上簽字;合約的執(zhí)行過(guò)程由很多的控制協(xié)議構(gòu)成，控制協(xié)議包括兩個(gè)部 分:表格、賬單等記錄的保存，還有記錄的審核與協(xié)商，記錄的審核與協(xié)商往往需要第三方 參與，容易造成合約方之間的地位不平等;合約的執(zhí)行效能只能通過(guò)法律、武力來(lái)保證。這 些控制協(xié)議都是經(jīng)過(guò)多年的沉淀積累下來(lái)的。雖然控制協(xié)議的成本很高，但它是我們?cè)诓?信任的環(huán)境中保持協(xié)作的根本保證。合約的執(zhí)行過(guò)程中，記錄的審核不僅花費(fèi)很高，而且依 靠低效率的人工完成，所以人們往往通過(guò)抽樣審核來(lái)縮減成本的。
[0004] 我們已經(jīng)進(jìn)入了數(shù)字社會(huì)的時(shí)代，應(yīng)該通過(guò)計(jì)算機(jī)、互聯(lián)網(wǎng)、密碼理論等技術(shù)的引 入，來(lái)減少了交易在合約制定、控制協(xié)議和執(zhí)行效能保障的人工花費(fèi)與計(jì)算成本。1997年， Ni ck Szabo引入"智能合約"的概念:智能合約把合約條款嵌入到軟、硬件中，通過(guò)協(xié)議與用 戶接口來(lái)促進(jìn)合約的執(zhí)行，它是我們?cè)诨ヂ?lián)網(wǎng)中形成安全、數(shù)字化關(guān)系的關(guān)鍵。他在 "Formalizing and Securing Relationships on Public Networks" 中提出 了智會(huì)泛合約的 三大重要的性質(zhì):可觀察性、可驗(yàn)證性與接入控制?？捎^察性指合約本身與合約執(zhí)行過(guò)程能 夠被觀察;可驗(yàn)證性指合約執(zhí)行的過(guò)程與判決都能夠被驗(yàn)證;接入控制是指合約本身及與 合約相關(guān)的信息只有相關(guān)的合約方才能夠接觸，當(dāng)發(fā)生沖突的時(shí)候才會(huì)把相關(guān)信息暴露給 第三方審查。
[0005] 通過(guò)把智能合約與傳統(tǒng)合約比較，可以看到智能合約的優(yōu)勢(shì):首先，傳統(tǒng)合約需要 通過(guò)"桌面協(xié)議"的形式協(xié)商與撰寫，智能合約可以通過(guò)互聯(lián)網(wǎng)與數(shù)字簽名技術(shù)就可以形成 有合約方認(rèn)證簽名的智能合約；與此同時(shí)，傳統(tǒng)合約的執(zhí)行過(guò)程由很多的控制協(xié)議構(gòu)成，控 制協(xié)議包括兩個(gè)部分:表格、賬單等記錄的保存，還有記錄的審核與協(xié)商，記錄的審核與協(xié) 商往往需要第三方參與，這樣不僅容易造成合約方之間的地位不平等，而且需要花費(fèi)第三 方的費(fèi)用，智能合約通過(guò)密碼協(xié)議與用戶界面的結(jié)合保證合約的本身及其執(zhí)行過(guò)程的可觀 察性、可驗(yàn)證性，減少了控制協(xié)議的人工花費(fèi)與計(jì)算成本。
[0006] 因此，智能合約不僅比傳統(tǒng)"紙質(zhì)"合約具有更大功能、生命力更強(qiáng)，它還減少了交 易在合約制定、控制協(xié)議和執(zhí)行效能保障的人工花費(fèi)與計(jì)算成本。同時(shí)，它還是形成"數(shù)字 社會(huì)"主力軍，起著不可缺少的重要作用。由此看來(lái)，智能合約的發(fā)展?jié)摿κ蔷薮蟮摹?br>[0007]由于技術(shù)的不成熟，所以智能合約的發(fā)展一直十分緩慢，直到2013年，Ethereum提 出了帶有內(nèi)置圖靈完備編程語(yǔ)言的區(qū)塊鏈，智能合約能夠在區(qū)塊鏈上實(shí)現(xiàn)，使得智能合約 的研究又進(jìn)入了一個(gè)新的階段。
[0008] 區(qū)塊鏈?zhǔn)且粋€(gè)可驗(yàn)證的、不可更改的復(fù)制型分布式數(shù)據(jù)庫(kù)。區(qū)塊鏈有兩個(gè)重要的 組成部分:交易和區(qū)塊。其中，交易不僅記錄了改變數(shù)據(jù)庫(kù)狀態(tài)的操作，還是對(duì)數(shù)據(jù)庫(kù)使用 權(quán)限的載體；區(qū)塊，它是對(duì)交易驗(yàn)證時(shí)間與順序的記錄。區(qū)塊鏈記錄了所有的交易，保證區(qū) 塊鏈的可驗(yàn)證性。交易、區(qū)塊的正確性主要在于系統(tǒng)對(duì)標(biāo)準(zhǔn)的制定，交易的有效性判斷標(biāo)準(zhǔn) 在于實(shí)際的需要；由于區(qū)塊鏈?zhǔn)菑?fù)制型數(shù)據(jù)庫(kù)，所以區(qū)塊的有效性判斷決定了區(qū)塊鏈的不 可更改性與一致性、系統(tǒng)的安全性。同時(shí)，帶有內(nèi)置圖靈完備編程語(yǔ)言的區(qū)塊鏈可以自動(dòng)執(zhí) 行保存在區(qū)塊鏈中的規(guī)則，所以智能合約能夠用區(qū)塊鏈實(shí)現(xiàn)。
[0009] Ethereum提供了一個(gè)帶有內(nèi)置圖靈完備編程語(yǔ)言的區(qū)塊鏈平臺(tái)，任何人都可以在 它上面制定自己的規(guī)則、交易格式和狀態(tài)轉(zhuǎn)換函數(shù)，來(lái)創(chuàng)建自己的智能合約、分布式應(yīng)用。 但Ethereum只提供了實(shí)現(xiàn)智能合約的底層設(shè)施，并不是完整的智能合約系統(tǒng)，從合約的建 立到合約的執(zhí)行，到合約的審計(jì)都沒(méi)有相關(guān)實(shí)現(xiàn)。
【發(fā)明內(nèi)容】
[0010] 有鑒于此，本發(fā)明設(shè)計(jì)了一種基于區(qū)塊鏈的智能合約實(shí)現(xiàn)方法系統(tǒng)。
[0011] -種智能合約的實(shí)現(xiàn)方法，其特征在于，包括步驟：
[0012] 建立智能合約，其中，合約C為三元組:0=(1^'{111，2，'"，"})，包括:合約方信 息I，Ii表示第i個(gè)合約方Pi的信息，i = 1 ???!!!，共有m個(gè)合約方參與合約;合約狀態(tài)機(jī)]\f與合約 執(zhí)行狀態(tài)機(jī)集合…，Mm};把合約C存放入安全度高的數(shù)據(jù)庫(kù)中；
[0013] 輸入各個(gè)合約方的狀態(tài)及事件，并把所述狀態(tài)及事件作為證據(jù)記錄在安全度高的 數(shù)據(jù)庫(kù)中；
[0014] 根據(jù)建立好的合約C與各個(gè)合約方輸入的事件來(lái)執(zhí)行智能合約，獲取合約的執(zhí)行 結(jié)果。
[0015]優(yōu)選的，合約狀態(tài)機(jī)M*為五元組((^^^'^，^，(^{((^，(^，…，(^，⑶^是合 約狀態(tài)機(jī)所有狀態(tài)的集合;L是合約訂立參數(shù)，被包含于第i個(gè)合約方的狀態(tài)集qil，q^e qii，i = 1 ?，，X是輸入事件的集合；S*是轉(zhuǎn)換函數(shù)的集合S*:Q X 5： -Q; s*是初始狀態(tài)值s*￡ Q，F(xiàn)*是終止?fàn)顟B(tài)的集合擴(kuò)￡ Q:;
[0016]合約執(zhí)行狀態(tài)機(jī)1表示第i個(gè)合約方？:的執(zhí)行狀態(tài)機(jī)，為五元組（qn，2，&，&， Fihqn是合約的執(zhí)行狀態(tài)集合，i = 是輸入事件的集合;心是轉(zhuǎn)換函數(shù)的集合 5i:qnX 2 -qii;si是初始狀態(tài)值SiGqii，F(xiàn)i終止?fàn)顟B(tài)的集合Fi￡取。
[0017]優(yōu)選的，將合約C及合約狀態(tài)機(jī)、合約執(zhí)行狀態(tài)機(jī)、合約執(zhí)行過(guò)程保存在安全度高 的數(shù)據(jù)庫(kù)中。
[0018] 優(yōu)選的，當(dāng)智能合約的執(zhí)行出現(xiàn)糾紛，將該數(shù)據(jù)庫(kù)中保存的與合約相關(guān)的數(shù)據(jù)發(fā) 送給第三方檢驗(yàn)。
[0019] 優(yōu)選的，各個(gè)合約方Pi對(duì)其輸入進(jìn)行數(shù)字簽名。
[0020] -種基于區(qū)塊鏈的智能合約系統(tǒng)，其特征在于，包括:用戶界面、智能合約裝置，其 中，
[0021] 用戶通過(guò)用戶界面在智能合約裝置上建立智能合約，合約C為三元組:C=(I，M' {Mi，M2，'"，Mm})，包括:合約方信息I，Ii表示第i個(gè)合約方Pi的信息，i = l'"m，共有m個(gè)合約方 參與合約;合約狀態(tài)機(jī)]^與合約執(zhí)行狀態(tài)機(jī)集合{Mi，M2，…，Mm};把合約C存放入?yún)^(qū)塊鏈數(shù)據(jù) 庫(kù)中；
[0022] 用戶通過(guò)用戶界面在智能合約裝置輸入各個(gè)合約方的狀態(tài)及事件，所述狀態(tài)及事 件作為證據(jù)記錄在區(qū)塊鏈數(shù)據(jù)庫(kù)中；
[0023] 智能合約裝置根據(jù)建立好的合約C與各個(gè)合約方輸入的事件來(lái)執(zhí)行合約，獲取合 約的執(zhí)行結(jié)果。
[0024]優(yōu)選的，合約狀態(tài)機(jī)M*為五元組(〇,2,5'8'內(nèi)，9={(如'屯'"_，9/丄）}，9是合 約狀態(tài)機(jī)所有狀態(tài)的集合;L是合約訂立參數(shù)，被包含于第i個(gè)合約方的狀態(tài)集qil，q^e qii，i = 1 ?，，X是輸入事件的集合；S*是轉(zhuǎn)換函數(shù)的集合S*:Q X 5： -Q; s*是初始狀態(tài)值s*￡ Q，F(xiàn)*是終止?fàn)顟B(tài)的集合￡ Q;
[0025]合約執(zhí)行狀態(tài)機(jī)1表示第i個(gè)合約方？:的執(zhí)行狀態(tài)機(jī)，為五元組（qn，2，&，&， hhqn是合約的執(zhí)行狀態(tài)集合，i = l"_m;5：是輸入事件的集合;心是轉(zhuǎn)換函數(shù)的集合 心:qii X 5： -qii; Si是初始狀態(tài)值Si G qii，F(xiàn)i終止?fàn)顟B(tài)的集合Fi ￡取。
[0026]優(yōu)選的，還包括區(qū)塊鏈管理模塊，用于保存智能合約C及合約狀態(tài)機(jī)、合約執(zhí)行狀 態(tài)機(jī)、合約執(zhí)行過(guò)程。
[0027]優(yōu)選的，當(dāng)智能合約的執(zhí)行出現(xiàn)糾紛，將區(qū)塊鏈數(shù)據(jù)庫(kù)中保存的與合約相關(guān)的數(shù) 據(jù)發(fā)送給第三方檢驗(yàn)。
[0028]優(yōu)選的，各個(gè)合約方Pi對(duì)其輸入進(jìn)行數(shù)字簽名。
【附圖說(shuō)明】
[0029] 為了更清楚地說(shuō)明本發(fā)明實(shí)施例的技術(shù)方案，下面將對(duì)實(shí)施例描述中所需要的附 圖做簡(jiǎn)單的介紹，顯而易見(jiàn)地，下面描述的附圖僅僅是本發(fā)明的一些實(shí)施例，對(duì)于本領(lǐng)域普 通技術(shù)人員來(lái)講，在不付出創(chuàng)造性勞動(dòng)的前提下，還可以根據(jù)這些附圖獲得其他的附圖。
[0030] 圖1為本發(fā)明的合約執(zhí)行步驟示意圖。
[0031] 圖2為本發(fā)明的基于區(qū)塊鏈的智能合約系統(tǒng)架構(gòu)。
[0032] 圖3為本發(fā)明實(shí)施例的合約狀態(tài)機(jī)、合約方執(zhí)行狀態(tài)機(jī)。
【具體實(shí)施方式】
[0033] 智能合約的建立、協(xié)商與提交
[0034] 智能合約建立、協(xié)商與提交的過(guò)程:各方律師先建立智能合約，通過(guò)自然語(yǔ)言處理 生成形式化的、可執(zhí)行的合約;各方律師對(duì)生成的智能合約一一核實(shí)，包括用形式化工具驗(yàn) 證合約，并用一致性工具檢驗(yàn)合約;通過(guò)密碼協(xié)議，合約各方給合約數(shù)字簽名；最后把簽名 后的合約上傳到區(qū)塊鏈上，合約本身與合約執(zhí)行的所有狀態(tài)(包括合約狀態(tài)機(jī)、合約方執(zhí)行 狀態(tài)機(jī))都保存在區(qū)塊鏈上。
[0035] 合約C是一個(gè)三元組:合約方信息I(Ii表示第i個(gè)合約方Pi的信息，i = l'"m，共有m 個(gè)人參與合約）、合約狀態(tài)機(jī)與合約方的執(zhí)行狀態(tài)機(jī)集合{Mi，M2,…，Mm}。
[0036] C=(I，M*，{Mi，M2，...，]\U)
[0037]合約狀態(tài)機(jī)
[0038]合約狀態(tài)機(jī)M*是一個(gè)五元組(〇,2,5'8'內(nèi)，9={(9 1^/，"_，9/丄）}，〇是合約 狀態(tài)機(jī)所有狀態(tài)的集合，L是合約執(zhí)行背景，合約執(zhí)行背景即合約訂立時(shí)的環(huán)境參數(shù)(如合 約訂立時(shí)間，合約訂立所需的參數(shù)等），其中q，被包含于第i個(gè)合約方的狀態(tài)集 qil，qi*Gqil， 1 =卜_!11。5：是輸入(事件)的集合。#是轉(zhuǎn)換函數(shù)的集合(#:〇\5：4〇)。，是初始狀態(tài)值(， GQ)，F(xiàn)*是終止?fàn)顟B(tài)的集合CFQQ) 6
[0039]區(qū)塊鏈數(shù)據(jù)庫(kù)保存著合約本身與合約的所有狀態(tài)(包括合約狀態(tài)機(jī)、合約方執(zhí)行 狀態(tài)機(jī)），以及合約執(zhí)行過(guò)程證據(jù)的記錄。同時(shí)，每個(gè)參與計(jì)算的節(jié)點(diǎn)都保存著相同的區(qū)塊 鏈數(shù)據(jù)庫(kù)，每個(gè)節(jié)點(diǎn)能夠接收到合約方發(fā)送的消息，并根據(jù)消息執(zhí)行合約，得到新的合約狀 態(tài)集合{S'}。通過(guò)投票，選出大多數(shù)節(jié)點(diǎn)同意的新?tīng)顟B(tài)S'并將它保存在區(qū)塊鏈的最新區(qū)塊 上。
[0040] 轉(zhuǎn)換函數(shù)相當(dāng)于給合約方的執(zhí)行進(jìn)行判決，判決包括兩個(gè)部分，一個(gè)是對(duì)合約方 所執(zhí)行內(nèi)容的真實(shí)性、是否達(dá)標(biāo)進(jìn)行檢驗(yàn);第二個(gè)是執(zhí)行判決，包括合約狀態(tài)的轉(zhuǎn)移、強(qiáng)制 性的實(shí)施。強(qiáng)制性的實(shí)施在于資產(chǎn)是否數(shù)字可控的。
[0041] 合約執(zhí)行狀態(tài)機(jī)
[0042] 合約執(zhí)行狀態(tài)機(jī)1表示第i個(gè)合約方？:的執(zhí)行狀態(tài)機(jī)，是一個(gè)五元組（qn，2，心， Si，F(xiàn)i)，qn是合約方Pi的執(zhí)行狀態(tài)集合，i = 1…!!!。2是輸入(事件）的集合。心是轉(zhuǎn)換函數(shù)的 集合（Si:qiiX 2-qnhsi是初始狀態(tài)值SiGqn，F(xiàn)i終止?fàn)顟B(tài)的集合（Figqn) 〇
[0043] 合約的審計(jì)
[0044] 當(dāng)合約的執(zhí)行出現(xiàn)糾紛，只需要把記錄在區(qū)塊鏈上的與合約相關(guān)的證據(jù)交給第三 方檢驗(yàn)就可以了。
[0045] 合約的接入控制
[0046] 消息作為權(quán)利的載體，所以合約方匕必須對(duì)所發(fā)送的消息簽名，以防止偽造。
[0047]合約執(zhí)行步驟
[0048] 圖1為合約執(zhí)行步驟示意圖，合約的執(zhí)行步驟包括以下內(nèi)容：
[0049] 1、建立智能合約，設(shè)計(jì)智能合約條款(背景、合約方的義務(wù)和判決）。合約建立后需 要經(jīng)過(guò)形式化驗(yàn)證，然后合約方數(shù)字簽名；
[0050] 2、發(fā)布被簽名的合約，使其存儲(chǔ)在區(qū)塊鏈上；
[0051] 3、執(zhí)行合約，合約方按照智能合約條款規(guī)定把執(zhí)行記錄放入在區(qū)塊鏈上，當(dāng)該條 款的合約義務(wù)已完成，則把結(jié)果記錄在區(qū)塊鏈上的合約賬戶（區(qū)塊鏈上的賬戶是指存儲(chǔ)與 智能合約相關(guān)信息的地方）；合約賬戶接收到消息后，對(duì)合約方義務(wù)完成情況進(jìn)行判決。同 時(shí)，智能合約的執(zhí)行會(huì)改變合約的狀態(tài)，每個(gè)狀態(tài)的改變都必須通過(guò)參與計(jì)算的節(jié)點(diǎn)投票 決定(區(qū)塊鏈中參與計(jì)算的節(jié)點(diǎn)是指制作區(qū)塊的節(jié)點(diǎn)），以此保證計(jì)算的同步與防偽。
[0052] 如果合約方起爭(zhēng)執(zhí)，則還包括:4、合約方起爭(zhēng)執(zhí)，則公開(kāi)其合約及其相應(yīng)存儲(chǔ)給第 三方公審。
[0053]除此之外，基于上述的執(zhí)行模型，本發(fā)明的第二個(gè)方面是基于智能合約的系統(tǒng)架 構(gòu)。
[0054]參見(jiàn)圖2,系統(tǒng)一共分為三大部分，分別是用戶界面、智能合約裝置，區(qū)塊鏈管理模 塊。通信是整個(gè)系統(tǒng)的基礎(chǔ)設(shè)施；區(qū)塊鏈管理模塊用作安全的分布式存儲(chǔ)系統(tǒng)，存儲(chǔ)與智能 合約相關(guān)的信息，作為分布式虛擬機(jī)的運(yùn)行環(huán)境;智能合約分為三個(gè)部分，合約的形式化生 成與驗(yàn)證、合約執(zhí)行管理與合約審計(jì)。
[0055]用戶通過(guò)用戶界面在智能合約裝置上建立智能合約，并且通過(guò)用戶界面在智能合 約裝置輸入各個(gè)合約方的狀態(tài)及事件；
[0056]智能合約裝置執(zhí)行合約，獲取合約的執(zhí)行結(jié)果，具體包括合約的形式化生成與驗(yàn) 證、合約執(zhí)行管理與合約審計(jì)；
[0057]區(qū)塊鏈管理模塊，用于保存合約C及合約狀態(tài)機(jī)、合約執(zhí)行狀態(tài)機(jī)、合約執(zhí)行過(guò)程， 當(dāng)合約的執(zhí)行出現(xiàn)糾紛，將區(qū)塊鏈管理模塊中保存的與合約相關(guān)的數(shù)據(jù)發(fā)送給第三方檢 驗(yàn)。
[0058]該系統(tǒng)以帶有區(qū)塊鏈為基礎(chǔ)設(shè)施，在其上面添加智能合約裝置，包括智能合約的 集成開(kāi)發(fā)環(huán)境、合約執(zhí)行管理、合約的形式化生成與驗(yàn)證、合約的一致性檢測(cè)、合約的組合 定制功能、自然語(yǔ)言處理。除此之外，還有智能資產(chǎn)管理模塊與合約審計(jì)功能模塊。
[0059] 合約集成開(kāi)發(fā)環(huán)境:用于編寫合約代碼并調(diào)試；
[0060] 合約執(zhí)行管理模塊:檢測(cè)合約狀態(tài)，管理合約方的合約執(zhí)行記錄；
[0061] 合約數(shù)據(jù)庫(kù):保存不同功能的合約，增強(qiáng)重用性；
[0062] 合約組合器:根據(jù)用戶需求從合約數(shù)據(jù)庫(kù)中尋找所需功能的合約，進(jìn)行組裝；
[0063]形式化驗(yàn)證工具:驗(yàn)證用戶生成的或者合約組合器生成的合約，還可以直接根據(jù) 用戶定制的需求來(lái)生成所需的合約，并檢驗(yàn)性質(zhì)；
[0064] -致性檢驗(yàn)工具:檢驗(yàn)合約的邏輯一致性；
[0065]智能資產(chǎn)管理模塊:與物聯(lián)網(wǎng)相連，注冊(cè)與管理數(shù)字資產(chǎn)；
[0066]合約審計(jì)：當(dāng)合約方對(duì)合約執(zhí)行的結(jié)果產(chǎn)生歧義的時(shí)候，第三方可以通過(guò)這個(gè)模 塊進(jìn)行審核；
[0067]自然語(yǔ)言處理:合約代碼與人類語(yǔ)言之間的一個(gè)橋梁，自然語(yǔ)言處理與一致性工 具的結(jié)合使得合約代碼能夠被一般人讀懂和驗(yàn)證，令智能合約可以具有法律效力；
[0068]加密模塊：智能合約很多功能都需要不同的加密協(xié)議支持，如數(shù)字簽名、數(shù)字水 印、安全多方簽名等。
[0069]為了讓本發(fā)明的目的、特征和優(yōu)點(diǎn)能更加明顯易懂，下文列舉了本發(fā)明的實(shí)施例 子，做詳細(xì)說(shuō)明如下，籍以使本領(lǐng)域普通技術(shù)人員能夠更清楚的了解本發(fā)明所欲闡述的精 神。
[0070]售后服務(wù)的事例
[0071 ]建立合約、協(xié)商與提交，其中合約內(nèi)容如下表1，合約方Custmoer執(zhí)行狀態(tài)機(jī)與 Merchant執(zhí)行狀態(tài)機(jī)如下表2、3,合約狀態(tài)機(jī)、事件及轉(zhuǎn)換函數(shù)分別如下表4、5、6所示。
[0084] 建立合約，包括合約方信息、合約狀態(tài)機(jī)與合約方執(zhí)行狀態(tài)機(jī)。然后通過(guò)自然語(yǔ)言 處理，得到形式化的、可執(zhí)行的智能合約。為了方便程序表示，我們約定如表7:
[0085] 表 7
[0088] 得到合約的狀態(tài)機(jī)與合約方執(zhí)行狀態(tài)機(jī)，如圖3。
[0089] 合約方用形式化工具、一致性檢測(cè)工具檢驗(yàn)合約，若通過(guò)，則合約方在合約上添加 數(shù)字簽名。
[0090] 根據(jù)合約內(nèi)容執(zhí)行合約，合約本身、與合約相關(guān)的所有狀態(tài)都需要記錄，還有合約 方執(zhí)行合約的證據(jù)需按照合約規(guī)定存儲(chǔ)在區(qū)塊鏈中。合約狀態(tài)機(jī)每個(gè)狀態(tài)的轉(zhuǎn)換都必須一 致性算法保證各個(gè)節(jié)點(diǎn)的執(zhí)行一致。
[0091] 當(dāng)出現(xiàn)對(duì)合約執(zhí)行結(jié)果出現(xiàn)爭(zhēng)執(zhí)的時(shí)候，則進(jìn)入審計(jì)階段。
[0092] 以上所述，僅是本發(fā)明的實(shí)例，并非對(duì)本發(fā)明做任何形式上的限制。任何精于本專 業(yè)的技術(shù)人員，在不脫離本發(fā)明技術(shù)方案范圍內(nèi)，當(dāng)可利用上述揭示的技術(shù)內(nèi)容做出其他 種種的改良或修飾為等同變化的等效實(shí)例，但凡是未脫離本發(fā)明技術(shù)方案內(nèi)容，依據(jù)本發(fā) 明的技術(shù)實(shí)質(zhì)對(duì)以上實(shí)施所做的任何簡(jiǎn)單修改、等同變化與修飾，均仍屬于本發(fā)明技術(shù)方 案的范圍內(nèi)。
【主權(quán)項(xiàng)】
1. 一種智能合約的實(shí)現(xiàn)方法，其特征在于，包括步驟： 建立智能合約，其中，合約C為三元組:C= (I，M' (M1 ,M2，…，Mm})，包括:合約方信息I，Ii 表示第i個(gè)合約方Pi的信息，i = 1 ···!!!，共有m個(gè)合約方參與合約;合約狀態(tài)機(jī)if與合約執(zhí)行狀 態(tài)機(jī)集合(M^M2，…，Mm};把合約C存放入安全度高的數(shù)據(jù)庫(kù)中； 輸入各個(gè)合約方的狀態(tài)及事件，并把所述狀態(tài)及事件作為證據(jù)記錄在安全度高的數(shù)據(jù) 庫(kù)中； 根據(jù)建立好的合約C與各個(gè)合約方輸入的事件來(lái)執(zhí)行智能合約，獲取合約的執(zhí)行結(jié)果。2. 根據(jù)權(quán)利要求1所述的一種智能合約的實(shí)現(xiàn)方法，其特征在于，合約狀態(tài)機(jī)if為五元 組ω，Σ，δ?內(nèi)，0={((^，(12'"_，(1/丄）}，0是合約狀態(tài)機(jī)所有狀態(tài)的集合汰是合約訂 立參數(shù)，qi*被包含于第i個(gè)合約方的狀態(tài)集qii，qi* e qii，i = · ·Ι?，Σ是輸入事件的集合;δ* 是轉(zhuǎn)換函數(shù)的集合P:QX 是初始狀態(tài)值 s*eQ，F(xiàn)*是終止?fàn)顟B(tài)的集合Ft ￡ Q; 合約執(zhí)行狀態(tài)機(jī)1表示第i個(gè)合約SP1的執(zhí)行狀態(tài)機(jī)，為五元組(qil，X JllSllF1Kqil 是合約方Pi的執(zhí)行狀態(tài)集合，? = 1···πι; Σ是輸入事件的集合;Si是轉(zhuǎn)換函數(shù)的集合δ i:qii X Σ-qn; Si是初始狀態(tài)值SiGqliJi終止?fàn)顟B(tài)的集合Fi ￡ qn。3. 根據(jù)權(quán)利要求2所述的一種智能合約的實(shí)現(xiàn)方法，其特征在于，將合約C及合約狀態(tài) 機(jī)、合約執(zhí)行狀態(tài)機(jī)、合約執(zhí)行過(guò)程保存在安全度高的數(shù)據(jù)庫(kù)中。4. 根據(jù)權(quán)利要求3所述的一種智能合約的實(shí)現(xiàn)方法，其特征在于，當(dāng)合約的執(zhí)行出現(xiàn)糾 紛，將該數(shù)據(jù)庫(kù)中保存的與合約相關(guān)的數(shù)據(jù)發(fā)送給第三方檢驗(yàn)。5. 根據(jù)權(quán)利要求2所述的一種智能合約的實(shí)現(xiàn)方法，其特征在于，各個(gè)合約方P1對(duì)其輸 入進(jìn)行數(shù)字簽名。6. -種基于區(qū)塊鏈的智能合約系統(tǒng)，其特征在于，包括：用戶界面、智能合約裝置，其 中， 用戶通過(guò)用戶界面在智能合約裝置上建立智能合約，合約C為三元組： M2,…，Mm})，包括:合約方信息I，Ii表示第i個(gè)合約方Pi的信息，? = 1···ηι，共有m個(gè)合約方參 與合約;合約狀態(tài)機(jī)]^與合約執(zhí)行狀態(tài)機(jī)集合(M1 ,M2，…，Mm};把合約C存放入?yún)^(qū)塊鏈數(shù)據(jù)庫(kù) 中； 用戶通過(guò)用戶界面在智能合約裝置輸入各個(gè)合約方的狀態(tài)及事件，所述狀態(tài)及事件作 為證據(jù)記錄在區(qū)塊鏈數(shù)據(jù)庫(kù)中； 智能合約裝置根據(jù)建立好的合約C與各個(gè)合約方輸入的事件來(lái)執(zhí)行合約，獲取合約的 執(zhí)行結(jié)果。7. 根據(jù)權(quán)利要求6所述的一種智能合約系統(tǒng)，其特征在于，合約狀態(tài)機(jī)if為五元組(Q， X，，s'F*)，Q={(qi'q2V"，q/，L)}，Q是合約狀態(tài)機(jī)所有狀態(tài)的集合;L是合約訂立參 數(shù)，q，被包含于第i個(gè)合約方的狀態(tài)集9 11沖￥911，1 =卜_!11，2是輸入事件的集合^是轉(zhuǎn) 換函數(shù)的集合δ*: Q X Σ -Q; s*是初始狀態(tài)值s*e Q，F(xiàn)*是終止?fàn)顟B(tài)的集合Q: 合約執(zhí)行狀態(tài)機(jī)1表示第i個(gè)合約SP1的執(zhí)行狀態(tài)機(jī)，為五元組(qil，X JllSllF1Kqil 是合約方Pi的執(zhí)行狀態(tài)集合，? = 1···πι; Σ是輸入事件的集合;Si是轉(zhuǎn)換函數(shù)的集合δ i:qii X Σ -qii; Si是初始狀態(tài)值Si e qii，F(xiàn)i終止?fàn)顟B(tài)的集合?1 ￡ Q11。8. 根據(jù)權(quán)利要求7所述的一種基于區(qū)塊鏈的智能合約系統(tǒng)，其特征在于，還包括區(qū)塊鏈 管理模塊，用于保存合約C及合約狀態(tài)機(jī)、合約執(zhí)行狀態(tài)機(jī)、合約執(zhí)行過(guò)程。9. 根據(jù)權(quán)利要求8所述的一種基于區(qū)塊鏈的智能合約系統(tǒng)，其特征在于，當(dāng)合約的執(zhí)行 出現(xiàn)糾紛，將區(qū)塊鏈數(shù)據(jù)庫(kù)中保存的與合約相關(guān)的數(shù)據(jù)發(fā)送給第三方檢驗(yàn)。10. 根據(jù)權(quán)利要求7所述的一種基于區(qū)塊鏈的智能合約系統(tǒng)，其特征在于，各個(gè)合約方P1 對(duì)其輸入進(jìn)行數(shù)字簽名。
【文檔編號(hào)】G06F9/44GK105893042SQ201610195644
【公開(kāi)日】2016年8月24日
【申請(qǐng)日】2016年3月31日
【發(fā)明人】胡凱, 黃潔華, 蔡維德, 白曉敏, 陳志東
【申請(qǐng)人】北京航空航天大學(xué)