蔡维德:“智能合约”已有新定义 如何解读?

编者按:5月24日,中国人民大学重阳金融研究院高级研究员、北京航空航天大学教授,清华长江讲座教授,北航数字社会与区块链实验室主任蔡维德,在人大重阳主办的“新型货币战争的科技、市场、监管”系列直播活动第六讲中,分享了他对“互链网改革”的最新思考。以下为直播视频及实录。

核心要点

智能合约的思想发生了很大的变化,智能合约、区块链已经有新定义了。在以太坊出现时,就有了智能合约,后来不久又有了预言机,区块链现在是一个账本系统+智能合约+预言机。

无论是英国、德国还是美国,他们都认为智能合约带来“可编程经济”,可编程经济带来高速交易,高速交易带来了高流动性。

传统流程在过程中,人可以做一些灵活的改变,可是现在智能合约是自动执行,自动执行时出现的错误由谁负责就变成了一个很复杂的问题。ISDA表示数据来源需要是非常正确的,预言机+智能合约才是一个完整的应用。

传统来讲,计算机在法学上只是做分析,包括大数据、逻辑学、认知学。在哈佛大学、清华大学等高校中,有很多教授做的工作是逻辑学,他们都是用逻辑学来分析,还有IBM Watson律师,这些都是传统上用在法律分析,但智能合约却在法律执行,这是一个巨大的差别。

之所以使用“智能合约改革”为题目,是因为智能合约的思想发生了很大的变化,智能合约、区块链已经有新定义了。在以太坊出现时,就有了智能合约,后来不久又有了预言机,区块链现在是一个账本系统+智能合约+预言机。而这3个合作系统,本身都有很大的变化。

· 区块链控制数据,保证数据不能被篡改。

· 智能合约控制流程,智能合约工作的发展非常重要,因为它带领这个领域走向了产业化,智能合约不再是黑科技,而是一种产业化产品。

· 预言机和外面接触,控制外面的系统。

区块链、智能合约和预言机组成一种复杂系统,而且组成机制也发生变化,以前是死绑定,现在可以动态改变。预言机是专门收集数据、验证数据和传送数据的,所以预言机可能是最复杂也是最多的。

智能合约

智能合约技术至少有30年到50年的历史,虽然没有用智能合约这名词,但事实上已经存在。在我做学生时,就有类似的机制在数据库(databases)、操作系统(operating systems)里,后来有服务计算(Service-Oriented Computing),也有类似的机制。

但这次智能合约和以前不一样,这次是自动执行金融交易,这与传统的自动执行代码不同。以前代码失败了,系统就会产生错误信息,或是停机,虽然有损失,但损失还不是太大。

如果现在智能合约系统出错,意味着金融交易出问题,如果常常出错,就有系统性问题,在金融上就出现系统性风险,系统性风险产生的损失是非常大,会影响到国家经济。例如RTGS(Real-Time Gross Settlements)系统,就是一个系统性重要系统,如果出错,问题非常大,很大部分国家经济就会停止,而英国央行早以提出使用区块链和智能合约在RTGS系统上。因此智能合约变成一件非常重要的事情。

传统可编程经济

智能合约代表一种可编程经济(programmable economy)。传统来讲,这种可编程经济解释成可编程交易。可编程交易是指条件满足了,我们就可以自动执行交易。

新型可编程经济=可编程交易+可编程货币

可是现在智能合约或可编程经济已经不再是这样,而是一种可编程交易加上一种可编程货币,货币本身也是可以编程的,也就是使用货币与管理货币可以分开来,这是一个新的思想。所以,这种可编程的经济已经变成了两个,不再是被动的,连管理货币都是可编程的。

声音 | 北航教授蔡维德:区块链产业必须有诚信 这是区块链的初心:北航教授蔡维德表示,我们不可能拿一个“欺诈机器”来解决信任问题,信任问题必须用“信任机器”来解决。区块链产业和使用的区块链必须有诚信,诚实开发区块链技术,使用真实的区块链,不使用中心化的伪链, 不使用空链或是胡链,在实体产业上应用, 使社会和实体产业进步更加诚信。这就是区块链的初心,也是区块链产业生存的目的。[2019/1/24]

