编者按:5月24日,中国人民大学重阳金融研究院高级研究员、北京航空航天大学教授,清华长江讲座教授,北航数字社会与区块链实验室主任蔡维德,在人大重阳主办的“新型货币战争的科技、市场、监管”系列直播活动第六讲中,分享了他对“互链网改革”的最新思考。以下为直播视频及实录。
核心要点
智能合约的思想发生了很大的变化,智能合约、区块链已经有新定义了。在以太坊出现时,就有了智能合约,后来不久又有了预言机,区块链现在是一个账本系统+智能合约+预言机。
无论是英国、德国还是美国,他们都认为智能合约带来“可编程经济”,可编程经济带来高速交易,高速交易带来了高流动性。
传统流程在过程中,人可以做一些灵活的改变,可是现在智能合约是自动执行,自动执行时出现的错误由谁负责就变成了一个很复杂的问题。ISDA表示数据来源需要是非常正确的,预言机+智能合约才是一个完整的应用。
传统来讲,计算机在法学上只是做分析,包括大数据、逻辑学、认知学。在哈佛大学、清华大学等高校中,有很多教授做的工作是逻辑学,他们都是用逻辑学来分析,还有IBMWatson律师,这些都是传统上用在法律分析,但智能合约却在法律执行,这是一个巨大的差别。
前言
之所以使用“智能合约改革”为题目,是因为智能合约的思想发生了很大的变化,智能合约、区块链已经有新定义了。在以太坊出现时,就有了智能合约,后来不久又有了预言机,区块链现在是一个账本系统+智能合约+预言机。而这3个合作系统,本身都有很大的变化。
·区块链控制数据,保证数据不能被篡改。
·智能合约控制流程,智能合约工作的发展非常重要,因为它带领这个领域走向了产业化,智能合约不再是黑科技,而是一种产业化产品。
·预言机和外面接触,控制外面的系统。
区块链、智能合约和预言机组成一种复杂系统,而且组成机制也发生变化,以前是死绑定,现在可以动态改变。预言机是专门收集数据、验证数据和传送数据的,所以预言机可能是最复杂也是最多的。
智能合约
智能合约技术至少有30年到50年的历史,虽然没有用智能合约这名词,但事实上已经存在。在我做学生时,就有类似的机制在数据库、操作系统(operatingsystems)里,后来有服务计算(Service-OrientedComputing),也有类似的机制。
但这次智能合约和以前不一样,这次是自动执行金融交易,这与传统的自动执行代码不同。以前代码失败了,系统就会产生错误信息,或是停机,虽然有损失,但损失还不是太大。
如果现在智能合约系统出错,意味着金融交易出问题,如果常常出错,就有系统性问题,在金融上就出现系统性风险,系统性风险产生的损失是非常大,会影响到国家经济。例如RTGS系统,就是一个系统性重要系统,如果出错,问题非常大,很大部分国家经济就会停止,而英国央行早以提出使用区块链和智能合约在RTGS系统上。因此智能合约变成一件非常重要的事情。
传统可编程经济
智能合约代表一种可编程经济。传统来讲,这种可编程经济解释成可编程交易。可编程交易是指条件满足了,我们就可以自动执行交易。
新型可编程经济=可编程交易+可编程货币
可是现在智能合约或可编程经济已经不再是这样,而是一种可编程交易加上一种可编程货币,货币本身也是可以编程的,也就是使用货币与管理货币可以分开来,这是一个新的思想。所以,这种可编程的经济已经变成了两个,不再是被动的,连管理货币都是可编程的。
韩国央行:未来在制定数字资产框架法时有必要允许 ICO:8月29日消息,韩国央行表示,未来在制定数字资产框架法时,有必要在制度上允许国内加密资产进行 ICO,以及明确韩国银行、货币当局、稳定币等的作用和责任,并强调了中央银行在管理和监督加密资产(稳定币)方面发挥作用的必要性。(Einfomax)[2022/8/29 12:54:54]
可编程经济重要:德国银行协会关心的课题
可编程的经济一直都在被讨论,并被认为是非常重要的。2019年脸书Libra事件时,德国银行业协会表示,脸书的Lirba固然可怕,更可怕的是在后要来的可编程经济,德国人最害怕的不是区块链,而是害怕预言机和智能合约系统。
英国人重视法律,积极推有法律效力的智能合约标准
英国人对智能合约非常积极,英国在2018年推出智能合约应该融入英国法律,就是以后在英国智能合约就是有法律效力的合同。而且认为英国这样做,对英国有利,也是英国法律大改革。可以说英国认为智能合约是法律界的大改革。
德国人认为可编程经济、可编程货币是世界金融战争的巨大工具,而英国则是快速把它合法化,这两个国家处理的方式不同。英国重法,而德国重商。
无论是英国还是德国,他们都注重一件事情,如果交易变成可编程,交易速度会变得非常快,而且它是一种自金融组织,也就是说一个单位自己慢慢就会变成一家金融公司,比如卖大米就变成了大米金融公司,泛金融公司。高速交易和自金融组织就是可编程经济的一个发展。
德国重视智能合约的商业应用
虽然可编程经济只讨论科技问题,但事实上它背后带来的经济、货币和金融意义是非常大的。特别是德国人看重这件事,他们认为可编程的经济是以后金融竞争最大的竟技场。2019年德国银行业协会和德国央行等各个组织都在传递这的观点,2021年他们发表的一些演说和报告也专门讨论了这件事情,可以说世界上可编程经济最活跃的国家就是德国。
高速交易是数字货币的特色
无论是英国、德国还是美国,他们都认为智能合约带来“可编程经济”,可编程经济带来高速交易,高速交易带来了高流动性。比特币的流动性已经超过世界上大部分国家,只有少数几个国家还没有被超过,这是一件让人惊讶的事情。
2020年11月美国一篇报道表示比特币的流动性已经超过英国、俄罗斯流动性的总和,这样比特币已经实质上影响到世界合规金融市场,后来只剩2个法币流动性没有被超过。这带来的信息太过惊讶,2021年2月美联储公开承认比特币正在挑战美元,因此必须将这事处理好。
2020年5月欧洲央行出台的一份报告表示,脸书稳定币如果出来会有3万亿资金,加上可编程经济,这将会富可敌国,会是非常厉害的金融工具。这会成为欧洲最大的货币基金,影响太大。
MIT数字社会项目预测经济大爆发
2012年麻省理工学院媒体实验室推了“数字社会项目”,此后我在北航建立了数字社会与区块链实验室。这个项目中的一个重要概念是高流通性可以带来重大的经济发展,后来我再中国演讲时也多次提到这个概念。
我们都估计过低了,美联储重视这数据
2016年1月我与一位英国资深银行家朋友在国开行进行讨论,并建议在各种金融活动上使用区块链。该银行家表示这样做的话流通性预计会成长一倍,时间会减少一半,价值和经济活动将会成长一倍。
由于当时没有数据,我在中国演讲时保守表示增长10%,对于至少10%的成长我是有把握的。
2020年9月国际货币基金组织发布文章《可编程的数字资产如何改变货币政策》比较了数字货币与传统银行存款账户的流通性,得出的结果是流通性可以增长20倍。这远远超过英国银行家的预测,也远远超过我以前使用10%的预测。这文也表示这样的数据一直是美联储关注的,因为这会影响到宏观经济以及国家货币政策。
金色相对论 | 蔡维德:英国称数字法币是320多年来世界货币的第一次的重大改革:在今日举行的金色相对论中,关于“英国央行行长提出的新经济需要有不同的央行”该如何理解的问题,国家特聘教授,北航博导,英国伦敦大学学院区块链研究中心科学顾问蔡维德表示:世界第一个提出数字法币的国家是英国,在2015年底到2016年的时候,他们提出这个概念。问题出概念的时候,他们说到这个是世界的创举,而且他们说是320多年来,是世界货币的第一次的重大改革,英国银行说,320多年来,自从1694英国央行成立以来,他们发现英镑没有改变过。就说这是320年来的一次重大改革,当时讲的时候,当时有许多的央行的学者在里面开会,他们都兴奋的不得了,因为这是一次非常大的改革。那么这次的改革主要是因为整个银行的基础受到科技的变革。所以说以前是强盗打劫,所以银行破产或者怎么样,但这一次是因为是科技的关系。[2019/8/15]
2016年1月我们在国开行会议时,我们预测数字货币的速度会是传统货币的2倍,但因为没有实际数据可以支持,在分析时保守的预估可以增加10%的速度,这也是我们过去多年一直使用的预测。可是国际货币基金组织得出的数据是最低20倍!这远远超过我们保守的估计,也远远超过我们原来评估的增加速度。
在一些公开演讲,例如2016年8月工信部演讲、2017年网信办会议、2019年国家发改委演讲,都是使用10%的增速来预测数字货币对经济的影响,当时的评估出来的经济效益已经非常大。而这次国际货币基金组织的数据将会给实体经济带来更加巨大的影响。
数字货币或以区块链为主的数字社会很有可能将会带来巨大的经济红利。虽然这相差20倍的流通性不太可能带动20倍的经济成长,但确实是能带来经济成长的。
智能合约改变金融市场
我在2020年11月提出数字经济的成长路线,一是支付,二是投资,三是自金融,这是币圈以及合规市场都做的一件事情。2021年5月中旬,我们发现币圈已经正式走向了自金融,币圈的自金融也开始合规化,也就是合规市场的支付和合规市场的银行走向数字经济,以及合规的百行百业也正在走进数字经济,在这时候智能合约就是最后的武器。所以,智能合约的发展会决定每个国家后来的经济发展。
今天的演讲分为两个部分:一是智能合约发展的历史;二是新型智能合约与预言机。
智能合约的起源
智能合约这名词是由扎博提出来的,扎博也是开发比特币的人(前面第2讲提到)。扎博在1994年提出了一个概念,代码可以是合约。扎博通过贩卖机举例,当我们把钱放进去的时候,贩卖机就给我们饼干或者糖果,双方都没有签字,也没有看到合同,但他认为这事实上是一个合同,后面的代码就是智能合约,这是扎博当时提出的智能合约的起源。
图1:贩卖机案例启发萨博“智能合约”概念,但后来英国不同意这观点
合同可以看不懂,但是不能不给合同双方看过
25年后,英国法律协会开会时考虑把智能合约变成英国有法律效力的合同,但交易双方不需要看合同这一点没有得到英国法律界的认可。没有机会让客户看合同就算有合约在英国法中是不可能成立的。英国法律协会的观点是合同可以看不懂,例如使用外国语言写的,使人看不懂,但是看不懂的合同也可以有法律效力。但是不让客户看合同,是没有法律效力的。因此代码可以难以看懂,但一定要让客户有机会看才能有法律效力。由于一般上贩卖机合同没有给客户看,这案例不是“智能合约”。
约满天下
扎博提出了另外一个观点:“约满天下”,以后智能合约必定到处都是。我提过“链满天下”,但是还有“约满天下”。
声音 | 蔡维德:中国发展区块链的优势很足:据《网络传播》杂志消息,中组部“千人计划”专家、北京航空航天大学教授蔡维德表示,2018年是区块链元年,今天大部分区块链应用都是在“数字代币”上面,或是所谓的“通证经济”方面。但正因为是元年,区块链恐怕要一两年或两三年之后才会真正地大爆发。中国发展区块链的优势还是很足的,因为中国仍然有最多的人口、最大的电商、最大的第三方支付系统,这些都没有改变。而且中国可能是全世界最看重区块链技术或数字代币的国家,这些都是国外单位或国外基金无法相比的。[2018/11/18]
原始智能合约定义,“智能”代表什么意义
扎博原始智能合约定义,智能代表:1)使用正确的代码;2)使用正确的数据;3)在正确的时间;4)正确地执行合同条款。
这智能合约和区块链没有关系,而且和人工智能没有关系。后来智能合约的后续发展,加进了人工智能。?
在原始智能合约的定义中,“智能”只是代表“使用正确的代码和数据在正确的时间正确地执行”,和人工智能没有关系,和区块链系统也没有关系。原始智能合约就是代码,而这代码自动执行合同上的条款。但是原来概念只是想法,萨博没有提出如何是智能合约成为有法律效力的合同。
智能合约实际发展路线是根据李嘉图合约
智能合约的名字是扎博提的,但概念是IanGrigg提的,1995年IanGrigg提出了李嘉图合约。扎博和IanGrigg都有法律背景,IanGrigg看到美国大部分的法律合同是标准化的,他认为如果要做智能合约就要先有标准,下图代表了一个标准化的模板,如果要开发智能合约就要先有模板。
直接翻译合同到代码是很困难的
2018年斯坦福等大学要开发智能合约,他们拿实际的英文合同直接翻译成代码。但这立刻就碰到了死胡同,因为合约变成代码是非常难的。当时斯坦福大学还表示要自动化,这更加不可能。
图2:李嘉图合约模版
合同模版先翻译到代码模版
李嘉图合约表示每个合同模板后面都有代码模板,虽然没有用智能合约的名字,但它用了可编程的合约,事实上李嘉图合约是真正的智能合约。我认为IanGrigg事实上是智能合约真正的开发者,后来所有合规智能合约的工作都是走在李嘉图合约的路线上。
有模版后还可以加机器学习
斯坦福大学后来做了一个法律合同工作CodeX,他们还做了一个可计算的合同(computablecontract),computablecontract里面还加了机器学习和一些合同模板,这些都是根据李嘉图合约开发的。所以,现在如果要有法律效力的智能合约,都是走在李嘉图合约路线上,没有走在扎博的合约上。
七层模型是数字金融架构的前生
IanGrigg还写了另外一篇文章,叫做七层模型。七层模型是加密、软件、权利、会计、治理、价值、金融,用这种模型就可以做一个可计算的金融市场,这才是真正的金融系统。这个概念事实上就是可编程的经济、可编程的交易、可编程的货币。
雅阁项目走在李嘉图合约的基础上
后来美国与英国合作了一个叫做雅阁项目,雅阁项目完全走在李嘉图合约路线上面,此外雅阁项目还用到了区块链,而李嘉图合约当时还没有区块链。不过雅阁项目的原材料很难读,学起来也很痛苦。
图3:雅阁项目跟随李嘉图合约路线
北航教授蔡维德:区块链将系统改变金融体系:5月20日下午,北京航空航天大学国家“千人计划”特聘教授蔡维德在“链上无限”2018中国区块链产业高峰论坛上介绍了区块链在改变金融体系上的最新进展,认为区块链将系统改变金融体系。他表示,2017年底去硅谷,看到斯坦福很多大学生弃学,要从事区块链行业,区块链被很多人认为是下一代互联网。之所以认为区块链将给金融体系带来更多的改变,基于他看到的几个重大的事件:2017年9月29日在英国央行,IMF考虑将数字货币放进篮子里,改变本来强硬的立场。另外主力基金进来了,资本市场也改变了,出现了一个“块来疯”现象,只要区块链股票拼命地往上涨,其中一只股票两天之内涨了40倍,这个倍数非常惊人。[2018/5/20]
不只是雅阁项目,几乎其他想有法律效力的智能合约系统都走李嘉图合约路线。由于直接从萨博路线开始实在太难了,斯坦福大学已经尝到这苦头。
以太坊智能合约只是拿“智能合约”这名词
2015年一位名为小V的年轻人和我在北航围绕智能合约谈了很多,我指出他做的不是智能合约,第一不智能,第二不是有法律效力的合同。我把过去的“智能”合同的工作给他看后
他表示他做的确实不是“智能”合约,但他没打算更改名字,因为如果叫做“链上代码”,以太坊会卖不出去,如果还是叫做“智能合约”,大家会以为名词吸引人,就能卖得出去。
图4:由于太多法律考量,小V在2018年后悔使用“智能合约”这名词
因此他只是用智能合约这名词!而萨博的智能合约和区块链没有关系。因为那时候区块链的概念还没有出来。
在智能合约的发展上,这是第二个错误;第一个错误是扎博提出贩卖机就叫智能合约,第二个错误是小V使用了智能合约这个名词。
一般合同是指一种承诺,在完成任务X后,可借到300美元。智能合约是指把这个逻辑和钱放在链上,如果完成任务X,将自动获得300美元。这是很简单的智能合约,是以太坊基本的逻辑,也可以说是一种链上代码。
“智能合约“需要运行在区块链系统上
不过小V当时讲对了一个概念,他表示智能合约需要在区块链系统上运行,因为区块链上的数据靠谱,所以在这上面可以做。这是智能合约的一个突破。
图5:传统智能合约运行在区块链系统上
后来智能合约的发展突破上面的限制。智能合约不再只是执行交易,还执行监管,另外智能合约和区块链系统也不再死绑定,可以动态调整。
以太坊智能合约成为发币的泉源
然而智能合约也成为一个巨大的祸害,一些学者认为所有数字代币的真正祸害者不是比特币,而是以太坊。以太坊上有一个ERC20就可以发币。
有人认为链都可以不要了,只要能发币,就完成了。这样以太坊的智能合约变成了发币的源泉,发币后也成为和各种坏事的工具,所以以太坊智能合约确实有非常不好的影响。
2018年美国CFTC报告有重大影响:交易和监管才是智能合约的主要功能
2016年又发生了TheDAO事件,他们认为使用智能合约可以做一种自金融组织,这得到了很多人的信任,并融到了1亿多美元。在发生意外后,大家知道智能合约这名词是不对的,美国法律界批评的声音最大。
但是世界法律界还是决定“拥抱”智能合约。事实上,世界在TheDao事件后才真正拥抱智能合约。但是后来发展的智能合约和当时小V提出的智能合约不一样,例如雅阁项目。这意味着走向了一个正式的道路,这也算是智能合约的改革。
蔡维德:三年后可能出现区块链集团、帝国以及联合国:北航数字社会与区块链实验室主任、国家大数据综合实验区区块链互联网实验室主任蔡维德预计,三年后可能就能出现区块链集团、区块链帝国以及区块链联合国。相应的交易规则、治理法则、帝国法律、跨境交易、自治协议等等都会应运而生。蔡维德还预计,以后大概每一两年就可能进入一个新的区块链发展阶段。区块链前后的技术和商业模型差异会很大,更新换代会很快。可能很快会出现第五代、第六代区块链。[2018/4/4]
2018年美国CFTC报告有重大影响:交易和监管才是智能合约的主要功能
2018年美国大宗商品交易委员会CFTC出了一份《智能合约入门》,这份报告改写了智能合约历史。CFTC的报告表示智能合约有两大功能,一是交易,二是监管;而这2大功能是同时间一起进行的。
这代表智能合约执行时,一些智能合约完成交易,一些智能合约监管这些正在进行的交易。这代表监管是“嵌入式”监管。这是一个全新的智能合约改革!
比特币、以太坊、超级账本的智能合约都没有这些概念。可是美联储、英国央行等出的报告也表示要有交易完备性,要能够监管,这和CFTC的报告一致。
图6:美国CFTC智能合约入门
监管单位应该拥抱智能合约
CFTC表示监管单位应该拥抱智能合约。当时智能合约提出要逃避监管,但CFTC表示强盗、小偷、警察和都可以用智能合约,这是非常重要的180度大转弯,而且是嵌入式、自动报告式的活动。
智能合约需要标准化、产业化
另外CFTC表示智能合约要服务化,智能合约是随时随地要执行,要服务化和标准化,不可以随意开发交易代码。
任何合规交易所例如上交所、深交所都有交易规则,这些交易规则都有标准化定义,而且监管也有标准所以智能合约要执行交易,必须有标准化的交易和标准化监管。如果我在不同交易所做区块链交易,做同样类型的金融交易,他们的交易流程和监管方法应该是一致的。这是CFTC的重要概念,要有标准化交易和标准化监管才能够产业化。很多人集中做标准化的智能合约,这是智能合约产业化的一个重要路径。
标准化的智能合约推进区块链产业
智能合约可以有法律效力,也可以只是链上代码。CFTC给智能合约提出非常重要的问题,CFTC认为标准化的行为助力市场效力、市场完整性、KYC、完成交易、记帐、自动监管报告。
另外一面,智能合约可以有作弊、不合法行为、操作风险、网络风险、欺诈控制市场、预言机错误信息的风险。这些风险可能是开发时没有注意到造成的错误,但是也有可能这有风险的智能合约是黑客提供的。所以,做智能合约时要全面标准化,尽量减少金融风险。
智能合约不能只是自动化现在流程
CFTC还讲到,如果金融交易现在变成自动化执行,这会蕴含着非常大的风险。有可能在未知的情形下,智能合约突然就启动执行了,也有法律效力,资产在合法的情况下转移了,买到不想买的资产,或者卖了一些不想卖的资产,或者出现其他的状况。现在的自动交易决策是人工处理,机器只是做执行工作,把这些东西变成智能合约来做时,风险自然就会变得很大。CFTC讲到,如果这件事情要自动执行,那么现在的流程和基础设施需要更改,这意味着智能合约的改革计划。事实上CTFC在2018年就已经提出来了智能合约的改革计划。
ISDA开启金融智能合约标准化的工作
智能合约的改革影响到国际掉期与衍生品交易协会(InternationalSwapsandDerivativesAssociation,ISDA),这个协会专门制定标准包括智能合约标准。ISDA的标准化智能合约是“没有代码”的智能合约标准,这代表着,很多智能合约的工作与代码没有关系。智能合约首先要解决的是自动化法律流程问题,而自动化法律流程和传统金融流程不一样。传统流程在过程中,人可以做一些灵活的改变,可是现在智能合约是自动执行,自动执行时出现的错误由谁负责就变成了一个很复杂的问题。ISDA表示数据来源需要是非常正确的,预言机+智能合约才是一个完整的应用。
智能合约需要事件处理模型
当有了预言机就出现事件模型。股票市场中,哪个公司发生重大事件,或者出错,或者子公司上市,这就需要一种事件处理模型,而事件模型是传统区块链系统没有考虑的。
事件模型是一个新型智能合约的里程碑,也就需要一种新型的基础设施。
金融智能合约的制定需要考虑法律和金融交易流程
图7:ISDA提出的主要金融市场事件
违约包括未能付款和交付,违反和拒绝协议,信用审核违约,虚假陈述,指定交易中违约事件,还有破产,每项分别有一些相关描述,根据这些描述来设立一些智能合约标准,它是一个纯法律上的流程。
在上面这个描述中可以用各种语言,包括自然语言或形式化的语言。整个智能合约以这种方式在进行研究和分析,其中ISDA制定标准。
ISDA在智能合约上的工作是重大突破,代表很大部分智能合约的工作和代码没有关系,而和法律和金融流程有关,而因为智能合约出现,金融流程改变,不能使用传统金融流程。
事件处理模型会是智能合约重大发展路径
根据ISDA我们提出来了预言机事件处理模型,各式各样的违约事件、终止事件等,这些都可以经过一个事物的调整,把它变成复杂的事件模型。
图8:金融事件的标准次序
现在有各种各样的预言机可以收集各种数据,预言机可以在金融公司、法院、股票市场、天气预报、海关、物流等。这些地方收集出来的信息都会经过网络到一个事件处理服务器,事件处理器把它分门别类,把这些信息送到需要关注的智能合约和区块链上,这就变成一个复杂的网络系统。这种网络系统应该在互链网上做,这是一种网络化的金融交易,这与传统的比特币、以太坊和超级账本都非常不一样。
图9:事件模型
法学大改革
法律的自动执行将颠覆法学研究、法律制度和法律实践,这可能需要超过二三十年的时间,这会带来重大影响,可是动作会非常慢,因为法律上的事情非常复杂。
2018年英国法律协会提出智能合约与区块链应该属于英国法律。2019年英国法律协会出的一份报告表示,扎博的智能合约是符合英国法律的,但是扎博智能合约用的例子不符合英国法律。很明显英国法律协会没有读李嘉图合约,它里面根本没有讨论到李嘉图合约的种种问题和解决方案。非常有趣,英国法律协会也都知道扎博当时并没有区块链,英国法律协会用了一个没有区块链的概念,一开始又把它和区块链放到一起。英国法律协会认为这是以后的英国法律。
2019年之后,英国又花时间来研究签名法,因为智能合约需要有签名。
2020年英国又提出一个新概念,英国表示先要定出英国标准的智能合约,英国在这上面是最积极的。智能合约与法律的结合英国是世界第一,智能合约与金融的结合德国排在第一。
传统来讲,计算机在法学上只是做分析,包括大数据、逻辑学、认知学。在哈佛大学、清华大学等高校中,有很多教授做的工作是逻辑学,他们都是用逻辑学来分析,还有IBMWatson律师,这些都是传统上用在法律分析,但智能合约却在法律执行,这是一个巨大的差别。当我们考虑法律执行的时候,一个全新的局面就出现了。
图10:2018年提出有法律效力的智能合约是法学大改革
比格犬没有高科技,还能执法
下图是比格犬智能合约模型,我常常进出美国飞机场时发现,比格犬没有上过学,它不懂中文,也不懂英文,不认字,但它却能够执法。没有上过幼儿园、小学、中学、大学的比格犬都可以执法,那么有人工智能、大数据和智能合约的系统一定也能够执法,这是给智能合约的一个鼓励。
图11:合同执行有周期
斯坦福大学(StanfordUniversity)有可计算的合同,它可以有模型化。图中右上方是一个合同的生命周期,当有合同周期,有法律模板,又在软件工程领域里这是领域工程(DomainEngineering),当有这个领域工程时,智能合约的发展就会大大加速。
图12:比格犬没有使用高科技还可执法,有科技的智能合约必定可以执法
智能合约架构开始解耦
2020年又出现了一个新的现象。智能合约本来在以太坊,它的智能合约是在核心账本里,是在一起的。可是英国央行表示智能合约可以在核心账本的外面,这样可以并行处理。如果并行处理,可以有更快的速度。这涉及到非常重要的一个概念,核心账本可以做交易,智能合约可以做清结算,英国央行提出的概念就是预备把交易和清结算分开,这一点可能和传统数字货币的想法已经不一样了。我一直在讲,区块链、智能合约和预言机的做法、设计与传统区块链、传统智能合约、传统预言机的做法都不一样。
英国央行也表示,智能合约应该放在与客户交互的地方,和客户交互的时候就能够验证客户,先经过智能合约再到核心账本。英国央行表示现在有三个智能合约模型,但不知道该选择哪个做智能合约,我认为应该都放在一起,就变成智能合约又在核心账本里,又和核心账本并行,另外又在外面。这样的话,就把智能合约系统和账本系统拆分了,拆分时,智能合约系统又自己拆分,就变成了一种动态组成,这样的一种系统就跟传统的系统大不相同,我称其为一种新型的标准化系统。
图13:新型智能合约架构,3个不同智能合约系统并行处理交易
这样的系统事实上对智能合约以及区块链产业是大有助力的,因为假设证监会、银监会等监管单位想要做监管,他们可以自己创立智能合约库,然后把智能合约库推出去,每个交易系统都要执行这个智能合约库。这样的话,无论是张三的区块链系统,李四的交易所,王五的股票交易所,或者是赵七的金融衍生品交易,全部是规范性的监管和规范性的交易,他们的智能合约就是标准化开发,标准化提供,这就变成一个非常好的产业,大家的竞争是在别的地方竞争,不是在标准化的地方竞争。
这原来市英国央行所提出的思路,但后来我们发展成为LSO模型,完全可以先行、并行、后行、标准化嵌入式监管等。雅阁项目里有各样的预言机、各样的智能合约等,它有非常多的标准化的事情,这可以有各方人的参与。
到这阶段,智能合约不论在架构,开发方法,以及基础思想和传统智能合约大不相同。
新型智能合约和预言机
预言机现在越来越复杂,这事实上是2021年4月国外才推出的新概念。预言机本身也可以有区块链,本身也可以有智能合约,本身它有一些验证的算法,有隐私计算,而且它可以有多方验证。因为一旦上了智能合约和区块链,本身就有法律效应,所以做起来要非常小心和注意。现在的预言机也可以有多样的LSO架构,事实上预言机本身也可以多方合约交互,多个账本交互,动态注册完成,这等于是一种新型的互联网形式。预言机、智能合约还有链都是在网络上面的,而不是在云上面,所以一种新型的网络软件工程或者网络系统出现了,一种新型的状态正在出现中。
图14:雅阁项目提出,区块链+智能合约+预言机一起工作
新型的智能合约是链上链下,这是一种混合的智能合约,这种混合智能合约也需要有多方验证,而且要有预言机多方验证。核心是指这个合约能够安全地结合链上和链下,它是由链上链下组成的一种事情,链上是智能合约,链下是一种代码。这种新型的智能合约正在出现。
图15:链上和链下一起合作完成
皋陶模型
我们将李嘉图合约,CFTC,ISDA,斯坦福大学CodeX,比格犬模型的重要概念融合在皋陶模型中。皋陶是中国上古四圣之一,是家、思想家、教育家,但是最重要的是他是被后世尊为“中国司法始祖”。智能合约对世界法学的影响会越来越大,现在只是起步。由于合同可以自动执行,这对法学的改变会不断的推出。
而智能合约也会出现两条路线,一条继续走“链上代码”仍然不考虑法律效力,但是另外一条路线是走法律路线,而第二条路以后的会有深远的影响。
概要 1.EIP-1559将通过销毁代币,减少ETH供给。2.EIP-1559升级过程复杂,需要大量时间及精力。3.StatefulWorks推出EIP-1559纪念NFT,以奖励开发人员.
根据美国新泽西州总检察长办公室的声明草案,证监局正计划向总部位于新泽西州的比特币金融服务平台BlockFi发布一项简易停止和终止令,要求其停止提供计息账户.
7月16日消息,中国人民银行发布《中国数字人民币的研发进展》白皮书,央行发布中国数字人民币的研发进展白皮书,人民银行将按照国家“十四五”规划部署,继续稳妥推进数字人民币研发试点.
社交代币,随着创作者经济的兴起,在加密圈内引起了广泛的关注。然而,大多数用户对于其的理解仅仅停留在「它是一个币」,和其他的币没有什么太大区别,也不曾思考社交代币解决了什么问题和其底层逻辑.
停不下来。今年以来,美国通胀攀升的趋势一直在延续。数据显示,美国6月PPI创下11年新高,核心CPI创下30年新高,消费者物价指数(CPI)在5月环比增长0.6%之后,6月又上升了0.9%为5.
为什么做市商很重要? 金融业中的做市商总是比x*y=k的方程式意味的更多。在传统的中央限价订单簿市场中,做市商专门负责提交订单簿的买入和卖出.