《基于區(qū)塊鏈的智能合約形式化表達(dá)規(guī)范》

JH/CIE159—2020

中國(guó)電子學(xué)會(huì)標(biāo)準(zhǔn)

JH/CIE159—2020

基于區(qū)塊鏈的智能合約形式化表達(dá)規(guī)范

FormalExpressionSpecificationofSmartContractBasedonBlockchain

（征求意見稿）

在提交反饋意見時(shí)，請(qǐng)將您知道的相關(guān)專利連同支持性文件一并附上。

XXXX-XX-XX發(fā)布XXXX-XX-XX實(shí)施

中國(guó)電子學(xué)會(huì)發(fā)布

JH/CIE159—2020

基于區(qū)塊鏈的智能合約形式化表達(dá)規(guī)范

1范圍

本標(biāo)準(zhǔn)規(guī)定了智能合約有關(guān)的術(shù)語(yǔ)和定義，以及智能合約語(yǔ)言的結(jié)構(gòu)、語(yǔ)法及示例（見附錄

A）。

本標(biāo)準(zhǔn)適用于通用智能合約設(shè)計(jì)、開發(fā)和使用，也可為區(qū)塊鏈廠商和用戶提供智能合約平臺(tái)

構(gòu)建的技術(shù)標(biāo)準(zhǔn)參考。

2規(guī)范性引用文件

下列文件對(duì)于本文件的應(yīng)用是必不可少的。凡是注日期的引用文件，僅注日期的版本適用于

本文件。凡是未注日期的引用文件，其最新版本（包括所有的修改單）適用于本文件。

GB/T1.1-2020標(biāo)準(zhǔn)化工作導(dǎo)則第1部分：標(biāo)準(zhǔn)化文件的結(jié)構(gòu)和起草規(guī)則

3術(shù)語(yǔ)和定義

3.1智能合約SmartContract

智能合約是一種旨在以數(shù)字方式傳播、驗(yàn)證或執(zhí)行多方之間約定的計(jì)算機(jī)程序和協(xié)議。

3.1.1區(qū)塊鏈智能合約BlockchainSmartContract

區(qū)塊鏈智能合約是部署在區(qū)塊鏈上并可在滿足預(yù)定合約條款和履行條件時(shí)自動(dòng)執(zhí)行的計(jì)算機(jī)

代碼。

3.1.2適用法律的智能合約SmartContractAppliedtoLegal

適用法律的智能合約是指一種含有合同構(gòu)成要素、涵蓋合同締約方依據(jù)要約和承諾達(dá)成履行

約定的計(jì)算機(jī)協(xié)議，本文中在不加區(qū)別時(shí)簡(jiǎn)稱智能法律合約。

3.1.3智能合約語(yǔ)言SmartContractLanguage

智能合約語(yǔ)言是一種為實(shí)現(xiàn)智能合約而創(chuàng)建的編程語(yǔ)言，包含規(guī)范智能合約撰寫的語(yǔ)法規(guī)則。

3.1.4適用法律的智能合約語(yǔ)言SmartContractLanguageAppliedtoLegal

適用法律的智能合約語(yǔ)言是指一種為實(shí)現(xiàn)適用法律的智能合約而創(chuàng)建的編程語(yǔ)言。

3.1.5智能合約平臺(tái)SmartContractPlatform

智能合約平臺(tái)是一種支持智能合約可執(zhí)行程序開發(fā)、生成、部署、運(yùn)行、驗(yàn)證的信息網(wǎng)絡(luò)系

3

JH/CIE159—2020

統(tǒng)。

3.1.6賬戶Account

賬戶是指具有一定的格式和結(jié)構(gòu)，用于描述當(dāng)事人、操作和反映標(biāo)的等智能法律合約要素的

增減變化情況及結(jié)果的載體。賬戶類型包括用戶賬戶和合約賬戶，其中，當(dāng)事人擁有用戶賬戶，

智能法律合約擁有智能合約平臺(tái)上的合約賬戶。

3.2合同LegalAgreement

合同是指民事主體之間設(shè)立、變更、終止民事法律關(guān)系的協(xié)議。

3.2.1數(shù)據(jù)電文DigitalMessage

數(shù)據(jù)電文是指以電子、光學(xué)、磁或者類似手段生成、發(fā)送、接收或者儲(chǔ)存的信息。

3.2.2合同條款ContractualTerms

合同條款是合同條件的表現(xiàn)和固定化，是確定合同當(dāng)事人權(quán)利和義務(wù)的根據(jù)。即從法律文書

而言，合同的內(nèi)容是指合同的各項(xiàng)條款。

4術(shù)語(yǔ)間關(guān)聯(lián)

適用法律的智能合約在形式上是一種介于現(xiàn)實(shí)法律合同與可執(zhí)行區(qū)塊鏈智能合約之間的過(guò)渡

性法律文檔。其中，現(xiàn)實(shí)法律合同以自然語(yǔ)言為載體，它可翻譯成為由適用法律的智能合約語(yǔ)言

撰寫的智能法律合約，進(jìn)而轉(zhuǎn)化為由智能合約語(yǔ)言編寫的區(qū)塊鏈智能合約。

現(xiàn)實(shí)法律合同適用法律的智能合約區(qū)塊鏈智能合約

5符號(hào)和縮略語(yǔ)

5.1符號(hào)