可编程经济重要:德国银行协会关心的课题

可编程的经济一直都在被讨论,并被认为是非常重要的。2019年脸书Libra事件时,德国银行业协会表示,脸书的Lirba固然可怕,更可怕的是在后要来的可编程经济,德国人最害怕的不是区块链,而是害怕预言机和智能合约系统。

英国人重视法律,积极推有法律效力的智能合约标准

英国人对智能合约非常积极,英国在2018年推出智能合约应该融入英国法律,就是以后在英国智能合约就是有法律效力的合同。而且认为英国这样做,对英国有利,也是英国法律大改革。可以说英国认为智能合约是法律界的大改革。

德国人认为可编程经济、可编程货币是世界金融战争的巨大工具,而英国则是快速把它合法化,这两个国家处理的方式不同。英国重法,而德国重商。

无论是英国还是德国,他们都注重一件事情,如果交易变成可编程,交易速度会变得非常快,而且它是一种自金融组织,也就是说一个单位自己慢慢就会变成一家金融公司,比如卖大米就变成了大米金融公司,泛金融公司。高速交易和自金融组织就是可编程经济的一个发展。

德国重视智能合约的商业应用

虽然可编程经济只讨论科技问题,但事实上它背后带来的经济、货币和金融意义是非常大的。特别是德国人看重这件事,他们认为可编程的经济是以后金融竞争最大的竟技场。2019年德国银行业协会和德国央行等各个组织都在传递这的观点,2021年他们发表的一些演说和报告也专门讨论了这件事情,可以说世界上可编程经济最活跃的国家就是德国。

无论是英国、德国还是美国,他们都认为智能合约带来“可编程经济”,可编程经济带来高速交易,高速交易带来了高流动性。比特币的流动性已经超过世界上大部分国家,只有少数几个国家还没有被超过,这是一件让人惊讶的事情。

2020年11月美国一篇报道表示比特币的流动性已经超过英国、俄罗斯流动性的总和,这样比特币已经实质上影响到世界合规金融市场(而不是影响到地下市场),后来(2021年3月)只剩2个法币流动性没有被超过。这带来的信息太过惊讶,2021年2月美联储公开承认比特币正在挑战美元,因此必须将这事处理好。

2020年5月欧洲央行出台的一份报告表示,脸书稳定币如果出来会有3万亿资金,加上可编程经济,这将会富可敌国,会是非常厉害的金融工具。这会成为欧洲最大的货币基金,影响太大。

MIT数字社会项目预测经济大爆发

2012年麻省理工学院媒体实验室推了“数字社会项目”,此后我在北航建立了数字社会与区块链实验室。这个项目中的一个重要概念是高流通性可以带来重大的经济发展,后来我再中国演讲时也多次提到这个概念。

我们都估计过低了,美联储重视这数据

2016年1月我与一位英国资深银行家朋友在国开行进行讨论,并建议在各种金融活动上使用区块链。该银行家表示这样做的话流通性预计会成长一倍,时间会减少一半,价值和经济活动将会成长一倍。

由于当时没有数据,我在中国演讲时保守表示增长10%,对于至少10%的成长我是有把握的。

2020年9月国际货币基金组织发布文章《可编程的数字资产如何改变货币政策》(How ?programmable ?digital ?assets may ?change ?monetary ?policy)比较了数字货币与传统银行存款账户的流通性,得出的结果是流通性可以增长20倍。这远远超过英国银行家的预测,也远远超过我以前使用10%的预测。这文也表示这样的数据一直是美联储关注的,因为这会影响到宏观经济以及国家货币政策。

