重新创造比特币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

Recreating Bitcoin 1:Start over with a Simple Web Transaction System

Prologue # For great creation, recreating is worship. Welcome to the world of Bitcoin !!! WHAT is the book really about? Position, concept position, concept position of Bitcoin. WHY position? Because the position is clear, understanding... Continue →