作者:何岩,禁止转载。
0.前言
本篇会比较抽象,解释为什么要将交易设计成函数等价。
以及,函数的本质是什么?
1.交易改造为标准函数等价
咖啡馆,细碎的闲聊声混合着咖啡的气味。
Gilfoyle端着咖啡杯,望着窗外。
中本聪也端着咖啡杯,望着窗外。
他俩享受着,内心充盈又狂喜的美妙滋味。
中本聪和Gilfoyle对UTXO的设计很满意,他俩很清楚,自己搞出了一个皇冠级别的设计方案。
Gilfoyle转过头,盯着中本聪说:“你有野心吗?”
中本聪一愣:“什么意思?”
Gilfoyle:“我是说,你想把Bitcoin改造的再疯狂一些吗?”
中本聪:“当然,搞崩了我都不怕,怎么疯狂怎么来,我是一个自由主义者”
中本聪:“说说看,你的灵感是啥?”
Gilfoyle:“我想把Bitcoin系统改造成世界通用计算机”
中本聪:“卧槽,牛逼了!节奏对了,嗨起来!继续说!”,显然,中本聪浓缩咖啡喝多了。
Gilfoyle:“现在Bitcoin系统本质上是什么?本质上就是一个交易系统,就是一个单一业务的服务。”
中本聪:“你的意思是,Bitcoin系统可以做,除了转账之外的业务?可是我的初衷,就是构造一个电子现金系统啊!”
Gilfoyle:“初衷限制了你的思路,看不到Bitcoin的可能性。以Bitcoin现在的架构设计,刚好有机会可以改造成世界通用计算机。转账业务反而是优势,甚至是成为世界通用计算机的必要条件”
Gilfoyle:“如何成为世界级的,现在我还想不出方案,但我知道大体方向是朝着更加分布式去演进。”
Gilfoyle:”但我想明白了,如何成为通用计算机,只需要改动一个点,即可实现!”
中本聪:“这么神奇,改动哪个点?”
Gilfoyle:“只需要将交易改造成函数等价即可!”
中本聪喝了一口咖啡,思考着这句话背后的逻辑。
忽然中本聪兴奋的狠狠拍了下桌子:“我想明白了!的确如此!你真是天才!”
中本聪:“你看看我理解的对不对,计算机的本质既不是编程语言,机器语言这种软件。也不是cpu,内存,硬盘这类硬件。计算机的本质是抽象维度的计算而已。而计算属于逻辑系统。而逻辑系统的通用表达形式就是函数。所以一旦定义出了函数,就等于生命定义出了细胞,用细胞可以拼装成各自复杂生命体。所以说,交易等价于函数,就等于Bitcoin系统实现了通用的计算能力。人们通过计算的组合可以构建任何业务,所以Bitcoin系统就等于是一台通用计算机了。”
Gilfoyle:“完全正确!所谓的逻辑系统的实现,成功案例有数学系统和Lambda演算,相比起来,Lambda演算比数学系统更加规范,更加适合做工程化的东西,所以计算机体系的底层语言都会选则Lambda演算。所以,我们设计交易的函数等价时,应该参考Lambda演算的定义,本质上就是将交易等价于一个标准函数,而不要等价于数学系统那样的自由函数。”
(备注:什么是Lambda演算?)
2.乐高的基础块
中本聪:“为什么Lambda演算比数学系统更规范呢?”
Gilfoyle:“用玩具来打比方:标准函数就像乐高块,自由函数就像橡皮泥,Bitcoin现在的交易就像动漫手办。”
1)Lambda演算中的标准函数,就像,乐高基础块。
2)数学系统的自由函数,就像,橡皮泥。(见下图)
3)而现在未改造前的Bitcoin系统的交易,就像,动漫手办。(见下图)
Gilfoyle继续解释到:“橡皮泥虽然和乐高一样,都可以拼装出想要表达的业务,例如拼出一个小人,即,他俩的能力是等价的。但是,橡皮泥由于粒度太小,很难多人协作。因为,你做的部分和我做的部分都太个性化,很难连接在一起。而乐高则不同,乐高的粒度适中,基础块就是固定的2*4的标准块。正因为你手里的乐高基础块和我手里的一样,所以我们各自拼装的部分就可以连接在一起,所以乐高更适合做复杂的、多人协作的、工程化的业务。例如下面这个复杂作品”(见下图)
Gilfoyle:“而现在Bitcoin系统中的交易,就是一个动漫手办,因为没有给客户diy的空间,交易中的计算就是单一的验证签名是否合法,所以Bitcoin业务单一的根源就在这里,Bitcoin唯一拥有的留给客户的diy的空间也在这里,即,所谓的通用计算,就是利用验证交易签名这个点的计算能力,将这个点的计算资源开一个口,往上伸展,间接的提供给用户”(见下图)
中本聪:“所以,我们要做的就是:将交易由“动漫手办”,改造成“乐高基础块”啦!”
Gilfoyle:“就是这样!”
中本聪:“这真是四两拨千斤,改动一个微观点,实现了系统性的本质跃迁。”
Gilfoyle:“这需要透过纷繁的表象,看到底层少数的核心概念。就好比,经济学的基础块是交易。物质的基础块是原子,生命的基础块是细胞,计算的基础块是函数,Lambda演算的基础块是标准函数。所以Bitcoin的基础块是等价于标准函数的交易。”
中本聪:“美妙! 标准函数的交易,即能实现通用计算,又能实现市场经济”
Gilfoyle:“对,Bitcoin已经很好的实现了交易,等于已经接通了市场经济,这点正是一个必要条件,有了经济的流动,才能支撑Bitcoin成为通用计算机的耗能开销!”
中本聪:“如果换一种视角来看,交易的转账业务,就是通用计算机的内置默认功能。而交易的标准函数功能,则是提供给用户来构建应用的操作系统接口。”
(备注:就像苹果手机的内置默认app和appstore中可下载的app一样)
函数可以构建一切业务,所以,TX is anyting,
Bitcoin is anything!
中本聪和Gilfolye又可以看着窗外享受内心的狂喜了。
BSV打赏地址:1BudFu186jzdP9CBJTTPGsdbSJinbzzCyB
下一篇:重新创造比特币10:交易脚本
相关文章:
比特币SV(Bitcoin satoshi vision,BSV)是目前唯一一个遵循中本聪原始白皮书,遵循中本聪原始协议和设计的比特币。BSV是唯一的公共区块链,维持比特币的原始愿景,并将大规模扩容成为企业级区块链和世界新货币。