中国
北京国际科技产业博览(lǎn)会(huì)(简(jiǎn)称“科博会”) 迄(qì)今已(yǐ)连(lián)续(xù)举(jǔ)办二十二届,是每年定期(qī)在北京举办(bàn)的(de)国(guó)家级高新技术产业(yè)国(guó)际交流与合作的国际(jì)盛(shèng)会。“中国
区块链(liàn)发展
论坛”作为科博会的重要活(huó)动,于2020年9月17日在北京召开。论坛主题为:区块链赋能数字经济与实体经济深(shēn)度融合发展,论坛邀请(qǐng)国(guó)内外区块链领域知(zhī)名专家学者、区块链相关组(zǔ)织负责(zé)人及知名(míng)区块链(liàn)企业高层共同参与,围(wéi)绕(rào)区(qū)块链相关技术创新、规模化商业应用及产业(yè)生态营造等内容,探讨区块链未来发展(zhǎn)趋势。北航国家“千人计划”特聘(pìn)教授、赛迪区块链研(yán)究(jiū)院名誉(yù)院长蔡维德(dé)出席会(huì)议(yì)并发言。
以(yǐ)下为(wéi)会议(yì)实录(lù):
谢谢各位领(lǐng)导、院士专家。今天我在这边(biān)跟大家分享一个智能合约五大突破,最近出了两(liǎng)本书第(dì)一本下个礼拜出,法律出(chū)版社,《智(zhì)能合约(yuē):重构社(shè)会(huì)契约》。今天的演讲是把这本书(shū)里(lǐ)面国外五个大突(tū)破。
第二本书(shū)是《互(hù)链网》,这本书说(shuō)整(zhěng)个的IT产业,包括(kuò)互联网,数据(jù)中心,操(cāo)作系统,数据(jù)库,应用,都可以全(quán)面(miàn)区块链化。在链化的(de)流(liú)程,很多方面都(dōu)被改变。10月24号说区块链是中国自主创新科技重要突破(pò)口,以(yǐ)后全盘链化的IT系统、通讯系统、网络系统会(huì)出现,这书可能10月发行。
智能合约五大突破,简单来讲就是标准化、系统化、合规化、价格化、工程(chéng)化(huà)。
刚才的李主席讲到标准化,刚才院士谈到的各项系统,智(zhì)能合(hé)约这(zhè)个(gè)工作一直(zhí)是没(méi)有标准化的(de)工作,标准化工作应该是(shì)在2019年(nián)年底的时候才在(zài)国外第一次出现,事实上第一个智能合约标(biāo)准化的工作(zuò)是国际ISDA协会(International Swaps and Derivatives Association)提出的。ISDA提出(chū)的(de)标准化的工(gōng)作是合规智能合约例如上(shàng)最大的突破,它让我们知道(dào)什么才是真(zhēn)正的智能合(hé)约的流(liú)程。最(zuì)早期(2013-2017),只要开发(fā)了代码,就成为智能合约,后来是开(kāi)发了基于现(xiàn)在(zài)
金融市场(chǎng)流(liú)程(chéng)的软(ruǎn)件就是智(zhì)能合约(yuē)(这是DeFi的(de)方法)。可是在ISDA眼中这些不是智(zhì)能(néng)合约。这样(yàng)智能合约有(yǒu)一(yī)大堆漏洞。我们差(chà)不多每天都(dōu)会听到一些DeFi 系统出问题,例如稳定(dìng)币价值被人为拉(lā)高。这些问题在ISDA标准报告都有(yǒu)预(yù)测。ISDA认为不能直接(jiē)把现在的金融变成合约(yuē)。现代的金融流程需要更(gèng)新后才能(néng)变成智能合约。这样智(zhì)能合约合约(yuē)的定义、流程、平台设计需(xū)要(yào)推(tuī)翻,这是(shì)个大突破。
二是来(lái)李(lǐ)嘉(jiā)图合约(Ricardian Contract),现在(zài)合规智能合约发展实际上(shàng)是根据李嘉图(tú)合约发展(zhǎn),包括美(měi)国雅阁(gé)项目(Accord Project)他们(men)工作是根据李嘉图合约的路线,现在(zài)的智能合约应该叫李嘉(jiā)图合约(yuē)。
三是美国大宗商品期货交(jiāo)易委员会(CFTC)提(tí)出两个重要概(gài)念,认为智能合(hé)约(yuē)两的意义(yì):交易和监管。这代表(biǎo)以后(hòu)区块链和智能合约系统的设计和方案都大不相(xiàng)同。
四是英国央行(háng)2020年3月提出三个问题,虽然没有提出架构,但是从(cóng)这三个问题可以导出3种(zhǒng)不(bú)同的智(zhì)能(néng)合约架构,这是在智(zhì)能合约系(xì)统上面有(yǒu)巨大的变(biàn)化。
五是2018年美国(guó)提出智能(néng)合约平台雅阁(gé)项目(Accord Project),它提出(chū)的智能合约平台不同(tóng)于一些极(jí)客做的智(zhì)能合(hé)约,完全是以法(fǎ)律(lǜ)合规(guī)来,等(děng)下会(huì)可以看(kàn)到到底怎(zěn)样的突破。
标(biāo)准化突破:首先是ISDA提出智能合约标(biāo)准。ISDA是一个国际(jì)标准组(zǔ)织,由15个金融机构支持的协会。从2018年开始就一直在研(yán)究智能合约标准,它主要是做金融衍生品交易,ISDA提出5大(dà)主题(tí):事件、付(fù)款(kuǎn)和交付、出清轧差、争议(yì)和(hé)合同(tóng)订(dìng)立与法律的关系。从这5个主题出(chū)发,和传统智能合约发展路线彻底分(fèn)开。传统(tǒng)以代码出发(fā),这里以金融(róng)事件(jiàn)出发。
ISDA提出外在和内部事(shì)件(jiàn)是相互交互的(de),是(shì)一种复杂系统。根据这样系(xì)统,改变了我们对于智(zhì)能(néng)合约的认知,以前的智(zhì)能合约的认知就是找一些极(jí)客(kè)把(bǎ)代码写出来,这是最(zuì)早的(de),后来在DeFi是拿着证券交易所的流程变成智能合约。但是ISDA认为这些会有一大堆问题(tí)。现(xiàn)在的流程有一(yī)些是人(rén)工的,而人工流程自动化(huà)需要大量的创新(xīn)。以前的流程跟现在在智能合约上的流程是不一样的,这是第一点。
第二点智能合约是由事件(jiàn)启(qǐ)动的(de),如果这样智能合约大部分的工作还没开(kāi)始,因为这(zhè)样平台(tái)还没出现。
第三点是一般人说只是(shì)需(xū)要预言机和区块(kuài)链系统,右边的图是根据ISDA它(tā)所列出来的各项事件,列成一个事(shì)件处理,这种(zhǒng)事件处理跟传统不一样(yàng)。
它在学术上(shàng)的影响,它(tā)把(bǎ)现代的金融系统(tǒng)分成两(liǎng)大流程,一个是人工,一个是自动,它认为人工(gōng)的系统处理需要更(gèng)新的自动(dòng)化,这个需要(yào)进行研究。就(jiù)是(shì)我刚才说的DeFi的问题,智(zhì)能(néng)合约(yuē)需要一种自(zì)动事件处置系统, 烽火台(tái)就是一个平台例子(zǐ)。
系(xì)统(tǒng)化突破:李嘉(jiā)图提出一个重要概念,如果我(wǒ)们要做可执行(háng)合同(Computable Contract),第一步就是把(bǎ)现在的(de)合同变成模块模型,让后自动(dòng)化。右边可以(yǐ)李嘉图合约是把(bǎ)现代的法律合同变成可计算合同模板,根据这个模板再来开发智能合约平台,这就走到(dào)一(yī)个(gè)正确的路上了。这是认知上巨大的差(chà)距(jù),因为以(yǐ)前说写一(yī)个代码就可以做智能合约,李嘉图合约说不行(háng),你(nǐ)这样做一定没有法律效力,要从合规合同模版出发(fā),如果我们(men)看2018年开始的雅阁(gé)项目(mù),还有斯坦福大学法学院的CodeX项目,这(zhè)些都是(shì)根据李(lǐ)嘉图合(hé)约的(de)路线,因为有这(zhè)样的架构,可以加上
人工智能,大数据,可还有加(jiā)上其他的技术进来,进行了一个铺垫。
合(hé)规化突(tū)破(pò):CFTC是在2018年发布(bù)出(chū)智能合(hé)约入门指南。虽(suī)然(rán)是(shì)入门指南,可是却提出两个(gè)犀利的观点(diǎn),第(dì)一个观点(diǎn)说智能合约(yuē)不是逃避监管,是监管(guǎn)的利器。
另(lìng)外(wài)一个观点(diǎn)说(shuō)智能合约的两大应用,一是交易,二是监管。这就打破了传统对智能合约的概念,以(yǐ)前(qián)智能合约都是(shì)给数字代币,例如
比特币、
以太坊(fāng),他们就是要(yào)躲避证监会,而CFTC说这些(xiē)监(jiān)管单位可以(yǐ)用智能合(hé)约。
另外也(yě)可以提出很重要的概念,一个链(liàn)如果不能做交易,其(qí)作用大大减少。等于是把区块链一分为二,一个叫存证链,一个叫交易链,因为有的链(liàn)做了半天只能做存(cún)证,存证有(yǒu)用,但(dàn)是没有做交易,因为(wéi)没有交易完(wán)备(bèi)性。没有交易完(wán)备性,一旦交易(yì)就会出问题。
一些链说我的链跑得多快(kuài),但是非常(cháng)有可能这些链没有交易完备性(xìng),所以做金融交易的(de)时候可能就会出问题。就像DeFi的流(liú)程(chéng)都是根据现在正规(guī)的流程,但是跑上(shàng)去会出(chū)现一堆的(de)毛病,ISDA说的你的程序不对。这边(biān)CFTC也说有些链不能做交易,只能做(zuò)存(cún)证。
另外CFTC说智能合约(yuē)不(bú)是完成一笔(bǐ)完整的交易(yì),因为现在的金融(róng)交易(yì)可能有(yǒu)20-30个子流程(chéng),一(yī)个智能合约就只执行这些子流程,不是执行整个流(liú)程。完成整个流程会使(shǐ)系统非(fēi)常(cháng)复杂(zá)。这概念对整(zhěng)个(gè)智能合约是全盘的(de)改变。以前认为智能(néng)合约是完整交易,现在变(biàn)成(chéng)部分交易。智能(néng)合约(yuē)就(jiù)变成了组装化(huà)、集成化、标(biāo)准化的技术,这(zhè)个有巨大的差别。
而且CFTC认为智能合约标准是可以由(yóu)监管(guǎn)单位提出,这样所有的金(jīn)融机构都使用同(tóng)样(yàng)智能合约,这(zhè)样整个产业就可以统一管理(lǐ)起来。
架构化突破:这(zhè)个是2020年疫(yì)情期(qī)间英国(guó)央行出了一(yī)个
数字(zì)货币的文章,这(zhè)个文章内有三段(duàn)话说(shuō)智能合(hé)约应该放在(zài)哪(nǎ)里(lǐ)?
§ 第一是智能合约要不要放在跟客(kè)户接口的地方?
§ 第二(èr)是把智能合约放(fàng)在区块链平台里面(miàn)?
§ 第(dì)三(sān)说把智能合(hé)约系统放在区块链外面跟它平行?
这(zhè)代(dài)表智能合(hé)约(yuē)可以(yǐ)和区块链系统脱离(lí)的。如(rú)果是这样,现(xiàn)在区块链和智能(néng)合约的架构和传统就不同了。而(ér)分(fèn)离的(de)结果致使一(yī)个全新(xīn)的(de)产业(yè)出来。
左边的(de)图把一(yī)个链(liàn)分成三个智能合约(yuē),可以在交易前、交易中、交易后(hòu),刚才看到柴院士(shì)有个交易前、交易中、交易后,我们也是把监管分(fèn)成三份(fèn),每一个部(bù)分智能合(hé)约都不(bú)一样,智能合约是在不(bú)同的地方,有不同的(de)代码,做不同的事, 而(ér)且是标准化。多(duō)个区(qū)块链系统可以同用(yòng)一个智能合约系统(tǒng),为(wéi)什么?因为(wéi)这个智(zhì)能合约可(kě)能是监管单位提供的,所有的金(jīn)融单位(wèi)都必须使用(yòng)同样的智能合约,这(zhè)样好监管。最后变成多个链跟(gēn)多个智能合约是可以互相(xiàng)沟通的。这等于一种全(quán)新的(de)区块链(liàn)架构出(chū)现。
对(duì)学术的影响,整个智能合(hé)约还有整(zhěng)个的区块链架构都不一样,对区块链还有(yǒu)作业原则也都不一样,比如说计算原(yuán)则(zé)、传送原则(zé)都不(bú)一(yī)样,因为里面的基本架构不(bú)一样,理论也不一样。所以区(qū)块链跟智能合约(yuē)之间本身是一(yī)个跨链的行为(wéi),本身(shēn)也要有数字身份证。
工程化:这个(gè)项目是在(zài)2018年是美国提出项目,是由美国(guó)和英国(guó)的律师一起开始的系统。他们提出(chū)来智(zhì)能合约(yuē)不能构成代码出(chū)发(fā),而是从可以计算(suàn)的法(fǎ)言法语出发,不仅是一种合(hé)同,还(hái)是一个建模模型和语(yǔ)音。这个路(lù)线是(shì)跟(gēn)李嘉图的(de)模型路线走下来的(de)。
李嘉图说(shuō)我(wǒ)们要分成(chéng)几个模块,每个模(mó)块里(lǐ)面都有(yǒu)自己的建模(mó)语言,这样(yàng)智能合约工作(zuò)就成了软(ruǎn)件工(gōng)程还有系统工程。因为现在还没有几(jǐ)个法言法语的建模语(yǔ)音(yīn)和模型出现(xiàn),对(duì)我们来讲是一个新的认知。
它(tā)里面还有(yǒu)一(yī)个很漂亮的(de)事(shì)情,它把(bǎ)形式化(huà)的(de)语言应(yīng)用在可计(jì)算的法言法语内,这是全世界第一个这么做。现在形式化语(yǔ)言很多,可是(shì)形式(shì)化语言变成法言法语和可执行(háng)的合同,全(quán)世界(jiè)这是第一个。所(suǒ)以(yǐ)它(tā)的(de)学术(shù)影响是(shì)合规形(xíng)式化建(jiàn)模(mó)语言出现。
这完全是为了(le)合规,智能合约不(bú)能(néng)像以(yǐ)前那样,随便(biàn)找几(jǐ)个极客(kè)做完就结(jié)束,所有的(de)智能合约都必须有合规性,法律性,执行完(wán)之后才有法律的效力,而(ér)且需要非常(cháng)多的验证,包括法律上的(de)验证(zhèng)和计算机上的验证。产业上就会有(yǒu)一个可计算的法言法语包括建模语言和工具出(chū)现,这会是完全新的产业。
版权(quán)申明:本内容来自于互联网,属第三(sān)方(fāng)汇集(jí)推荐平台(tái)。本文(wén)的版权归原(yuán)作者(zhě)所有,文章(zhāng)言论不代表链(liàn)门(mén)户(hù)的观(guān)点,链门户不承担任何法律责任(rèn)。如有侵权请联系QQ:3341927519进行反馈(kuì)。