声音 | 蔡维德:中国区块链发展需要建立新型监管沙盒:据南海网消息,国家“千人计划”特聘专家、北京航空航天大学博士生导师蔡维德在昨日的海南“互联网+”创新创业节区块链创新应用大会上表示,监管沙盒通过公司的金融服务创新,为消费者带来福利,同时使公司有资金和控制风险的能力。他提出,区块链产业沙盒计划通过细化规则,形成切实可行的产业监管体制,可防范、识别、预警、告警、处置应对区块链产业应用的风险。蔡维德认为,中国区块链发展需要建立新型监管沙盒,沙盒在中国的推广使用,将加速中国建立区块链产业,成为亚洲甚至世界区块链领先国家。[2018/12/12]

2016年1月我们在国开行会议时,我们预测数字货币的速度会是传统货币的2倍,但因为没有实际数据可以支持,在分析时保守的预估可以增加10%的速度,这也是我们过去多年一直使用的预测。可是国际货币基金组织得出的数据是最低20倍!这远远超过我们保守的估计(10%),也远远超过我们原来评估的增加速度(2倍)。

在一些公开演讲,例如2016年8月工信部演讲、2017年网信办会议、2019年国家发改委演讲,都是使用10%的增速来预测数字货币对经济的影响,当时的评估出来的经济效益已经非常大。而这次国际货币基金组织的数据将会给实体经济带来更加巨大的影响。

数字货币或以区块链为主的数字社会很有可能将会带来巨大的经济红利。虽然这相差20倍的流通性不太可能带动20倍的经济成长,但确实是能带来经济成长的。

智能合约改变金融市场

我在2020年11月提出数字经济的成长路线,一是支付,二是投资,三是自金融,这是币圈以及合规市场都做的一件事情。2021年5月中旬,我们发现币圈已经正式走向了自金融,币圈的自金融也开始合规化,也就是合规市场的支付和合规市场的银行走向数字经济,以及合规的百行百业也正在走进数字经济,在这时候智能合约就是最后的武器。所以,智能合约的发展会决定每个国家后来的经济发展。

今天的演讲分为两个部分:一是智能合约发展的历史;二是新型智能合约与预言机。

智能合约这名词是由扎博(Szabo)提出来的,扎博也是开发比特币的人(前面第2讲提到)。扎博在1994年提出了一个概念,代码可以是合约。扎博通过贩卖机(图1)举例,当我们把钱放进去的时候,贩卖机就给我们饼干或者糖果,双方都没有签字,也没有看到合同,但他认为这事实上是一个合同,后面的代码就是智能合约,这是扎博当时提出的智能合约的起源。

图1: 贩卖机案例启发萨博“智能合约”概念,但后来英国不同意这观点

合同可以看不懂,但是不能不给合同双方看过

25年后,英国法律协会开会时考虑把智能合约变成英国有法律效力的合同,但交易双方不需要看合同这一点没有得到英国法律界的认可。没有机会让客户看合同就算有合约在英国法中是不可能成立的。英国法律协会的观点是合同可以看不懂,例如使用外国语言写的(或是使用难读的法律语言),使人看不懂,但是看不懂的合同也可以有法律效力。但是不让客户看合同(例如贩卖机),是没有法律效力的。因此代码可以难以看懂,但一定要让客户有机会看才能有法律效力。由于一般上贩卖机合同没有给客户看,这案例不是“智能合约”。

约满天下

扎博提出了另外一个观点:“约满天下”,以后智能合约必定到处都是。我提过“链满天下”,但是还有“约满天下”。

原始智能合约定义,“智能”代表什么意义

扎博原始智能合约定义,智能代表:1)使用正确的代码;2)使用正确的数据;3)在正确的时间;4)正确地执行合同条款 。

这智能合约和区块链没有关系(当时还没有区块链系统),而且和人工智能没有关系。后来智能合约的后续发展,加进了人工智能 。?

独家 | 蔡维德:稳定币以前被认为是市场不稳定的来源之一:金色财经独家采访到蔡维徳,在问到USDT等稳定币是否会有崩盘危险时,他表示,稳定币以前被认为是市场不稳定的来源之一,市场上也有人批评称Tether乱发币,没有足够美元支持。[2018/10/15]

