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演算的定义，本质上就是将交易等价于一个标准函数，而不要等价于数学系统那样的自由函数。”

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又可以看着窗外享受内心的狂喜了。

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

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