区块链入门 | 开启比特币智能合约的「三把锁」_区块链:区块链专业学什么课程

随着新的指令和算法的引入,比特币的多签功能正在变得强大。多签不仅是指多个人共同签名,保管一笔比特币资产;它还可以是多个条件「共同签名」,通过这些条件锁定和解锁比特币。

用条件决定资产的使用,其实就是合约的功能。当这个合约可以被代码表达并无需信任地自动执行时,我们称其为智能合约。因此前比特币核心主管维护人员GavinAndresen说:比特币的多签功能已经可以完成以太坊上大部分有用的功能。

那么,比特币是如何实现智能合约的?比特币与以太坊的智能合约又有何区别?我们采访了对区块链和智能合约有着深刻认知的技术写作者王渊命,他曾任新浪微博架构师、QingCloud容器平台负责人,现为某公链项目的首席架构师,他也是BFTF区块链技术联盟的发起者。

智能合约

一、比特币是否需要智能合约

Q:

比特币需要智能合约吗?

A:需要。智能合约能够为比特币系统带来逻辑可扩展性,在不改变现有基础设施、基础架构的情况下,为系统增加新的功能,从而增强系统的能力。扩展性不只是指TPS、容量和存储等方面。

智能合约的另一个作用是它能实现具有约束力的合同功能。它是一个定义各方权利和义务关系的协议,只不过是数字化的,且它的执行机制不依赖于现有的法律体系。

Q:比特币作为一种加密货币,为什么需要合同功能?简单交易它不就可以吗?

A:并没有所谓的简单交易,你为什么给我转账?无论是购物,或者是发工资或其他,背后其实都依赖于一个合同。在现实生活中,这个合同的执行是依赖于司法体系的,一方违约,另外一方可以起诉。只有货币而没有司法体系的约束,是没办法完成任何交易的。

行情 | 区块链概念股分化严重:10月31日,沪深两市高开,上证综指开盘上涨0.19%,报2944.84点;深证成指开盘上涨0.28%,报9709.10点;创业板指开盘上涨0.26%,报1688.42点。

从盘面上看,区块链概念股严重分化,仅有新湖中宝开盘涨停,四方精创、天夏智慧等开盘跌停。超级品牌、电子烟等板块上涨,数字货币、区块链、知识产权、电子竞技等板块表现低迷。  [2019/10/31]

那么在全球化的加密货币世界里,该如何构建这种合同的约束力?依赖于智能合约。智能合约将规则/法律通过代码表达并执行,用代码构建出一套约束力体系。

Q:比特币需要DeFi吗?

A:广义来说,所有的加密货币都属于DeFi的应用领域,因为DeFi的第一步是有货币。有了货币后,可以围绕货币定义怎么跟其它资产或者货币交换,如何借贷等等,加密货币里的金融相对法币体系的金融还比较早期,可探索的路还很长。

二、比特币如何实现智能合约

Q:

为什么说比特币系统是支持智能合约的?

A:合约就是当我跟你做一个交易时,它能保证这个交易达成,也就是说它能表达某种条件,当条件满足时我才给你付款。能把这个条件表达出来,就可以认为它有智能合约表达能力。比特币的脚本是有智能合约表达能力的,可以把比特币的脚本理解成是一种智能合约。

那为什么比特币要通过脚本而不是把功能固化在链上?因为如果固化在链上,当用户/开发者需要某个功能时,就需要比特币开发团队去实现,然后再发布,然后推动整个链的升级,但区块链升级是个复杂的事情,弄不好就分叉了。

动态 | 建行福建省分行首批试点跨境业务区块链服务平台:据福建日报消息,近日,建设银行福建省分行作为全国首批试点行,为好事达(福建)股份有限公司办理了全省首笔跨境业务、区块链服务平台试点业务、出口应收账款融资业务。[2019/4/17]

