02
第一个十年（2）
时间到了2018年，7月份出现了一个游戏，玩家众多，又一次严重阻塞了以太坊网络。
Fomo3D，一个典型的资金盘游戏，玩家以递增的价格买钥匙，如果一段时间内无人买钥匙则游戏停止，最后一个钥匙买家赢得沉淀资金的一半，另一半资金均价回购所有的钥匙。
这是一个设计的还不错的庞氏游戏，首轮结束时瓜分了价值180万美元等值的以太币。有意思的倒不是这个游戏本身，而是这个游戏执行的方式。这个资金盘没有任何的价值包装，只是赤裸裸地描述规则，项目方也是完全匿名，没有任何背景可查，分分钟准备跑路的样子。但是游戏就在这样一个完全没有信任背书的情况下，开盘了，无数玩家竟然都信了，都冲进去了。
然后一切都如期发生了，之前约定的规则都被严格执行了，没有任何意外。通常庞氏总是和骗局连在一起，不过这个游戏是一场「庞氏」，但却不是一场「骗局」。
这是我想说的区块链技术的核心价值(也许是之一)，是前所未有的能力，是之前任何信息技术无法实现的:
在业务全部信息可形式化的范畴内，让这个计算系统可以自证清白。
回到前面讲到的游戏，正是因为运行在以太坊上面，区块链技术实现了规则一旦被制定、被部署，就无法被修改，连运营者开发者都也无法修改。只要以太坊没有因为被51%攻击而摧毁，这些预设的规则就会被严格执行，不受任何人的干扰和控制。规则将以开源的方式部署，任何人都可以查看并确信规则的每一个细节。即使最初的开发者突然人间蒸发，也不会影响游戏的正常运行。
这样的一个游戏系统，自证清白，一切会按照预设的方式发生，而不会有任何意外。所有玩家不需要信任游戏的开发者不会作恶，也不用担心相信游戏的运营过程会有任何的猫腻。 如果信息服务系统可以自证清白，那么其所承载的业务就可以赢得所有人的信赖。
这个情形其实并不是建立了信任，而是业务的运行不需要信任了(trustless)。同时大家也可以很简单地认同这样的业务所传递的价值，不需要各种前置的信任建立过程，省去了大量的时间和精力，这就是共识的价值。
但是区块链技术不是万能的，能够自证清白地运行是有前提的:
-
相关业务的信息必须能够被形式化并体现在系统内部。所以比特币的储值、支付、发行过程是有保障的、不需要信任的，但是比特币对法币的价格不在系统内部，系统本身无法保障这个事情，完全依赖外部的信任(或者说信仰...)
-
系统的物理计算设备必须是去中心化的，并且参与系统的过程可以有壁垒，但是必须没有授权控制方(premissionless)。较之传统的支付接入，比特币作为支付系统，任何接入方无需申请，也不需要和任何方签订协议，也不会被费率歧视或者担心哪天会被吊销。
-
系统承载的业务逻辑的代码必须开源，并且可以证明实际系统中运行的代码就是源码公开的那一份。结合上一条，这意味着，系统的运营也将不再属于任何一方。所有人在这个系统中都没有既定规则以外凌驾于其他人之上的特殊优势，包括开发者。
03
脱离特定物理计算设备的图灵机
1936年艾伦·图灵提出了图灵机这个高度抽象的计算模型，开启了计算机科学时代篇章。
1945年，冯·诺伊曼在图灵机的基础上给出了工程上可以实现冯·诺伊曼架构，直到现在，大多数的计算机从CPU到GPU，从Intel到ARM都是遵从这一架构，并藉由半导体技术将其的规模、速度以及性能-功耗比提高到了当年不可想象的高度。但是其基本原理始终是下图的结构。
冯·诺依曼架构，这是计算机的基本原理 ( Image Credit: https://en.wikipedia.org/wiki/Von_Neumann_architecture )
如果我们用计算机体系结构的视角去看待区块链，他是一个冯·诺伊曼架构的延伸。
在区块链中，「输入」是未定序未确认的交易，「输出」是有序的经过确认的交易，而「内存」中则是账簿的状态。其中央处理器执行的是硬编码(hardcoded)在区块链节点软件中的交易逻辑，或者是第三方部署的智能合约。
用计算机体系结构的视角去看待区块链，其本身也是一个冯·诺伊曼架构。
我这里从这个视角展现区块链，是为了用最简洁的方式介绍区块链的工作原理，并不是想说区块链本身也是一个通用计算机，或者说世界大计算机。
由于本文篇幅较长，共分为三个部分发布，敬请期待明天的下篇。