下面符號(hào)適用于本文件：

@@中文意思表示

::=表示定義，即“被定義為”

?前置關(guān)鍵詞任選

|用于表示同級(jí)元素的“或”

{}()包含語(yǔ)句集合

.語(yǔ)句結(jié)束符

+零條或多條語(yǔ)句

//注釋符

‘’,“”字符串類型

0x十六進(jìn)制數(shù)（用于區(qū)塊鏈地址表示）

4

JH/CIE159—2020

，空格用于表示同級(jí)元素的并列與分割

5.2縮略語(yǔ)

關(guān)鍵詞含義

he,she,his,her,himself,herself,this,the當(dāng)前的，相當(dāng)于程序語(yǔ)言中this

=,is相等

:,:::為分隔符，::為屬性信息引用

!=,<>,isn’t不相等

all,forall,some,exist全稱量詞和存在量詞

can,must,cannot權(quán)利限制，應(yīng)當(dāng)限制和禁止限制

origin動(dòng)作執(zhí)行前賬戶的值

after,before,within在…之后（前、內(nèi)）

did常與after連用，表示某當(dāng)事人做過(guò)某事

true,false布爾值

value當(dāng)事人所轉(zhuǎn)移的資產(chǎn)數(shù)目

and,or,not,implies邏輯符號(hào)

>、>=、<、<=、belongsTo關(guān)系符號(hào)

各種類型的實(shí)體，包括：合約、當(dāng)事人、資產(chǎn)、

Cname,Pname,Aname,Tname,Bname

一般條款、違約條款等實(shí)體，統(tǒng)稱為Entity

year,month,date,hour,minute,second,

時(shí)間符號(hào)

now

String,Money,Date,Integer,Float,

類型符號(hào)

Boolean,Right,Time

when,while,where條款中的條件標(biāo)識(shí)保留字

transfer,withdraw,deposit資產(chǎn)操作保留字

contract,info,right,party,group,asset,

term,breachterm,arbitrationterm,

語(yǔ)言保留字

contractconclusions,signatureofparty,

additional,serial,of,to,institution

6智能法律合約表示形式

6.1智能法律合約采用書面形式訂立合同，屬于書面合同。當(dāng)事人訂立智能法律合約，采取要約、

承諾方式。

6.2智能法律合約遵循《民法典》《電子簽名法》及有關(guān)法律法規(guī)相關(guān)條文，具有與現(xiàn)實(shí)法律合同

相同的法律效力，對(duì)各文本使用的詞句推定具有相同含義。各文本使用的詞句不一致的，應(yīng)當(dāng)根

據(jù)合同的相關(guān)條款、性質(zhì)、目的以及誠(chéng)信原則等予以解釋。

6.3智能法律合約可轉(zhuǎn)化為數(shù)據(jù)電文表示的可執(zhí)行程序，經(jīng)智能法律合約簽訂過(guò)程（參見附錄B）

進(jìn)而在智能合約平臺(tái)加以自動(dòng)化實(shí)施。

5

JH/CIE159—2020

6.4智能法律合約可以采用中文和英文聯(lián)合編寫形式，根據(jù)具體應(yīng)用不同可選擇使用。

7智能法律合約構(gòu)成要素

本標(biāo)準(zhǔn)可涵蓋以下內(nèi)容：當(dāng)事人信息、標(biāo)的、數(shù)量、質(zhì)量、價(jià)款或者報(bào)酬、履行期限和方式、

違約責(zé)任、解決爭(zhēng)議的方法等。在智能法律合約語(yǔ)法中，本標(biāo)準(zhǔn)由包含在合約框架內(nèi)的智能法律

合約構(gòu)成要素組成，包括：合約名稱、當(dāng)事人描述、標(biāo)的、合約條款、合約訂立、附加信息等，

其中，合約條款包括：一般條款、違約條款、仲裁條款等。此外，智能法律合約編寫過(guò)程中涉及

權(quán)利和義務(wù)、資產(chǎn)操作、表達(dá)式、時(shí)間表示等語(yǔ)法規(guī)范。上述要素之間關(guān)系如下圖所示。

合約名稱

當(dāng)事人描述

標(biāo)的

一般條款權(quán)利和義務(wù)

合約框架

表達(dá)式時(shí)間表示

合約條款違約條款資產(chǎn)操作

仲裁條款

合約訂立

附加信息

8智能法律合約語(yǔ)法

8.1合約框架

智能法律合約包括：合約名稱及合約內(nèi)容，合約內(nèi)容包括：當(dāng)事人描述、資產(chǎn)描述、合約條

款、附加信息、合約訂立。

Contract::=Title{Parties+Assets+Terms+Additional+Signs+}

8.2合約名稱

合約名稱包含：合約標(biāo)題和合約序號(hào)。語(yǔ)法如下：

@@合約標(biāo)題：合約序號(hào)

Title::=contractCname(:serialChash)?

解讀：合約序號(hào)是指本智能法律合約所求取的唯一性編號(hào)。

例：

@@買賣合同：0x827198…ab193

6

JH/CIE159—2020

contractpurchase:serial0x827198…ab193

8.3當(dāng)事人描述

當(dāng)事人描述包含當(dāng)事人的名稱或者姓名和住所，以及當(dāng)事人所擁有的屬性及特征描述（包含