所以比特币只提供最基础的一些素材,相当于给你提供面粉,但菜怎么做留给你自己,你可以利用这些素材,根据自己的场景组合出新的东西,不需要依赖于主链的升级。这也就是我前边讲过的通过智能合约来实现逻辑可扩展性。未来是不确定的,智能合约可以看成是一种应对不确定性的策略。

上边是比特币系统本身对智能合约的支持,它是通过脚本实现的;还有另一类支持/实现智能合约的方式,就是通过比特币系统的侧链,在侧链上实现智能合约的方法跟在以太坊上类似。

Q:比特币系统是如何通过脚本实现智能合约的?

A:以太坊上的智能合约是直接用代码表达清楚的,什么条件下执行A,什么条件下执行B等等,比特币上的智能合约不像以太坊那样直白。

比特币上所有的智能合约都要被转换成加锁、解锁的机制来实现,也就是说在脚本中,通过「key」或者是「哈希条件」把资产锁定,再加上一个「时间锁」。无论是闪电网络还是Arwen协议,都是这样的机制,比特币将会推出的Schnoor签名之类的,也都是为了更好地去表达这个机制。

因此,实现比特币智能合约的核心就是怎么去加锁和解锁资产。

如果合约中所有的条件都能转换成key、哈希条件、时间锁这三者来加锁和解锁,那么这个合约就可以用比特币系统实现。我把这三者分别称为签名锁,哈希锁,时间锁,比特币智能合约基本就是用这「三把锁」来实现的。

动态 | 马来西亚猎头公司:区块链技术为当地创造很多就业机会:据马来西亚国家通讯社消息,马来西亚猎头公司任仕达(Randstad)在今天发布的2019年年度市场展望报告中表示,随着区块链技术的发展,越来越多的人开始利用科技的发展趋势,学习新技能,发挥专业技能。区块链技术的进步为当地劳动力创造了很多新就业机会。[2019/1/17]

比如你从我这儿买一个音乐,这个音乐通过密码访问,那么在交易合约中,我把音乐的访问密码也变成其中的一个key,如果要达成交易,这个key必须让你知道;而一旦你知道,钱就支付给我了。

Q:哈希条件和key有什么不同?

A:你可以理解成一个东西,它们的作用是一样的。哈希条件是我知道一个value,把value哈希之后得到一个哈希结果。那么在合约中,就是设置一个条件,谁能在写交易的时候把这个哈希结果打进来,这钱就归谁。只要我有这个value,就有哈希结果,也可以理解成有一个key。

Q:简单而言,可不可以认为比特币的智能合约是通过多签加上时间锁来实现的?

A:可以,前边讲过用key、哈希条件、时间锁实现智能合约,哈希条件也可以当作多重签名中的一个key来看待;时间锁则是一个关于区块高度的条件。

Q:时间锁在实现智能合约中的重要性是什么?

A:时间锁很重要,如果没有时间约束的话,很多协议是没法实现的。正是因为现在有了哈希条件、时间锁,闪电网络这种合约才能跑起来。

比如说闪电网络,我们两个人共同出钱,把钱冻结到一个共管的账号里,然后在链下互相支付,当要去结算时一方不合作了怎么办?假设我们吵架了,你的钱你不要了,但我的钱我也拿不到。有了时间锁就好处理了,我设一个超时时间,过了超时时间钱就是我的,我就可以拿走了。

央行数字货币研究所所长姚前:完善区块链治理机制,更好服务于实体经济:中国人民银行数字货币研究所所长姚前表示,未来在中心化和去中心化这两个极点之间,将会存在一个新的领域,各种区块链系统拥有不同的非中心化程度,以满足不同场景的特定需求。我们要完善区块链治理机制,要发挥区块链技术的正能量和更好的服务于实体经济。在核心关键技术上下功夫,不受制于人,同时要促进区块链技术整个市场和生态环境的健康发展。[2018/5/18]

三、比特币与以太坊智能合约的差别

Q:

对应于比特币用脚本实现智能合约,以太坊是用什么实现智能合约的?

