李爽++曹楠

摘要：2015年8月，智能合約技術(shù)正式應(yīng)用于債券領(lǐng)域。本文介紹了智能合約的定義及特點(diǎn)，以及當(dāng)前兩大智能合約系統(tǒng)的簡要情況，最后分析了在我國債券市場應(yīng)用智能合約需要關(guān)注的幾個要點(diǎn)。

關(guān)鍵詞：智能合約 參數(shù) 自動化 可執(zhí)行性

2015年8月，智能合約平臺Symbiont 宣布首次發(fā)行“智能債券（TM）”，它免去了傳統(tǒng)的手工中后臺操作，并完全自動運(yùn)行，這使智能合約在債券領(lǐng)域的應(yīng)用取得了實(shí)質(zhì)性進(jìn)展。隨著區(qū)塊鏈技術(shù)的不斷發(fā)展，智能合約的發(fā)展速度也越來越快，并受到了各界的廣泛關(guān)注。為了對智能合約的生命周期管理提供支持，代替許多昂貴或效率低下的中介機(jī)構(gòu)，提高未來金融服務(wù)的效率，智能合約在金融領(lǐng)域的研究就顯得十分必要。特別是在債券市場，智能合約能夠增加債券交易的可靠性、可控性和交易速度，減少中間商確定投資者交易和支付合法性過程中的手動操作、驗(yàn)證和審核，因此該技術(shù)可能對債券市場產(chǎn)生重大影響。

智能合約的定義

尼克薩博（Nick Szabo）認(rèn)為一個智能合約是一套以數(shù)字形式定義的承諾，包括合約參與方可以在上面執(zhí)行這些承諾的協(xié)議。智能合約的基本理念是，許多合約條款能夠嵌入到硬件和軟件中。

斯塔克（Josh Stark）從兩個方面對智能合約進(jìn)行解釋。一方面是在實(shí)際操作中，指軟件代理執(zhí)行某些義務(wù)，可以在共享總賬中擁有某些資產(chǎn)的控制權(quán)。如在區(qū)塊鏈中存儲、驗(yàn)證并執(zhí)行的代碼，他把這種類型定義為“智能合約代碼”。另一方面，指解釋法律合約在軟件中如何表達(dá)和執(zhí)行，因此也涵蓋操作領(lǐng)域，如法律合約如何起草、法律條文如何解釋等問題，他把這種類型定義為“智能法律合約”。

布萊恩（Lee Braine）把智能合約定義為一份協(xié)議，其執(zhí)行具有自動化以及強(qiáng)制化的特點(diǎn)，通過電腦就可以自動執(zhí)行，某些部分可能需要人工輸入和控制，強(qiáng)制化可能是通過有權(quán)力和義務(wù)的執(zhí)法部門執(zhí)行或者防篡改機(jī)制執(zhí)行。

智能合約的特點(diǎn)

綜合分析斯塔克（Josh Stark）和布萊恩（Lee Braine）兩人對智能合約的定義，不難發(fā)現(xiàn)智能合約必須具有自動化和可執(zhí)行性兩個特點(diǎn)。

（一）自動化

如果說一個智能合同是自動化的，不是指它自動被執(zhí)行，因?yàn)樵趯?shí)踐中有些法律協(xié)議執(zhí)行可能不是自動的，需要人工輸入和控制。然而，要實(shí)現(xiàn)“智能合約”，需要執(zhí)行的某些部分必須是自動的，否則這個合同就不智能。自動化通常意味著由一個或多個計算機(jī)執(zhí)行，它是“電子手段”的代名詞。一個自動運(yùn)用智能合約的典型例子，就是格里格（Ian Grigg）設(shè)計的由條文、參數(shù)和代碼組成的李嘉圖合約（Ricardian Contract）1。

（二）可執(zhí)行性

智能合約代碼和智能法律合約的最大不同是哪些要素需要強(qiáng)制執(zhí)行。對于智能合約代碼，最關(guān)鍵的要求是代碼必須執(zhí)行成功和按時準(zhǔn)確地完成。對于智能法律合約，事情可能復(fù)雜得多。通常，法律合同將有大量的權(quán)利和義務(wù)添加到協(xié)議各方，并具有法律效力。這些通常在表達(dá)上比較復(fù)雜、用詞敏感，法律條文涉及的可能不只是個人行為。雖然某些研究機(jī)構(gòu)正在推行智能合約防篡改代碼，但其實(shí)最好的辦法是將智能合約放在由防篡改網(wǎng)絡(luò)序列構(gòu)成的執(zhí)行體系當(dāng)中，也就是需要建立一個智能合約模板。

智能合約系統(tǒng)