常量和變量），可通過(guò)身份認(rèn)證技術(shù)保證當(dāng)事人身份唯一性。語(yǔ)法如下：

@@當(dāng)事人群體？名稱{屬性域+}

Parties::=partygroup?Pname{field+}

其中，屬性域用于宣稱當(dāng)事人所擁有的屬性及特征，由冒號(hào)分割的二元組表示，左部為屬性

名稱，右部為屬性值，表示如下：

@@屬性：（常量|類型）

field::=attribute:(constant|type)

解讀：屬性值可為常量或類型聲明，當(dāng)屬性值為類型聲明時(shí)，屬性值為空。

實(shí)體的屬性值引用采取Entity::attribute形式，其結(jié)果為該屬性的值。

例1：

@@當(dāng)事人信息：賣家，登記信息包括：當(dāng)事人賬號(hào)：0x7c84e8…2934；姓名：張三。

partySeller{account:0x7c84e8…2934name:‘ZhangSan’}

解讀：當(dāng)事人賬號(hào)指該當(dāng)事人在區(qū)塊鏈中所擁有的用戶賬戶地址，可用于鑒別身份，通常由

哈希值表示。

例2：

@@群組當(dāng)事人信息：競(jìng)標(biāo)人，登記信息包括：當(dāng)事人賬號(hào)。

partygroupVoters{account:Integer}

解讀：群組當(dāng)事人可表示為動(dòng)態(tài)加入的當(dāng)事人列表。

8.4標(biāo)的

合約標(biāo)的指當(dāng)事人之間存在的權(quán)利義務(wù)關(guān)系，一般分為物、行為、智力成果等，是智能法律

合約成立的必要條件。在智能法律合約中標(biāo)的用資產(chǎn)來(lái)表示，在區(qū)塊鏈中應(yīng)存在該資產(chǎn)的描述，

表示如下：

@@資產(chǎn)資產(chǎn)名稱{資產(chǎn)描述{屬性域+}資產(chǎn)權(quán)屬{屬性域+}}

Assets::=assetAname{info{field+}right{field+}}

解讀：資產(chǎn)的定義包含資產(chǎn)的名稱，資產(chǎn)的屬性及對(duì)資產(chǎn)的權(quán)利。

info用以唯一標(biāo)識(shí)該資產(chǎn)和表述合約條款所涉及的屬性，right用于明確資產(chǎn)的權(quán)屬，通常包

括：所有權(quán)（ownership）、使用權(quán)（useRight）、占有權(quán)（possessRight）、收益權(quán)（usufruct）、處分

權(quán)（disposeRight），可作為類型使用，用戶可根據(jù)實(shí)際需要自行添加權(quán)屬。

例1：

@@合約標(biāo)的：房屋，屬性信息包括：產(chǎn)權(quán)編號(hào)：0x71a2f8…78d93；面積：50；用途：商

業(yè)；價(jià)格：貨幣資產(chǎn)；權(quán)屬信息包括：收益權(quán)、使用權(quán)

assetHouse{

info{serial:0x71a2f8…78d93area:50usage:“business”price:Money}

right{houseBenefitRight:usufructhouseUse:useRight}

}

解讀：usufruct與useRight類型用于記錄權(quán)屬信息；Money用于表示貨幣資產(chǎn)。

7

JH/CIE159—2020

例2：

@@本金的120%

$120%*principal

解讀：本金為Money類型的資產(chǎn)。

資產(chǎn)表達(dá)式（也被稱為資產(chǎn)表示）被用于在條款中使用該資產(chǎn)，定義如下：

@@資產(chǎn)表達(dá)式：$（具體數(shù)量）？（具體權(quán)屬）？資產(chǎn)名稱

AssetExpression::=$(amount)?(rightof)?Aname

解讀：Aname為智能法律合約中聲明的資產(chǎn)，權(quán)屬（right）是指該資產(chǎn)中宣稱的權(quán)屬，如果

不添加權(quán)屬說(shuō)明，則默認(rèn)為所有權(quán)或權(quán)屬定義中的第一個(gè)權(quán)屬。

例3：

@@20元。

$20RMB

解讀：系統(tǒng)中預(yù)定義的貨幣資產(chǎn)包括：人民幣（RMB）、美元（USD）等。

例4：

@@在智能法律合約中聲明房屋資產(chǎn)。

$House

例5：

@@在智能法律合約中聲明資產(chǎn)House的50%所有權(quán)。

$50%ownershipofHouse

8.5合約條款

合約條款類型包括一般條款、違約條款、仲裁條款。

Terms::=generalTerm|breachTerm|arbitrationTerm

8.5.1一般條款

一般條款包含條款名、條款當(dāng)事人、當(dāng)事人必須、可以或禁止履行的行為、條款執(zhí)行條件、

條款執(zhí)行過(guò)程中資產(chǎn)的轉(zhuǎn)移、以及條款執(zhí)行后應(yīng)滿足的結(jié)果。語(yǔ)法如下：

@@條款名：當(dāng)事人（必須|可以|禁止）行為（屬性域+）

（執(zhí)行所需的前置條件）？

（伴隨的資產(chǎn)操作+）？

（執(zhí)行后需滿足的后置條件）？

generalTerm::=termTname:Pname(must|can|cannot)action(field+)

(whenpreCondition)?

(whiletransactions+)?

(wherepostCondition)?.