在原始智能合约的定义中,“智能”只是代表“使用正确的代码和数据在正确的时间正确地执行”,和人工智能没有关系,和区块链系统也没有关系。原始智能合约就是代码,而这代码自动执行合同上的条款。但是原来概念只是想法,萨博没有提出如何是智能合约成为有法律效力的合同。

智能合约的名字是扎博提的,但概念是Ian Grigg提的,1995年Ian Grigg提出了李嘉图合约(Ricardian Contract)。扎博和Ian Grigg都有法律背景,Ian Grigg看到美国大部分的法律合同是标准化的,他认为如果要做智能合约就要先有标准,下图代表了一个标准化的模板,如果要开发智能合约就要先有模板。(备注:Ian Grigg 并没有使用智能合约这名词,而使用李嘉图合约这名词,在文献中,有学者区分这2个合约的定义。但是我们认为这2个路线事实上都是智能合约,而且后来合规智能合约的发展是根据李嘉图合约。)

直接翻译合同到代码是很困难的

2018年斯坦福等大学要开发智能合约,他们拿实际的英文合同直接翻译成代码。但这立刻就碰到了死胡同,因为合约变成代码是非常难的。当时斯坦福大学还表示要自动化,这更加不可能。

图2: 李嘉图合约模版

合同模版先翻译到代码模版

李嘉图合约表示每个合同模板后面都有代码模板,虽然没有用智能合约的名字,但它用了可编程的合约(Ricardian Contract),事实上李嘉图合约是真正的智能合约。我认为Ian Grigg事实上是智能合约真正的开发者,后来所有合规智能合约的工作都是走在李嘉图(Ricardian ?Contract)合约的路线上。

有模版后还可以加机器学习

斯坦福大学后来做了一个法律合同工作CodeX,他们还做了一个可计算的合同(computable contract),computable contract里面还加了机器学习和一些合同模板,这些都是根据李嘉图合约开发的。所以,现在如果要有法律效力的智能合约,都是走在李嘉图合约路线上,没有走在扎博的合约上。

七层模型是数字金融架构的前生

Ian Grigg还写了另外一篇文章,叫做七层模型。七层模型是加密、软件、权利、会计、治理、价值、金融,用这种模型就可以做一个可计算的金融市场,这才是真正的金融系统。这个概念事实上就是可编程的经济、可编程的交易、可编程的货币。

雅阁项目走在李嘉图合约的基础上

后来美国与英国合作了一个叫做雅阁项目(Accord Project),雅阁项目完全走在李嘉图合约路线上面,此外雅阁项目还用到了区块链,而李嘉图合约当时还没有区块链。不过雅阁项目的原材料很难读,学起来也很痛苦。

图3: 雅阁项目跟随李嘉图合约路线

不只是雅阁项目,几乎其他想有法律效力的智能合约系统都走李嘉图合约路线。由于直接从萨博路线开始实在太难了,斯坦福大学已经尝到这苦头。

2015年一位名为小V的年轻人和我在北航围绕智能合约谈了很多,我指出他做的不是智能合约,第一不智能(起码不是人工智能定义的“智能”),第二不是有法律效力的合同。我把过去的“智能”合同的工作给他看后(这方面美国法律界已经工作20年了,主要工作在人工智能、自然语言处理,大数据分析,软件架构上。)

声音 | 蔡维德:\"沙盒精神\"是当前区块链产业最需解决问题之一:据搜狐新闻消息,国内区块链权威专家、中组部千人计划学者、北航数字社会与区块链实验室主任蔡维德指出:“沙盒的精神是要协助小公司能进入大市场,这是当前区块链产业最需要解决的问题之一,但是中国现在没有这种机制,因此就由产业自发率先来做”,蔡维德说:“要想让区块链真正做到脱虚向实,前提是需要有产业秩序的建立。而由产、学界自主发起的产业沙盒,不失为产业秩序的建立过程中一个抛砖引玉的好方法。”[2018/10/6]

