重新创造比特币9:万物皆交易

作者:何岩,由 recreating.org发行。

0.前言 #

本篇会比较抽象,解释为什么要将交易设计成函数等价。

以及,函数的本质是什么?

1.交易改造为标准函数等价 #

咖啡馆,细碎的闲聊声混合着咖啡的气味。

Gilfoyle端着咖啡杯,望着窗外。

中本聪也端着咖啡杯,望着窗外。

他俩享受着,内心充盈又狂喜的美妙滋味。

中本聪和Gilfoyle对UTXO的设计很满意,他俩很清楚,自己搞出了一个皇冠级别的设计方案。

Gilfoyle转过头,盯着中本聪说:“你有野心吗?”

中本聪一愣:“什么意思?”

Gilfoyle:“我是说,你想把Bitcoin改造的再疯狂一些吗?”

中本聪:“当然,搞崩了我都不怕,怎么奔放怎么来,我是一个自由主义者!”

中本聪:“说说看,你的灵感是啥?”

Gilfoyle:“我想把Bitcoin系统改造成世界通用计算机”

中本聪:“卧槽,牛逼了!节奏对了,嗨起来!继续说!”,显然,中本聪浓缩咖啡喝多了。

Gilfoyle:“现在Bitcoin系统本质上是什么?本质上就是一个交易系统,就是一个单一业务的服务。”

中本聪:“你的意思是,Bitcoin系统可以做,除了转账之外的业务?可是我的初衷,就是构造一个电子现金系统啊!”

Gilfoyle:“初衷限制了你的思路,看不到Bitcoin的可能性。以Bitcoin现在的架构设计,刚好有机会可以改造成世界通用计算机。转账业务反而是优势,甚至是成为世界通用计算机的必要条件”

Gilfoyle:“如何成为世界级的,现在我还想不出方案,但我想明白了,如何成为通用计算机,只需要改动一个点,即可实现!”

中本聪:“这么神奇,改动哪个点?”

Gilfoyle:“只需要将交易改造成函数等价即可!”

中本聪喝了一口咖啡,思考着这句话背后的逻辑。

忽然中本聪兴奋的狠狠拍了下桌子:“我想明白了!的确如此!你真是天才!”

中本聪:“你看看我理解的对不对,计算机的本质既不是编程语言,机器语言这种软件。也不是cpu,内存,硬盘这类硬件。计算机的本质是抽象维度的计算而已。而计算属于逻辑系统。而逻辑系统的通用表达形式就是函数。所以一旦定义出了函数,就等于生命定义出了细胞,用细胞可以拼装成各自复杂生命体。所以说,交易等价于函数,就等于Bitcoin系统实现了通用的计算能力。人们通过计算的组合可以构建任何业务,所以Bitcoin系统就等于是一台通用计算机了。”

Gilfoyle:“完全正确!所谓的逻辑系统的实现,成功案例有数学系统和Lambda演算,相比起来,Lambda演算比数学系统更加规范,更加适合做工程化的东西,所以计算机体系的底层语言都会选则Lambda演算。所以,我们设计交易的函数等价时,应该参考Lambda演算的定义,本质上就是将交易等价于一个标准函数,而不要等价于数学系统那样的自由函数。”
(备注:有兴趣可以阅读《什么是Lambda演算?》链接:https://www.jianshu.com/p/488e0e0ecffe

2.乐高的基础块 #

中本聪:“为什么Lambda演算比数学系统更规范呢?”

Gilfoyle:“用玩具来打比方:标准函数就像乐高块,自由函数就像橡皮泥,Bitcoin现在的交易就像动漫手办。”

1) Lambda演算中的标准函数,就像,乐高基础块。 #

图片 1.png

乐高块

2)数学系统的自由函数,就像,橡皮泥。(见下图) #

图片 1.png

橡皮泥

3)而现在未改造前的Bitcoin系统的交易,就像,动漫手办。(见下图) #

图片 1.png

动漫手办