解讀：條款聲稱某當(dāng)事人在何種條件下必須、可以或禁止采取何種行為，同時(shí)伴隨著何種資

產(chǎn)操作，完成后應(yīng)滿足何種條件，具體包括：

1）preCondition是由表示前置條件的表達(dá)式組成，在當(dāng)事人執(zhí)行動(dòng)作之前進(jìn)行檢測(cè)，如果前

置條件轉(zhuǎn)化布爾表達(dá)式后值為真，則可以執(zhí)行條款；如果值為假，不能執(zhí)行條款。

2）transactions是表示資產(chǎn)操作，描述條款執(zhí)行過(guò)程中伴隨的資產(chǎn)操作情況。

8

JH/CIE159—2020

3）postCondition是由表示后置條件的表達(dá)式組成，用于描述條款執(zhí)行完成后應(yīng)滿足的條件，

如果滿足，則本條款執(zhí)行成功。

行為是對(duì)其后屬性列表的操作，它由智能合約平臺(tái)的程序?qū)崿F(xiàn)，后置條件用于檢查該行為結(jié)

果是否正確。

例：

@@條款1：競(jìng)拍者（角色）可以（權(quán)利）在競(jìng)拍開始后（前置條件）出價(jià)競(jìng)拍（動(dòng)作），向

合約賬戶轉(zhuǎn)入大于當(dāng)前最高價(jià)的資金（資產(chǎn)操作），出價(jià)最高者為得主（后置條件）。

termno1:biddercanbid()

whenafterbidBegin

whiledepositvalue>highestPrice

wherewinner=thisbidder.

8.5.2違約條款

違約條款是指雙方約定的當(dāng)事人不履行智能法律合約中規(guī)定的義務(wù)時(shí)或履行義務(wù)不符合約定

時(shí)，應(yīng)當(dāng)承擔(dān)的法律責(zé)任。即在指定條款的后置條件未得滿足且此違約條件的前置條件得以滿足

時(shí)，當(dāng)事人必須或可以執(zhí)行違約處理，同時(shí)伴隨某種資產(chǎn)轉(zhuǎn)移，執(zhí)行后應(yīng)滿足某種狀態(tài)。

@@違約條款條款名（針對(duì)條款名+）？：當(dāng)事人（必須|可以）違約處理（屬性域+）

（執(zhí)行所需的前置條件）？

（伴隨的資產(chǎn)操作+）？

（執(zhí)行后需滿足的后置條件）？

breachTerm::=breachtermBname(againstTname+)?:Pname(must|can)action(field+)

(whenpreCondition)?

(whiletransactions+)?

(wherepostCondition)?.

解讀：違約條款通?？梢?guī)定違約者必須執(zhí)行的動(dòng)作或受害者可以執(zhí)行的動(dòng)作。

例：

@@如果買家在預(yù)定了購(gòu)買房屋之后，房屋主人（角色）把房屋租出去了（前置條件），那

么房屋主人應(yīng)該（權(quán)利）賠償（動(dòng)作）買家違約金（資金轉(zhuǎn)移）。

breachtermno6againstno4:houseOwnermustcompensate()

whenhouseOwnerdidlendafterbuyerdidorder

whiletransferdefaulttobuyer.

8.5.3仲裁條款

智能法律合約中以仲裁條款形式規(guī)定解決爭(zhēng)議的方法，具體爭(zhēng)議可由自然語(yǔ)言陳述，并可指

定仲裁機(jī)構(gòu)，語(yǔ)法如下：

@@（所聲明之爭(zhēng)議）？由某仲裁機(jī)構(gòu)進(jìn)行裁決。

arbitrationTerm::=arbitrationterm:(Thestatementofanycontroversy)?

administeredbyinstitution:instName.

例：

@@凡因本智能法律合約引起的或與其有關(guān)的一切勞動(dòng)爭(zhēng)議，均由北京勞動(dòng)仲裁

委員會(huì)按照有效仲裁規(guī)則進(jìn)行裁決。

9

JH/CIE159—2020

arbitrationterm:Anylaborcontroversyorclaimarisingoutoforrelatingtothis

contract,orthebreachthereof,shallbesettledbyarbitrationadministeredby

institution:BeijingLaborArbitrationCommission.

解讀：仲裁機(jī)構(gòu)可選擇為區(qū)塊鏈網(wǎng)絡(luò)中具有司法管轄權(quán)的節(jié)點(diǎn)。

8.6權(quán)利和義務(wù)

當(dāng)事人在條款中有兩種行為限制，分別是權(quán)利與義務(wù)。

8.6.1權(quán)利

權(quán)利限制使用關(guān)鍵詞can，用于當(dāng)事人在滿足前置條件的基礎(chǔ)下可以選擇執(zhí)行某動(dòng)作的條款，

當(dāng)事人也可以選擇不執(zhí)行。

例：

@@條款2：投票者（角色）可以（權(quán)利）在主席發(fā)表提案后（前置條件）開始投票（動(dòng)作）。

termno2:votercanvote(target)

whenafterchairPersondidpropose.

解讀：投票屬于權(quán)利，投票者可以行使自己的權(quán)利為提案投票，也可以不行使自己的權(quán)利，

放棄投票。

8.6.2義務(wù)

義務(wù)限制包括應(yīng)當(dāng)限制與禁止限制。