他表示他做的确实不是“智能”合约,但他没打算更改名字,因为如果叫做“链上代码”(ChainCode),以太坊会卖不出去,如果还是叫做“智能合约”,大家会以为名词吸引人,就能卖得出去。(备注:后来在2018年,他后悔使用“智能合约”这名词。)

图4: 由于太多法律考量,小V在2018年后悔使用“智能合约”这名词

因此他只是用智能合约(这是萨博提出的)这名词!而萨博的智能合约和区块链没有关系。因为那时候区块链的概念还没有出来。

在智能合约的发展上,这是第二个错误;第一个错误是扎博提出贩卖机就叫智能合约,第二个错误是小V使用了智能合约这个名词。

一般合同是指一种承诺,在完成任务X后,可借到300美元。智能合约是指把这个逻辑和钱放在链上,如果完成任务X,将自动获得300美元。这是很简单的智能合约,是以太坊基本的逻辑,也可以说是一种链上代码。

“智能合约“需要运行在区块链系统上

不过小V当时讲对了一个概念,他表示智能合约需要在区块链系统上运行,因为区块链上的数据靠谱,所以在这上面可以做。这是智能合约的一个突破。

图5: 传统智能合约运行在区块链系统上

后来智能合约的发展突破上面的限制。智能合约不再只是执行交易,还执行监管,另外智能合约和区块链系统也不再死绑定,可以动态调整。

以太坊智能合约成为发币的泉源

然而智能合约也成为一个巨大的祸害,一些学者认为所有数字代币的真正祸害者不是比特币,而是以太坊。以太坊上有一个ERC 20就可以发币。

有人认为链都可以不要了,只要能发币,就完成了。这样以太坊的智能合约变成了发币的源泉,发币后也成为和各种坏事的工具,所以以太坊智能合约确实有非常不好的影响。

2018年美国CFTC报告有重大影响:交易和监管才是智能合约的主要功能

2016年又发生了The DAO事件,他们认为使用智能合约可以做一种自金融组织,这得到了很多人的信任,并融到了1亿多美元。在发生意外后,大家知道智能合约这名词是不对的,美国法律界批评的声音最大。

但是世界法律界还是决定“拥抱”智能合约。事实上,世界在The Dao事件后才真正拥抱智能合约。但是后来发展的智能合约和当时小V提出的智能合约不一样,例如雅阁项目。这意味着走向了一个正式的道路,这也算是智能合约的改革。

2018年美国大宗商品交易委员会CFTC出了一份《智能合约入门》,这份报告改写了智能合约历史。CFTC的报告表示智能合约有两大功能,一是交易,二是监管;而这2大功能是同时间一起进行的。

这代表智能合约执行时,一些智能合约完成交易,一些智能合约监管这些正在进行的交易。这代表监管是“嵌入式”监管。这是一个全新的智能合约改革!

比特币、以太坊、超级账本的智能合约都没有这些概念。可是美联储、英国央行等出的报告也表示要有交易完备性,要能够监管,这和CFTC的报告一致。

声音 | 蔡维德:产业沙盒不只是测试系统:7月27日,第二届金融区块链应用创新高峰论坛在清华大学举行。中组部“千人计划”专家蔡维德认为,产业沙盒不只是测试系统,更可以成为金融创新产业最大的推动力。所有直接或间接依赖于第三方担保信任机构的活动,均可从区块链技术中获益。在区块链产业沙盒计划通过细化规则,形成切实可行的产业监管体制,可防范、识别、预警、告警、处置应对区块链产业应用的风险。[2018/7/29]

图6: 美国CFTC智能合约入门

监管单位应该拥抱智能合约

CFTC表示监管单位应该拥抱智能合约。当时智能合约提出要逃避监管,但CFTC表示强盗、小偷、警察和都可以用智能合约,这是非常重要的180度大转弯,而且是嵌入式、自动报告式的活动。

