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