1）應(yīng)當(dāng)限制使用關(guān)鍵詞must，用于當(dāng)事人在規(guī)定條件內(nèi)必須執(zhí)行某動(dòng)作的條款。

例1：

@@條款3：借貸者（角色）需要（權(quán)利）在借貸后兩年內(nèi)（前置條件）歸還（動(dòng)作）借款。

termno3:borrowermustreturn(loan)

whenwithin2yearafterborrowerdidlend.

解讀：歸還屬于義務(wù)，當(dāng)事人需要在規(guī)定期限內(nèi)履行自己的義務(wù)。

2）禁止限制使用關(guān)鍵詞cannot，用于當(dāng)事人在一定情況下不應(yīng)該執(zhí)行某動(dòng)作的條款。

例1：

@@條款4：房屋所有者（角色）在買家預(yù)定后（前置條件），不能（權(quán)利）再把房屋租出去

（動(dòng)作）。

termno4:houseOwnercannotrent()

whenafterbuyerdidorder.

對(duì)于一條禁止條款可以有多種限制方式，可以按執(zhí)行條件進(jìn)行限制，也可以直接對(duì)執(zhí)行

結(jié)果進(jìn)行限制，如對(duì)于“投票者不可以給自己投票”，如果直接投票給候選人，可以有如下兩

種表述方式：

例2：

@@條款5_1：如果選舉人（角色）的投票對(duì)象是自己（執(zhí)行條件），選舉人不能（權(quán)利）執(zhí)

行投票（動(dòng)作）。

termno5_1:votercannotelect(target)

whentarget=thisvoter.

10

JH/CIE159—2020

例3：

@@條款5_2：如果選舉人（角色）投票結(jié)果是使自己選票加一（執(zhí)行結(jié)果），選舉人不能（權(quán)

利）投票（動(dòng)作）。

termno5_2:votercannotelect(target)

wherethisvoter::candidate=thisvoter::origincandidate+1.

解讀：對(duì)條款5_1，如果投票者將選票給代理人，再由代理人投給投票者，這種行為將被許

可；而用條款5_2直接對(duì)執(zhí)行結(jié)果進(jìn)行限制則可避免上述行為。

8.7資產(chǎn)操作

資產(chǎn)操作是指智能法律合約執(zhí)行過(guò)程中對(duì)資產(chǎn)的不同操作方式，通常用來(lái)實(shí)現(xiàn)標(biāo)的物在不同

賬戶之間的轉(zhuǎn)移，資產(chǎn)操作分為三種：

1）存入deposit：當(dāng)事人主動(dòng)由其用戶賬戶向合約賬戶存入資產(chǎn)，作為條款的執(zhí)行條件使用，

可以直接指定存入的資產(chǎn)或根據(jù)價(jià)值關(guān)系進(jìn)行限制，后者在關(guān)系滿足時(shí)才能轉(zhuǎn)移指定的資產(chǎn)，

語(yǔ)法如下：

@@存入（滿足某種價(jià)值關(guān)系的）？資產(chǎn)描述

Deposit::=deposit(valueRelationOperator)?AssetExpression

例1：

@@存入大于當(dāng)前最高價(jià)的金額

depositvalue>highestPrice

解讀：在競(jìng)拍條款中要求存入金額大于目前最高價(jià)才能執(zhí)行競(jìng)拍操作，其中highestPrice

表示當(dāng)前最高價(jià)，為貨幣類型（Money）資產(chǎn)。

例2：

@@存入大于10元的金額

depositvalue>$10RMB

2）取回withdraw：當(dāng)事人執(zhí)行條款過(guò)程中從合約賬戶中取回一定資產(chǎn)，語(yǔ)法如下：

@@取回指定資產(chǎn)。

Withdraw::=withdrawAssetExpression

例3：

@@取回本金和利息（資產(chǎn)表達(dá)式中數(shù)額*（1+息率））

withdrawprincipal*(1+rate)

解讀：在執(zhí)行取款條款時(shí)，可以取回本金和利息。

3）轉(zhuǎn)移transfer：當(dāng)事人執(zhí)行條款過(guò)程中從當(dāng)前合約賬戶向其他當(dāng)事人轉(zhuǎn)移一定資產(chǎn)，語(yǔ)法

如下：

@@轉(zhuǎn)移指定資產(chǎn)到某當(dāng)事人。

Transfer::=transferAssetExpressiontotarget

例4：

@@向賣家轉(zhuǎn)移保證金。

transferwelfaretoseller

解讀：welfare是買家事先存入的保證金，為Money類型，在買方確認(rèn)收貨時(shí)，會(huì)將事先

存入合約賬戶的保證金轉(zhuǎn)給賣家。

條款可以有多條資產(chǎn)操作語(yǔ)句：

例5：

11

JH/CIE159—2020

@@條款6：借貸者（角色）可以（權(quán)利）抵押自己的房子（動(dòng)作），將房屋的所有權(quán)存

入合約賬戶，同時(shí)取出約定好的資金（資產(chǎn)操作）。

termno6:borrowercanmortgage()

whiledeposit$HouseandwithdrawHousePrice.

8.8表達(dá)式

智能法律合約中支持采用表達(dá)式規(guī)范條款條件以及用于構(gòu)成智能法律合約中其他要素，條款

條件（包括前置條件與后置條件）中的表達(dá)式結(jié)果應(yīng)可直接轉(zhuǎn)化為布爾值。表達(dá)式中的符號(hào)包括：