A:以太坊有一个智能合约语言。其实比特币的脚本也可以理解成一种语言,只不过比较简单;比特币脚本执行也可以理解成有一个虚拟机,只不过虚拟机的实现比较简单。既然都是虚拟机执行指令,那么以太坊的改变在哪里?

我总结以太坊带来的主要改变有三点:

1.以太坊虚拟机指令的表达能力更强。简单理解的话,可以认为以太坊提供的指令更低级,用低级的指令组合成高级指令,而比特币是直接提供高级指令,其指令是有限的。另外,以太坊支持跳转等指令,能表达出循环等逻辑,也就是大家常说的图灵完备。

2.以太坊引入了gas机制。在以太坊上可以随意写合约逻辑,gas机制保证最后执行的时候有一个上限限制,这除了解决停机问题外,还能限制浪费资源,让脚本的执行成本跟付出的费用间有个关系。

3.以太坊上的合约有状态,而比特币上的合约不能有自己的状态。这代表着:第一,比特币上的合约是不能自己生成自己的状态的,比如说在这次脚本里输出一个东西,在下次脚本中使用是不行的,比特币的脚本都是一次性的,只对这个交易起作用;第二,比特币上的脚本是不能直接读取链上已有的状态的,比如时间锁依赖链上的区块高度,需要特殊指令支持,嵌入到脚本里的其他状态更无法读取。

钱江晚报:杭州或将领跑区块链第一阵营: 去年上半年,区块链产业园落户杭州西溪谷互联网金融小镇,而今,杭州市政府又在政府工作报告中重推区块链技术。目前相关政府还在谋划区块链小镇,这有望进一步助推杭州区块链创新发展。杭州区块链技术与应用联合会秘书长王雷认为,杭州正在全力打造国际金融科技中心,这为区块链产业的发展提供了创新土壤。种种迹象表明,杭州完全有可能诞生引领全球竞争力的区块链企业。下一个阿里巴巴,或许又将在杭州诞生。[2018/2/23]

Q:图灵完备会带来什么差别?

A:其实以太坊也不是说真图灵完备,因为它有gas的限制,不可能用太复杂的逻辑。

图灵完备的好处是它的扩展能力更强,表达能力更强。因此以太坊提供的实验的自由度要远大于比特币,这也是以太坊上各种实验项目多的原因。

比特币是一种保守策略。我就这么多指令,我在别的地方先实验,实验好了,觉得需要支持这个指令,就增加这个指令。比如说为了支持原子交换以及支付通道,增加了哈希时间锁定协议,可以锁定一个时间段。

比特币为什么不扩充那么多指令?因为不同指令的资源消耗是不一样的,如果表达很复杂的脚本,执行这个交易的成本就会很高,会消耗资源、影响整个网络。

Q:合约状态会带来什么差别?

A:比特币的状态全是在链下生成的,就是说生成交易的时候就要把这个状态写好,链上只承载交易的数据,其它额外的数据写不进去。

比如你很难在比特币上发自己的币。在比特币上发的币都是染色币,染色币是在脚本里嵌入一些自己的数据结构,但脚本不能读嵌入的这个数据结构,所以也不能通过脚本对这个数据结构做验证,需要再做一个网络校验,看写进去的这个数据是不是合法的。

所有的染色币都是基于这个机制实现的,它不是像以太坊那样直接发一个token,然后通过合约来校验。

比特币之所以采用这种设计,本质在于它是不欢迎其他的数据写上去的,因为对比特币网络来说,承载额外的数据是有成本的,这种数据还得永久保存,而用户只付费一次。所以比特币不提供自定义状态的存储,这不是它的路线,通过op_return嵌入自定义数据可以理解为一种hack行为,并不是比特币提供op_return?的本来目标。