Gilfoyle继续解释到:“橡皮泥虽然和乐高一样,都可以拼装出想要表达的业务,例如拼出一个小人,即,他俩的能力是等价的。但是,橡皮泥由于粒度太小,很难多人协作。因为,你做的部分和我做的部分都太个性化,很难连接在一起。而乐高则不同,乐高的粒度适中,基础块就是固定的2*4的标准块。正因为你手里的乐高基础块和我手里的一样,所以我们各自拼装的部分就可以连接在一起,所以乐高更适合做复杂的、多人协作的、工程化的业务。例如下面这个复杂作品”(见下图)

图片 1.png

乐高适合复杂作品

Gilfoyle:“而现在Bitcoin系统中的交易,就是一个动漫手办,因为没有给客户diy的空间,交易中的计算就是单一的验证签名是否合法,所以Bitcoin业务单一的根源就在这里,Bitcoin唯一拥有的留给客户的diy的空间也在这里,即,所谓的通用计算,就是利用验证交易签名这个点的计算能力,将这个点的计算资源开一个口,往上伸展,间接的提供给用户”(见下图)

图片 1.png

用户利用交易来计算

中本聪:“所以,我们要做的就是:将交易由“动漫手办”,改造成“乐高基础块”啦!”

Gilfoyle:“就是这样!”

中本聪:“这真是四两拨千斤,改动一个微观点,实现了系统性的本质跃迁。”

Gilfoyle:“这需要透过纷繁的表象,看到底层少数的核心概念。就好比,经济学的基础块是交易。物质的基础块是原子,生命的基础块是细胞,计算的基础块是函数,Lambda演算的基础块是标准函数。所以Bitcoin的基础块是等价于标准函数的交易。”

中本聪:“美妙! 标准函数的交易,即能实现通用计算,又能实现市场经济”

Gilfoyle:“对,Bitcoin已经很好的实现了交易,等于已经接通了市场经济,
这点正是一个必要条件,有了经济的流动,才能支撑Bitcoin成为通用计算机的耗能开销!”

中本聪:“如果换一种视角来看,交易的转账业务,就是通用计算机的内置默认功能。而交易的标准函数功能,则是提供给用户来构建应用的操作系统接口。”

(备注:就像苹果手机的内置默认app和appstore中可下载的app一样)
函数可以构建一切业务,所以,TX is anyting,

Bitcoin is anything!

中本聪和Gilfolye又可以看着窗外享受内心的狂喜了。

下一篇:重新创造比特币10:交易脚本

相关链接 #

重新创造比特币:前言

Part One : 交易
重新创造比特币1:从一个简单的web交易系统开始
重新创造比特币2:第一个版本上线啦
重新创造比特币3:舍弃账户模型
重新创造比特币4:数字签名
重新创造比特币5:公钥和私钥
重新创造比特币6:第二个版本上线啦
重新创造比特币7:UTXO
重新创造比特币8:基于UTXO的系统重构
重新创造比特币9:万物皆交易
重新创造比特币10:交易脚本

Part Two : 群系统
重新创造比特币11:群系统(上)
重新创造比特币12:群系统(下)
重新创造比特币13:P2P网络
重新创造比特币14:交易的同步
重新创造比特币15:账本的同步
重新创造比特币16:Block Chain
重新创造比特币17:网络的弹性
重新创造比特币18:工作量证明(上)
重新创造比特币19:工作量证明(下)
重新创造比特币20:分叉之重组与分裂

书面设计矢量图_36.png

英文版Amazon.com在售 : Recreating Bitcoin

BSV打赏:
1Djc4TdVBi8urzmSXKHwg8cpEAYKcRQxgY

©2019 - Recreating.org all rights reserved

 
1
Kudos
 
1
Kudos

Now read this

重新创造比特币19:工作量证明(下)

作者:何岩,由 recreating.org发行。 0.前言 # 本篇我们就来讨论上一篇引出的核心问题:设计出一个可以证明工作量的题目。 1.寻找随机数 # 很多时候,现实中冥思苦想的问题,在梦中确可以很轻松的得到答案。 中本聪在梦境中尝到了好处,现在还不是醒来的时候。 牛头人问:“什么样的题目可以证明节点付出的工作量呢?” 小男孩说:“我想到的是:寻找随机数。这就好比去猜测一个人的生日,你只要趴在桌子上一直写呀写,总有一次可以猜中,只不过会花些体力,... Continue →