1）邏輯符號(hào)，包括：and、or、not、implies；

2）關(guān)系符號(hào)，包括：>、>=、<、<=、=、!=、belongsTo；

3）算術(shù)符號(hào)，包括：+、?、?、/；

4）常量符號(hào)，包括：數(shù)字、字符串、true、false；

5）時(shí)間符號(hào)，包括：month、day、year、hour、minute、second、now；

6）類型符號(hào)，包括：String、Money、Date、Integer、Float、Boolean、Right、Time。

8.9時(shí)間表示

時(shí)間表示由時(shí)間點(diǎn)表達(dá)式和時(shí)間段表達(dá)式構(gòu)成。

8.9.1時(shí)間點(diǎn)表達(dá)式

時(shí)間點(diǎn)表達(dá)式分為四種：時(shí)間變量、時(shí)間常量、全局查詢、動(dòng)作完成時(shí)間查詢。

1）時(shí)間變量是指日期（Date）類型的變量。

2）時(shí)間常量是指固定時(shí)間的值，比如2019年11月18日。

3）全局查詢是指獲取與智能法律合約運(yùn)行相關(guān)的時(shí)間數(shù)值，如獲取區(qū)塊鏈智能合約生效時(shí)

間（effective_date）、獲取當(dāng)前時(shí)間（now），它是由智能合約平臺(tái)提供接口加以實(shí)現(xiàn)的。

4）動(dòng)作完成時(shí)間查詢是指某個(gè)角色完成某項(xiàng)動(dòng)作的時(shí)間，其表達(dá)式語(yǔ)法如下：

@@動(dòng)作完成時(shí)間查詢:（任意|存在|當(dāng)前）？當(dāng)事人做某動(dòng)作的時(shí)間。

ActionEnforcedTimeQuery::=(all|some|this)?partydidaction

解讀：根據(jù)當(dāng)事人為個(gè)體或群體情況，可將時(shí)間查詢分為如下兩種情況：

當(dāng)事人為個(gè)體時(shí)，無(wú)須添加冠詞all、some、this。

例：

@@買家支付完成的時(shí)刻。

buyerdidpay

當(dāng)事人為群體時(shí)，可通過(guò)添加冠詞all、some、this查詢特定時(shí)間。

1）冠詞all：表示群體當(dāng)事人中最后一個(gè)完成某動(dòng)作的時(shí)間，若存在任意個(gè)體未完成，

則查詢結(jié)果為未完成。

例1：

@@所有投票者投票完成的時(shí)刻。

allvoterdidvote

12

JH/CIE159—2020

2）冠詞some：表示群體當(dāng)事人最近一個(gè)完成某動(dòng)作的時(shí)間，若所有個(gè)體都未完成，則

查詢結(jié)果為未完成。

例2：

@@競(jìng)標(biāo)者群體中最近一個(gè)完成拍賣動(dòng)作的時(shí)刻。

somebidderdidbid

3）冠詞this：表示當(dāng)前條款執(zhí)行方若屬于該群體，則查詢結(jié)果為該個(gè)體的完成時(shí)間。

例3：

@@本人投票完成的時(shí)刻。

thisvoterdidvote

8.9.2時(shí)間段表達(dá)式

時(shí)間段分為時(shí)間變量和時(shí)間常量?jī)深悺?/p>

1)時(shí)間變量是指時(shí)間（Time）類型的變量；

2)時(shí)間常量是指固定長(zhǎng)度的時(shí)間，如1天、2小時(shí)等。

時(shí)間段表達(dá)式定義如下：

@@（目標(biāo)時(shí)間）？（是|否）在基礎(chǔ)時(shí)間點(diǎn)（之前|之后）

TimePredicate::=(targetTime)?(is|isn’t)(before|after)baseTime

解讀：targetTime和baseTime都是時(shí)間點(diǎn)，如果沒有目標(biāo)時(shí)間，則默認(rèn)與當(dāng)前時(shí)間進(jìn)行比較。

例1：

@@本人投過(guò)票之后且所有人投票完成之前

(afterthisvoterdidvote)and(beforeallvoterdidvote)

例2：

@@本人投票完成時(shí)刻是在有效期之后。

thisvoterdidvoteisaftereffective_date

邊界時(shí)間段表達(dá)式定義如下：

@@邊界時(shí)間點(diǎn)（之前|之后）一段時(shí)間（內(nèi)）？

BoundedTimePredicate::=(within)?boundary(before|after)baseTime

解讀：boundary為時(shí)間段，baseTime為時(shí)間點(diǎn)

例3：

@@在拍賣結(jié)束前的三天內(nèi)。

within3daybeforeauctionEnd

例4：

@@在拍賣結(jié)束前的三天以前。

3daybeforeauctionEnd

8.10合約訂立

@@合約訂立:(所有當(dāng)事人的約定)?

Signs::=Contractconclusions:(Thestatementofallparties.)?

{SignatureofpartyPname（當(dāng)事人簽字）:

{printed-name（打印名）：String,

13

JH/CIE159—2020

signature（法定代表人簽字）:String,

date（簽訂日期）:Date

},+

}

例：

@@合約訂立：本智能法律合約當(dāng)事人不得以任何形式修改本合約，除非以