智能合约需要标准化、产业化

另外CFTC表示智能合约要服务化,智能合约是随时随地要执行,要服务化和标准化,不可以随意开发交易代码。

任何合规交易所例如上交所、深交所都有交易规则,这些交易规则都有标准化定义,而且监管也有标准所以智能合约要执行交易,必须有标准化的交易和标准化监管。如果我在不同交易所做区块链交易,做同样类型的金融交易,他们的交易流程和监管方法应该是一致的。这是CFTC的重要概念,要有标准化交易和标准化监管才能够产业化。很多人集中做标准化的智能合约,这是智能合约产业化的一个重要路径。

标准化的智能合约推进区块链产业

智能合约可以有法律效力,也可以只是链上代码。CFTC给智能合约提出非常重要的问题,CFTC认为标准化的行为助力市场效力、市场完整性、KYC、完成交易、记帐、自动监管报告。

另外一面,智能合约可以有作弊、不合法行为、操作风险、网络风险、欺诈控制市场、预言机错误信息的风险。这些风险可能是开发时没有注意到造成的错误,但是也有可能这有风险的智能合约是黑客提供的。所以,做智能合约时要全面标准化,尽量减少金融风险。

智能合约不能只是自动化现在流程

CFTC还讲到,如果金融交易现在变成自动化执行,这会蕴含着非常大的风险。有可能在未知的情形下,智能合约突然就启动执行了,也有法律效力,资产在合法的情况下转移了,买到不想买的资产,或者卖了一些不想卖的资产,或者出现其他的状况。现在的自动交易决策是人工处理,机器只是做执行工作,把这些东西变成智能合约来做时,风险自然就会变得很大。CFTC讲到,如果这件事情要自动执行,那么现在的流程和基础设施需要更改,这意味着智能合约的改革计划。事实上CTFC在2018年就已经提出来了智能合约的改革计划。

智能合约的改革影响到国际掉期与衍生品交易协会(International Swaps and Derivatives Association, ISDA),这个协会专门制定标准包括智能合约标准。ISDA的标准化智能合约是“没有代码”的智能合约标准,这代表着,很多智能合约的工作与代码没有关系。智能合约首先要解决的是自动化法律流程问题,而自动化法律流程和传统(人工)金融流程不一样。传统流程在过程中,人可以做一些灵活的改变,可是现在智能合约是自动执行,自动执行时出现的错误由谁负责就变成了一个很复杂的问题。ISDA表示数据来源需要是非常正确的,预言机+智能合约才是一个完整的应用。

智能合约需要事件处理模型

当有了预言机就出现事件模型。股票市场中,哪个公司发生重大事件,或者出错,或者子公司上市,这就需要一种事件处理(event processing)模型,而事件模型是传统区块链系统没有考虑的。

事件模型是一个新型智能合约的里程碑,也就需要一种新型的基础设施。

金融智能合约的制定需要考虑法律和金融交易流程

图 7: ISDA提出的主要金融市场事件

违约包括未能付款和交付,违反和拒绝协议,信用审核违约,虚假陈述,指定交易中违约事件,还有破产,每项分别有一些相关描述,根据这些描述来设立一些智能合约标准,它是一个纯法律上的流程。

在上面这个描述中可以用各种语言,包括自然语言或形式化的语言。整个智能合约以这种方式在进行研究和分析,其中ISDA制定标准。

ISDA在智能合约上的工作是重大突破,代表很大部分智能合约的工作和代码没有关系,而和法律和金融流程有关,而因为智能合约出现,金融流程改变,不能使用传统金融流程。

事件处理模型会是智能合约重大发展路径

根据ISDA我们提出来了预言机事件处理模型,各式各样的违约事件、终止事件等,这些都可以经过一个事物的调整,把它变成复杂的事件模型。

图8: 金融事件的标准次序

