序
众所周知,因为BCH脚本的限制,开发者只能在BCH主链上实现无状态的智能合约,这就使得BCH智能合约可以做的事情变得很有限。但是近期BCH的资深开发者ChrisPacia发现,BCH可以通过升级实现有状态的智能合约,就像ETH那样。
------以下是译文-----
Malfix是BCH的一个涉及到共识变更的提案,旨在解决交易延展性BUG。这是一个相当有争议性的提案,部分原因是它将成为BCH最重大的硬分叉变化,还有个原因是很多人认为这是不必要的。在本文中,我会介绍一个我们以前从来没考虑过的Malfix的用例–给予BCH以太坊式的完整的智能合约编程能力。
乍看之下,这有点疯狂。一个用来修复交易延展性BUG的的提案,怎么可能会让BCH成为以太坊的竞争对手?让我们深入研究下去吧。
以太坊
ETH的核心功能是可以让用户在链上创建合约。有了这些合约,用户就可以保存数据。合约定义了许多功能,当用户通过一个新的交易连接到合约时,用户可以读取数据,以某种方式操作它,并且将其保存到合约里面。
这是在区块链上保存数据的核心功能,比特币一直缺乏这种向合约读写数据的能力。在比特币中,我们有一种脚本语言,但是它仅能允许我们从一个地址释放币时设置一些条件。绝大多数人会告诉你,这些脚本无法把状态保存到区块链上,并且脚本也无法像ETH那样从任何其他交易中读取状态。
Terra生态行情网站Coinhall:无论Terra2.0最终结果如何,将继续支持以完成集成:5月18日消息,Terra生态行情网站Coinhall发推称,不知道Terra2.0的结果是什么,也无法评论最好的提案会是什么样子,但将在继续支持Terra1.0的基础上完成集成,以便Terra用户仍然可以在任一链上使用这个熟悉的平台。[2022/5/18 3:25:02]
或许,他们其实是可以的?
OP_CHECKDATASIG
2018年11月,BCH新增了一个操作码OP_CHECKDATASIG,当时BSV粉想尽办法阻止这个操作码添加到协议里面,但是最终失败了。
这个操作码看上去非常基础,它所能做的事情只是接受任意签名,公钥和消息,并且验证签名。
OP_CHECKDATASIG
这个类型的功能对于加密货币非常重要,但是它竟然没有在一开始就包含在比特币里面,这令人相当惊讶。
虽然这个操作码看上去相当缺乏想象力,但它实际上非常有用,每天我们都从中学习到越来越强大的能力。
合约
OP_CHECKDATASIG启用的第一个主要功能是一个叫做合约的东西。在OP_CHECKDATASIG出现之前,比特币脚本只能在释放币的时候设置一些条件,仅此而已。举个例子,某个脚本可以说“如果A向这个脚本提供一个有效输入,那么他就可以解锁并花费这个地址上的币。但是一旦币被解锁,他就可以把币发送到任意地址。”
海德薇格:我很期待看到 数字货币将如何改变人民币支付市场:第十七届中国国际金融论坛于2020年12月17日-18日在上海举行。主题为“数字经济时代的金融服务”。国际银行业联合会(IBFed)总裁海德薇格?挪伦斯视频参会并致辞时指出:金融稳定委员会正在监测大科技公司的创新和金融稳定风险,并且已经发表了很多关于该主旨的文章,例如在2020年10月13日发表的一篇文章中,就提出了关于全球稳定币的10个高层建议。考虑到创新的规模之大,监管机构和监督机构都需要拓宽自己的视野,并且彼此之间开展更多合作。
中国监管机构一直在积极加强监管,以便随时应对大科技公司所引起的市场变化。例如,去年,中国人民银行就起草了相关规则,要求将银行和金融服务与金融控股公司旗下的科技公司分离,并对这些科技公司进行监管。 现在,要求支付公司必须有100%的存款准备金。
中国还率先推出了由国家信用支持的数字货币。我很期待看到这些数字货币将如何改变中国国内和境外的人民币支付市场。(新浪财经)[2020/12/17 15:29:42]
而合约可以限制A只能把币发送到某个地址。OP_CHECKDATASIG如何实现这个限制呢?请思考以下脚本
OP_CHECKSIG
这是一个典型的比特币交易的花费脚本。OP_CHECKSIG操作码对交易数据进行哈希,并且检查签名相对于给定的公钥和交易哈希值是否有效。
Robinhood因未恰当披露如何应对高频交易机构而遭到调查:金色财经报道,股票与加密货币投资平台Robinhood因未能恰当地披露如何将客户订单发送给高频交易机构而受到民事欺诈调查。根据报告,这项由美国证券交易委员会(SEC)进行的调查已进入“高级阶段”,可能导致其遭到1000万美元的罚款。[2020/9/3]
现在假设我们使用和上述完全相同的签名和公钥,如果通过OP_CHECKDATASIG操作码进行哈希运算和校验。
OP_CHECKDATASIG
如果这个消息和这个交易的原始交易数据一致,那么脚本运行结果为真。由于OP_CHECKDATASIG会对这个消息进行哈希,并且根据公钥和哈希值进行签名验证,如果相同的签名和公钥都通过了OP_CHECKSIG和OP_CHECKDATASIG的检查,那么我们就知道堆栈上留下的消息就必定是这个交易的原始数据。
这非常聪明。我们现在已经获得了原始数据的访问权限,并且可以使用脚本对其进行解析,确保交易中的输出把币发送到我们希望送达的地址。换句话说,我们可以使用脚本语言限制某个交易只能把币发送到某个特定的地址。
那我们可以用来做什么呢?我们可以做很多有趣的事情。举个例子,有个叫lastwill的智能合约使用热私钥和冷私钥实现了一个死人开关,让偷币变得极其困难。
张春泉:区块链等如何与行业深度融合将是工业互联网发展关键要素:曙光云计算集团副总裁、中国科学院智慧城市产业联盟副秘书长张春泉表示,目前工业互联网发展呈现出新特征,一是在云计算技术架构支撑下,企业之间正从技术、产品和供应链的竞争逐步演进成为平台化的生态体系竞争。二是以工业互联网为支撑,助力企业迈向网络化、智能化的新阶段,构建数字化的工业生态和数字化的商业服务生态。三是新一轮的IT技术加速行业的深度融合,比如说标识解析、区块链等技术如何与行业深度融合,将是这一时期工业互联网发展的关键要素。(经济参考报)[2020/4/30]
我们还可以创建循环交易。请注意,比特币脚本自身是无法循环的,它就是这么设计的。但是我们可以在脚本上放一个合约,强制币返回到它发出的地址。基本上,一旦币进入了那个地址,它就会永远在那里,并且没法出来。我将这种脚本称为“循环”,因为每当有人从此地址开始花费,相同的脚本就会再次执行。只要一直有人愿意发出交易,这个脚本就会一直运行。
但是这看上去似乎毫无用处,我们为什么要这么做?
创建ETH式的智能合约
一旦堆栈上有原始交易数据,我们就可以做更多事情。我们可以把前一个交易压入堆栈,通过对前一个交易进行哈希,并且比对当前交易的输出端的哈希值,我们就可以验证这是否是前一个交易。
但是等一下,还有更多!
听证会 | 扎克伯格:还未确定如何处理错误交易的最终政策:金色财经直播报道,在今日听证会上,议员Bil Foster询问了有关如何处理错误交易。扎克伯格说,他不确定是否已经为此制定了政策。已对此有所考虑,但还没有确定”最终政策。[2019/10/24]
通常,当脚本执行任何脚本自身一部分计算的数据时,所有意图和目的都会丢失。计算结果不会保存在区块链中的任何地方,当然也不能被其他交易访问。但是,使用合约,我们可以把计算结果保存在交易的OP_RETURN输出中。这要求资金的花费者在他的本地计算机上运行大部分脚本,以确定计算结果。计算完成后,合约会将结果保存在OP_RETURN里面。
现在请注意我们拥有了什么?这个脚本运行并且完成了一大堆计算,计算结果保存在交易里面,并且这笔交易数据可以被下一笔交易访问。换句话说,现在比特币脚本可以以这样的方式在区块链中保存状态,以后的交易可以读取这个状态,执行某些计算并且以某种方式改变它,并将其保存到区块链上。基本上,我们在BCH上实现了ETH的功能!
比特币命名系统
这只是一个例子。ETH上有一个叫ENS的东西–以太坊命名系统。这是一个智能合约,允许人们在链上注册名字,并且映射到特定的数据,比如IP地址,或者ETH钱包地址。
使用上面的方案,我设计了一个叫BNS的智能合约,基本上做和ENS一样的事情,是如前文所说的那种任何人都可以花费的循环合约。当有人想注册名称时,他们会把当前交易,先前交易,要注册的名称,和一个merklix排除证明压入堆栈。合约会从前一个交易载入合约状态树的根哈希,验证先前所说的merklix根的排除证明,证明之前没有人注册过该名称,然后更新根哈希并在交易中保存新的状态。就像以太坊上的ENS智能合约一样,BNS管理名称的状态数据库并防止双重注册。名称可以转换为SLPtoken,并且用来交易。
几乎完成了
在遇到大问题之前,我们已经把这个方法完成了99%。当你把数据压入堆栈,BCH的共识规则要求数据体积必须小于520字节。当你把上一个交易压入堆栈,如果数据大于520字节,交易就会失败。
可以想象单个交易的体积可以在520字节以下,但是这个体积会随着新的交易不断增长。看下这个:
交易B把前一个交易A压入堆栈。
交易C把包含交易A的交易B压入堆栈。
交易D把包含交易A&B的交易C压入堆栈。
在1,2次交易之后,我们就超过了520字节的限制。我们已经和ETH式的智能合约如此接近了,但是因为空间不足,我们失败了。
Malfix
Malfix引入了新的交易版本V3。这种版本的交易具有两个交易ID。一个是普通的大家所熟知的TXID;另外一个是UTXID,是去除了输入脚本的交易的哈希值。在大多数地方,你可以像以往那样使用TXID。唯一的区别是,在交易的输入端的前一个输出端引入V3版本的交易时,你应该使用UTXID代替。
这个起到的作用是,当我们把上一个交易压入堆栈时,我们就不需要把输入脚本压入堆栈。这将使我们的数据永远保持在520字节以下
这个相对较小的变化就是我们所需要的全部。
Malfix的问题
从全节点的角度来看,Malfix实现起来相对简单。它的主要是问题是不像之前每次BCH的硬分叉升级,这个相当具有侵略性。所有的钱包都需要升级,才能处理V3版本的交易。
如果一个未升级的钱包收到了一笔V3版本的交易,它就不能花费里面的币。
我们可以通过以比特币现金地址格式碰撞版本字节来缓解这种情况。
已升级的钱包可以编程为:当发送币到旧版本字节时,只能构造V1或V2版本的交易;当发送币到新版本字节时,就使用V3版本的交易。这主要是为了防止未升级的钱包接收V3版本的交易,并且允许它们按照自己的节奏升级。
可能有其他类型的服务会因为Malfix而中断,我们必须长时间的深入思考可能会是哪些服务以及如何简化升级。
与以太坊的比较
所以这是否意味着BCH具有ETH的全部功能了呢?并不完全是的。记住,ETH是从一开始就设计成按照这种方式运行的。比特币在设计时显然没有考虑到这种类型的功能,我们只能使用更加聪明的方式来打破比特币的天然限制。我认为ETH这样的智能合约总是更加容易进行开发,尽管像Spden这样的高级语言在某种程度上也可以帮助BCH开发者体验智能合约。
BCH保存状态的方式和ETH也是不同的。在ETH里面,只要你愿意支付gas,你可以在合约中保存任何类型的数据。
在BCH里面,我们最多只能在op_return里面保存220字节数据,这只够用来保存一些哈希值。这意味着我们的状态需要成为数据树的根,而不是数据本身,就像之前BNS那个例子。使用合约的人将自己负责存储实际数据
最后一点,ETH上的合约可以对其他ETH合约进行函数调用。我不确定这在BCH上是否可行,因为我还没有深入思考过。
如果Malfix提案最终可以通过,那么在BCH上创建ETH式的智能合约是切实可行的。我们或许无法实现ETH的所有功能,但这依旧是一次脚本语言的大规模升级。
原文作者:ChrisPacia
原文链接:
https://honest.cash/cpacia/a-case-for-malfix-4436/
------译文结束-----
结束语
我是怀着非常激动的心情看完这篇文章的,并且前后看了好多遍。我觉得非常有必要让国内BCH社区了解这个具有革命性意义的技术,因此特意花几个小时翻译了这篇文章。文中难免有些错漏之处,请谅解。
智能合约的重要性不言而喻,像前几天上线的比特耶稣的那个OTC平台,核心功能就是一个利用OP_CHECKDATASIG操作码构建的智能合约。
Malfix这个提案如果真的实现,BCH能做的事情就会变得非常非常多。按照我的理解,在BCH上实现这种ETH式的智能合约,不会出现像目前ETH那样的性能瓶颈。而且这是BCH主链上的智能合约,因此这些合约都是可以支持0确认交易的,到时候BCH就会变得极其具有竞争力。画面太美,简直都不敢想啊。希望11月份的升级可以通过这个提案。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。