書面形式并經(jīng)雙方簽字。本合約及其附件構(gòu)成合約雙方的完整協(xié)議。本合約

對(duì)當(dāng)事各方及其繼承人，受讓人均具有約束力。通過(guò)簽署本協(xié)議，各方同意

上述條款。雙方各收到一份本協(xié)議，并負(fù)責(zé)維護(hù)其條款。雙方同意將本合約

轉(zhuǎn)化為智能合約平臺(tái)的計(jì)算機(jī)程序，并同意該程序及其執(zhí)行具有相同法律效

力。

Contractconclusions:Thiscontractmaynotbemodifiedinanymannerunlessin

writingandsignedbybothparties.Thisdocumentandanyattachmentshereto

constitutetheentireagreementbetweentheparties.ThisContractshallbebinding

upontheparties,theirsuccessorsandassigns.Bysigningthisagreement,allparties

agreetothetermsasdescribedabove.Eachofpartieswillreceiveonecopyofthis

agreement,andwillberesponsibleforupholdingitsterms.Bothpartiesagreewith

conversionfromthiscontracttocomputerprogramsonsmartcontractplatform,and

approvethattheprograms’implementationhasthesamelegaleffect.

Signatureofpartyauctioneer（拍賣人簽字）：

{printed-Name（打印名）：YaoSan,

signature（法定代表人簽字）：0x2319…8DE393,

date（簽訂日期）：2020/7/12

}

8.11附加信息

附加信息給出智能法律合約所需的其它補(bǔ)充條件的定義，包括：合約屬性、合約標(biāo)的、當(dāng)事

人簽名、保證人信息及簽名、附加條款、程序變量、數(shù)據(jù)結(jié)構(gòu)定義，可置于智能法律合約任何位

置，語(yǔ)法如下：

@@屬性域+

Additional::=field+

解讀：附加信息引用采用(Cname::)?attribute的形式。

例：

@@最高拍賣金額和拍賣停止時(shí)間

highestPrice:Money,

biddingStopTime:Date

14

JH/CIE159—2020

附錄A

（資料性）

智能法律合約示例及智能合約示例

A.1智能法律合約示例——網(wǎng)絡(luò)競(jìng)買合同

@@網(wǎng)絡(luò)競(jìng)買合同協(xié)議書

contractSimpleAuction{

@@甲方信息：拍賣人，登記信息包括：用戶賬戶信息：0x712379218…C4E80。

partyauctioneer{

account:0x712379218…C4E80

}

@@乙方信息：競(jìng)買人，屬于群體，登記信息包括：用戶賬戶信息:[0x93A8BCD…793968,0x48BD38…

92AC93]；賬戶曾出價(jià)累計(jì)值：貨幣資產(chǎn)。

partygroupbidders{

account:[0x93A8BCD…793968,0x48BD38…92AC93]

amount:Money

}

@@當(dāng)前最高價(jià)、最高出價(jià)的競(jìng)拍者、競(jìng)拍結(jié)束時(shí)間。

highestPrice:Money

highestBidder:bidders

biddingStopTime:Date

@@標(biāo)的物：競(jìng)拍貨品，拍賣人需要提供拍賣物的物品名稱、數(shù)量等相關(guān)信息。

assetgood{

info{

name:Name//物品名稱

quantity:Integer//物品數(shù)量

price:Money//價(jià)格

package:String//運(yùn)送包裝

}

}

@@條款1：拍賣人（角色）可以（權(quán)利）發(fā)起競(jìng)拍（動(dòng)作），在動(dòng)作執(zhí)行后，當(dāng)前最高價(jià)應(yīng)為拍賣人輸

入的底價(jià)，結(jié)束時(shí)間為當(dāng)前時(shí)間加上輸入的競(jìng)拍持續(xù)時(shí)間（后置條件）。

termno1:auctioneercanStartBidding(reservePrice:Money,auctionDuration:Date)

whenbeforeauctioneerdidStartBidding

wherehighestPrice=reservePriceandbiddingStopTime=auctionDuration+now.

@@條款2：競(jìng)買人（角色）可以（權(quán)利）在拍賣人發(fā)起競(jìng)拍后至競(jìng)拍結(jié)束前（前置條件），進(jìn)行出價(jià)

（動(dòng)作），如果出價(jià)大于目前所給最高價(jià)格（資產(chǎn)操作），則出價(jià)成功（后置條件）。

termno2:bidderscanBid

whenafterauctioneerdidStartBiddingandbeforebiddingStopTime

whiledepositvalue>highestPrice

wherehighestPrice=valueandhighestBidder=thisbidderandthisbidder::amount=thisbidder::

originamount+value.

@@條款3_1：若競(jìng)買人（角色）不是最高出價(jià)者，且當(dāng)前合約賬戶中存有其押金（前置條件），競(jìng)買人

可以（行為分類）取回?zé)o效押金（動(dòng)作），此后該競(jìng)買人押金清零（后置條件）。

termno3_1:bidderscanWithdrawOverbidMoney

15

JH/CIE159—2020

whenthisbidder::amount>0andthisbidderisn'thighestBidder

whilewithdrawthisbidder::amount

wherethisbidder::amount=0.

@@條款3_2：若競(jìng)買人(角色)是當(dāng)前最高出價(jià)者，且當(dāng)前合約賬戶中存有其之前的失敗押金（前置條

