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