现在有各种各样的预言机可以收集各种数据,预言机可以在金融公司、法院、股票市场、天气预报、海关、物流等。这些地方收集出来的信息都会经过网络到一个事件处理服务器,事件处理器把它分门别类,把这些信息送到需要关注的智能合约和区块链上,这就变成一个复杂的网络系统。这种网络系统应该在互链网上做,这是一种网络化的金融交易,这与传统的比特币、以太坊和超级账本都非常不一样。

图9: 事件模型

法律的自动执行将颠覆法学研究、法律制度和法律实践,这可能需要超过二三十年的时间,这会带来重大影响,可是动作会非常慢,因为法律上的事情非常复杂。

2018年英国法律协会提出智能合约与区块链应该属于英国法律。2019年英国法律协会出的一份报告表示,扎博的智能合约是符合英国法律的,但是扎博智能合约用的例子不符合英国法律。很明显英国法律协会没有读李嘉图合约,它里面根本没有讨论到李嘉图合约的种种问题和解决方案。非常有趣,英国法律协会也都知道扎博当时并没有区块链,英国法律协会用了一个没有区块链的概念,一开始又把它和区块链放到一起。英国法律协会认为这是以后的英国法律。

2019年之后,英国又花时间来研究签名法,因为智能合约需要有签名。

2020年英国又提出一个新概念,英国表示先要定出英国标准的智能合约,英国在这上面是最积极的。智能合约与法律的结合英国是世界第一,智能合约与金融的结合德国排在第一。

传统来讲,计算机在法学上只是做分析,包括大数据、逻辑学、认知学。在哈佛大学、清华大学等高校中,有很多教授做的工作是逻辑学,他们都是用逻辑学来分析,还有IBM Watson律师,这些都是传统上用在法律分析,但智能合约却在法律执行,这是一个巨大的差别。当我们考虑法律执行的时候,一个全新的局面就出现了。

图10: 2018年提出有法律效力的智能合约是法学大改革

比格犬没有高科技,还能执法

下图是比格犬智能合约模型,我常常进出美国飞机场时发现,比格犬没有上过学,它不懂中文,也不懂英文,不认字,但它却能够执法。没有上过幼儿园、小学、中学、大学的比格犬都可以执法,那么有人工智能、大数据和智能合约的系统一定也能够执法,这是给智能合约的一个鼓励。

图11: 合同执行有周期

斯坦福大学(Stanford University)有可计算的合同(Computable contracts),它可以有模型化。图中右上方是一个合同的生命周期,当有合同周期,有法律模板,又在软件工程领域里这是领域工程(Domain Engineering),当有这个领域工程时,智能合约的发展就会大大加速。

图12: 比格犬没有使用高科技还可执法,有科技的智能合约必定可以执法

2020年又出现了一个新的现象。智能合约本来在以太坊,它的智能合约是在核心账本里,是在一起的。可是英国央行表示智能合约可以在核心账本的外面,这样可以并行处理。如果并行处理,可以有更快的速度。这涉及到非常重要的一个概念,核心账本可以做交易,智能合约可以做清结算,英国央行提出的概念就是预备把交易和清结算分开,这一点可能和传统数字货币的想法已经不一样了。我一直在讲,区块链、智能合约和预言机的做法、设计与传统区块链、传统智能合约、传统预言机的做法都不一样。

英国央行也表示,智能合约应该放在与客户交互的地方,和客户交互的时候就能够验证客户,先经过智能合约再到核心账本。英国央行表示现在有三个智能合约模型,但不知道该选择哪个做智能合约,我认为应该都放在一起,就变成智能合约又在核心账本里,又和核心账本并行,另外又在外面。这样的话,就把智能合约系统和账本系统拆分了,拆分时,智能合约系统又自己拆分,就变成了一种动态组成,这样的一种系统就跟传统的系统大不相同,我称其为一种新型的标准化系统。

图13: 新型智能合约架构,3个不同智能合约系统并行处理交易