件），競(jìng)買人可以（行為分類）取回?zé)o效押金（動(dòng)作），并登記成為當(dāng)前競(jìng)拍最高價(jià)（后置條件）。

termno3_2:bidderscanWithdrawOverbidMoney

whenthisbidder::amount>highestPriceandthisbidderishighestBidder

whilewithdrawthisbidder::amount-highestPrice

wherethisbidder::amount=highestPrice.

@@條款4：拍賣人（角色）可以（行為分類）在競(jìng)拍時(shí)間結(jié)束后（前置條件），收取拍賣成交款（動(dòng)

作）。

termno4:auctioneercanStopBidding

whenafterbiddingStopTimeandbeforeauctioneerdidStopBidding

whilewithdrawhighestPrice.

@@仲裁條款：凡因本智能法律合約引起的或與其有關(guān)的一切爭(zhēng)議，均由北京互聯(lián)網(wǎng)法院管轄。

Arbitrationterm:Anycontroversyorclaimarisingoutoforrelatingtothiscontract,orthebreachthereof,

shallbesettledbyarbitrationadministeredbyinstitution:BeijingIneternetCourt.

@@合約訂立：本智能法律合約當(dāng)事人不得以任何形式修改本合約，除非以書面形式并經(jīng)雙方簽字。

本合約及其附件構(gòu)成合約雙方的完整協(xié)議。通過(guò)簽署本協(xié)議，各方同意上述條款。雙方各收到一份

本協(xié)議，并負(fù)責(zé)維護(hù)其條款。雙方同意將本合約轉(zhuǎn)化為智能合約平臺(tái)的計(jì)算機(jī)程序，并同意該程序

及其執(zhí)行具有相同法律效力。

Contractconclusions:Thiscontractmaynotbemodifiedinanymannerunlessinwritingandsignedby

bothparties.Thisdocumentandanyattachmentsheretoconstitutetheentireagreementbetweentheparties.

ThisContractshallbebindingupontheparties,theirsuccessorsandassigns.Bysigningthisagreement,all

partiesagreetothetermsasdescribedabove.Eachofpartieswillreceiveonecopyofthisagreement,and

willberesponsibleforupholdingitsterms.Bothpartiesagreewithconversionfromthiscontractto

computerprogramsonsmartcontractplatform,andapprovethattheprograms’implementationhasthe

samelegaleffect.

Signatureofpartyauctioneer（拍賣人簽字）:

{printed-Name（打印名）：YaoSan,

signature（法定代表人簽字）:0x23198de…393,

date（簽訂日期）:2020/7/12

}

Signatureofpartybidders（競(jìng)拍人簽字）:

{printed-Name（打印名）：柳灣,

signature（法定代表人簽字）:0x877238…201,

date（簽訂日期）:2020/7/12

}

{printed-Name（打印名）：秦源,

signature（法定代表人簽字）:0x9340593…495,

date（簽訂日期）:2020/7/12

}

}

16

JH/CIE159—2020

A.2智能法律合約示例——房屋租賃合同

@@房屋租賃合同協(xié)議書

contractHouseLease{

@@甲方信息：出租人，登記信息包括：用戶賬戶信息：0x82384a68…90e72。

partyRenter{

account:0x82384a68…90e72

}

@@乙方信息：承租人，登記信息包括：用戶賬戶信息：0x9845a6b…73c4e。

partyTenant{

account:0x9845a6b…73c4e

}

@@合約屬性：出租人押金、承租人押金、房屋租金、總租金、合約起始時(shí)間、合約終止時(shí)間、支付租金

的時(shí)間、租金支付周期。

typecontractInfo{

renterBail:Money

renantBail:Money

rental:Money

totalRental:Money

startLeasingTime:Date

endLeasingTime:Date

payDate:Date

payDuration:Date

}

@@標(biāo)的物：房屋，出租人應(yīng)提供產(chǎn)權(quán)號(hào)、地址、面積、用途、價(jià)格等信息。

assetHouse{

info{/*房屋的具體信息*/

ownershipNumber:Integer

location:Address

area:Integer

usage:String

price:Money

}

right{/*所有者可對(duì)該資產(chǎn)行使的4種權(quán)利*/

houseUseright:useRight

houseUsufruct:usufruct

dispositionRight:Right

ossessionRight:Right

}

}

@@條款1：出租人（角色）可以（行為分類）通過(guò)交納出租人押金（資產(chǎn)轉(zhuǎn)移）來(lái)注冊(cè)房屋信息（動(dòng)作）。

termterm1:RentercanregisterHouse

whiledepositinfos::renterBail.

@@條款2：承租人（角色）可以（行為分類）在出租人注冊(cè)房屋之后（前置條件），通過(guò)交納承租人押

金（資產(chǎn)轉(zhuǎn)移）來(lái)確認(rèn)租賃（動(dòng)作），動(dòng)作執(zhí)行之后要求自動(dòng)記錄當(dāng)前時(shí)間為合約的開始時(shí)間、且計(jì)算截止時(shí)

間并設(shè)置合約執(zhí)行有效期和承租人支付租金的時(shí)間（后置條件）。

termterm2:TenantcanconfirmLease

whenafterRenterdidregisterHouse

whiledepositinfos::tenantBail

whereinfos::startLeasingTime=nowandinfos::endLeasingTime=endLeasingDuration+now

andinfos::payDate=