其实这能够看出比特币和以太坊在设计思路上的区别:你可以把比特币理解成一个中立的银行,它只提供资产加锁、解锁的机制,谁有钥匙资产归谁,它对其他的条件都不关心;并且每一笔资产都是独立的锁,它也不关心资产之间的关系。比特币的智能合约并不是一段代码,而是一系列操作锁的协议。

而以太坊的的设计思路是任何合约都可以表现为一系列的交易,后面的交易和前置交易的状态是有关联的,所以它提供一种通用的追踪和更新历史状态的机制,而更新状态的逻辑和条件就由用户自己去创造。以太坊黄皮书里的世界状态的公式很好的表达了这种思路。

这两种思路其实各有优劣,和设计者的目标以及对世界的抽象有关系。

Q:比特币和以太坊的智能合约还有其他不同吗?

A:UTXO模型与Account模型的不同,也会给两者智能合约的实现带来差异。

在UTXO模型中,每一笔钱都有一个标记,使用的时候需要明确知道使用的是哪一笔钱;Account模型则相当于把用户所有的UTXO合并成一个大的UTXO,使用的是这个默认的UTXO。这带来几点不同:

1.在Account模型下写合约比较简单,只需要说转多少钱,不需要指明转的是哪一笔钱;

2.Account模型可以提前对未来的收益进行约束,也就说这笔钱还没到合约账户,但可以部署合约去约束它该怎么花;

3.由于Account模型相当于合并UTXO,所以转账时不能直接设置解锁条件,必须先部署一个合约。

当然,UTXO模型和Account模型都是在演化的,有一些项目会对它们做出改变,有机会我会写文章详细分析。

四、比特币智能合约案例

Q:

怎么理解闪电网络本身就是一种智能合约?

A:你可以说闪电网络是一个协议,也可以说它是比特币上的一种智能合约。闪电网络的合约主要解决两个人如何共同锁钱,以及如果一方作弊、不合作等等情况下怎么办的问题,它是通过前边说的三把锁来实现的。

Q:在闪电网络上实现智能合约又是怎样的一个过程?

A:闪电网络实际上是两个人之间的支付通道,现在只支持互相转账。我们尝试在支付通道之上嵌入了一个虚拟机,就可以执行比较完备的智能合约,比如游戏。

通道双方可以压一笔BTC,然后去玩游戏,赢的一方得BTC;如果玩的有分歧,可通过仲裁系统去仲裁。仲裁系统相当于一个法院,可以是一个侧链,或是一个双方信任的机构运行的节点,或者是仲裁者市场等等。仲裁系统保留了双方的解锁钥匙,它仲裁之后把钥匙给赢的一方。

由于闪电网络的资产是定向的,所以仲裁者只能决定哪个用户得到BTC,但自己不能拿走用户的BTC,即便是有联合作弊的可能,但作弊成本要比托管模式高。

Q:通过闪电网络实现智能合约,与通过类似Liquid的侧链实现智能合约,有什么不同?

A:闪电网络上的智能合约是通道双方的链下节点执行的,互相校验,产生分歧时需要有一个仲裁系统来仲裁。而侧链本身就有共识机制,有多个节点来执行和校验合约,所以两者在执行机制上是不一样的。

在侧链实现智能合约的方式与在以太坊上实现智能合约的方式类似,但当它与主链协同的时候,需要通过比特币的加锁、解锁的机制。

结束语

作为加密货币,比特币似乎有能力为DeFi的发展提供一个更好的空间,因为它凝聚了最多的共识,也承载着最高的价值和流动性,它是最受信任的加密资产。

那么作为一种系统,比特币是否支持DeFi的实施?在本文中我们探讨了比特币智能合约的实现机制,并把它与以太坊智能合约进行了一些比较。比特币上的DeFi不仅是可能的,而且会随着多签功能的强大变得更加完备。

也许我们可以期待以比特币为核心元素的去中心化金融服务的到来。

-TheEnd?-

受访者:王渊命

采访&撰文:李画

本文约5000字,阅读全文需约10分钟。

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

金宝趣谈

[0:62ms0-7:30ms