这样的系统事实上对智能合约以及区块链产业是大有助力的,因为假设证监会、银监会等监管单位想要做监管,他们可以自己创立智能合约库,然后把智能合约库推出去,每个交易系统都要执行这个智能合约库。这样的话,无论是张三的区块链系统,李四的交易所,王五的股票交易所,或者是赵七的金融衍生品交易,全部是规范性的监管和规范性的交易,他们的智能合约就是标准化开发,标准化提供,这就变成一个非常好的产业,大家的竞争是在别的地方竞争,不是在标准化的地方竞争。

这原来市英国央行所提出的思路,但后来我们发展成为LSO模型,完全可以先行、并行、后行、标准化嵌入式监管等。雅阁项目里有各样的预言机、各样的智能合约等,它有非常多的标准化的事情,这可以有各方人的参与。

到这阶段,智能合约不论在架构(动态复杂架构),开发方法(标准化,模版化开发),以及基础思想(有法律效力,新型金融流程)和传统智能合约大不相同。

新型智能合约和预言机

预言机现在越来越复杂,这事实上是2021年4月国外才推出的新概念。预言机本身也可以有区块链,本身也可以有智能合约,本身它有一些验证的算法,有隐私计算,而且它可以有多方验证。因为一旦上了智能合约和区块链,本身就有法律效应,所以做起来要非常小心和注意。现在的预言机也可以有多样的LSO架构,事实上预言机本身也可以多方合约交互,多个账本交互,动态注册完成,这等于是一种新型的互联网形式。预言机、智能合约还有链都是在网络上面的,而不是在云上面,所以一种新型的网络软件工程或者网络系统出现了,一种新型的状态正在出现中。

图14: 雅阁项目提出,区块链+智能合约+预言机一起工作

新型的智能合约是链上链下,这是一种混合的智能合约,这种混合智能合约也需要有多方验证,而且要有预言机多方验证。核心是指这个合约能够安全地结合链上和链下,它是由链上链下组成的一种事情,链上是智能合约,链下是一种代码。这种新型的智能合约正在出现。

图15: 链上和链下一起合作完成

我们将李嘉图合约,CFTC,ISDA,斯坦福大学CodeX,比格犬模型的重要概念融合在皋陶模型中。皋陶是中国上古四圣之一 (尧、舜、禹、皋陶),是家、思想家、教育家,但是最重要的是他是被后世尊为“中国司法始祖”。智能合约对世界法学的影响会越来越大,现在只是起步。由于合同可以自动执行,这对法学的改变会不断的推出。

而智能合约也会出现两条路线,一条继续走“链上代码”仍然不考虑法律效力,但是另外一条路线是走法律路线,而第二条路以后的会有深远的影响。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

MEXC模拟Uniswap V3收益农耕回报的量化框架

本文作者是加密与DeFi量化研究员DeFi ScientistUniswap V3于5月正式推出,其承诺为流动性池(LP)提供者提供更低的交易费用和更高的资本效率。V3协议迅速取得了巨大的成功,在第一个月就吸引了近20亿美元的资金.

FTT以太坊扩容之战:探秘侧链方案

以太坊是迄今为止市值最大、并被最多人采用的智能合约区块链,支持DeFi、NFT、社交代币等各种项目。根据加密货币APP追踪器State of the Dapps的数据显示,目前有超过3000个去中心化的应用程序在以太坊区块链上运行.

pepe最新价格项目周刊|以太坊上BTC锚定币创历史新高

金色周刊是金色财经推出的一档每周区块链行业总结栏目,内容涵盖一周重点新闻、行情与合约数据、矿业信息、项目动态、技术进展等行业动态。本文是项目周刊,带您一览本周主流项目以及明星项目的进展.

屎币从王府井到地铁站 数字人民币东城抢C位

尽管北京市第二轮数字人民币红包试点活动已过,但市民对数字人民币的新鲜劲与参与热情仍在。近日,北京商报记者走访了东城区数字人民币试点商户,发现王府井商业街多家商户均已支持数字人民币支付,已有越来越多市民尝试充值消费;此外,数字人民币支付.

[0:15ms0-1:650ms