目前，智能合約系統(tǒng)主要有兩個，分別是Ethereum（以太坊）和Symbiont。以太坊主要是使用Solidity編寫智能合約，并在微軟云服務(wù)上提供了智能合約工具箱，運(yùn)行在以太坊區(qū)塊鏈上，其平臺因多功能性和智能合約執(zhí)行能力成為銀行業(yè)和互聯(lián)網(wǎng)金融行業(yè)的首選，納斯達(dá)克、摩根大通、VISA和高盛等多家金融機(jī)構(gòu)均使用以太坊的智能合約系統(tǒng)。

Symbiont起源于Counterparty（合約幣）項(xiàng)目，旨在建立第一個用于發(fā)行區(qū)塊鏈智能證券和交易智能證券的平臺。Symbiont認(rèn)為以太坊智能合約系統(tǒng)未來成功的概率非常渺茫，因此正在建立一個匿名的、擁有更加安全代碼庫的智能合約系統(tǒng)，這個系統(tǒng)不需要打破并重建金融網(wǎng)絡(luò)體系，能夠最大限度地保證電子貨幣的流通性。目前，數(shù)字安全巨頭金雅拓與Symbiont達(dá)成合作協(xié)議，讓金融機(jī)構(gòu)更安全地在以區(qū)塊鏈為基礎(chǔ)的平臺上執(zhí)行交易和智能合約。

智能合約在債券市場應(yīng)用的設(shè)想

在我國，如果要讓智能合約技術(shù)在債券市場廣泛應(yīng)用，就必須建立一個能夠?yàn)閭灰滋峁?fù)雜的、為法律協(xié)議所支持的智能合約模板。在設(shè)計過程中，智能合約模板應(yīng)該可以將復(fù)雜的債券法律條文用參數(shù)進(jìn)行表示，并借助監(jiān)管機(jī)構(gòu)或者行業(yè)協(xié)會的力量發(fā)布或共享標(biāo)準(zhǔn)化的智能合約代碼，最后通過一個獨(dú)特的、規(guī)范的語言來實(shí)現(xiàn)以上的操作內(nèi)容。

（一）增加參數(shù)的復(fù)雜性

在債券交易的法律文件中，大多數(shù)參數(shù)有簡單的類型，如日期、數(shù)字等，但有的參數(shù)就比較復(fù)雜，如違約、質(zhì)押條件等，這些寫入智能合約的參數(shù)必須能夠被轉(zhuǎn)換成可執(zhí)行的代碼。使用參數(shù)可以支持標(biāo)準(zhǔn)化代碼在債券市場的推廣，未來可能會看到越來越多的債券交易法律條文被算術(shù)或邏輯表達(dá)式所取代，這將大大減少債券交易法律條文解釋的歧義和錯誤。

（二）增加標(biāo)準(zhǔn)化代碼的使用

在債券交易中使用標(biāo)準(zhǔn)化代碼對于提高交易效率是很重要的，因?yàn)椴煌闹悄芎霞s代碼會應(yīng)用于每一個不同的交易。盡管標(biāo)準(zhǔn)化代碼有很多優(yōu)點(diǎn)，但也面臨著一些問題，因?yàn)槊總€機(jī)構(gòu)都管理著自己獨(dú)特的代碼庫，機(jī)構(gòu)與機(jī)構(gòu)間的代碼庫無法實(shí)現(xiàn)共享和溝通。希望在潛在的經(jīng)濟(jì)利益變得更加清晰和技術(shù)愈發(fā)成熟的支撐下，我國債券監(jiān)管機(jī)構(gòu)或者行業(yè)協(xié)會能夠制定并發(fā)布標(biāo)準(zhǔn)化的智能合約代碼，或者統(tǒng)一現(xiàn)在使用比較廣泛的代碼。

（三）需要一種獨(dú)特的語言

目前，Ethereum（以太坊）使用的Solidity語言和Symbiont使用的高級別語言核心技術(shù)并非我國所掌握，所以對于在我國應(yīng)用智能合約而言，最大的一個挑戰(zhàn)是需要開發(fā)一個屬于我國自己的規(guī)范性智能合約編寫語言，來表述債券交易領(lǐng)域復(fù)雜的法律文件，使合同中的執(zhí)行參數(shù)可以被自動地識別，并轉(zhuǎn)化成標(biāo)準(zhǔn)化的代碼。這種獨(dú)特的、規(guī)范的語言必須能為法律條文和參數(shù)提供支持，識別不同內(nèi)部結(jié)構(gòu)化格式的導(dǎo)入，支持各種格式執(zhí)行參數(shù)的輸出，并提供一個開放的代碼庫，實(shí)現(xiàn)新增加代碼的有效共享。

注：1. 李嘉圖合約可以被定義為一個簡單的文檔：由發(fā)起人提供給持有者的協(xié)議；持有者享有一定的權(quán)利，由發(fā)起人管理；容易被人理解；是一種可讀的程序（解析得像一個數(shù)據(jù)庫）；有數(shù)字簽名；攜帶密鑰和服務(wù)信息；有一個獨(dú)特的安全的標(biāo)識符。

作者單位：中國人民銀行葫蘆島市中心支行

責(zé)任編輯：饒林 劉穎