世界计算机的玩法,的确是“古已有之”,只不过当时的叫法是“世界是一台网络计算机”。但是,谁也没傻到用成千上万台计算机干同样的事,执行同样的程序还要彼此达成共识。那样做,太损失效率了,以至于大家对这种架构的可能性想都不要去想。那么,究竟是什么原因,使“傻事”成了了不得的发明创造了呢?这就不得不提及一个重要的概念:可信。

程序如何“可信”?
程序如何“可信”?这个问题在传统的计算机行当里也不是没有人考虑过的新概念。但是传统可信计算的研究,局限在数据高度敏感的少数部门之内,因此其圈子也相对“小众”,本文也不拟展开论述。笔者仅仅指出一点:传统可信计算圈子对可信计算环境的诉求,与当今区块链领域的诉求相比,不仅没有丝毫的逊色,甚至可以说是有过之而无不及。
区块链因为其承载经密码学勾稽、群体见证从而可传输价值的“公共账本”而变得重要起来。但是一个像比特币一样只能记账和转账的公共账本,只是对现实世界人们的“账本”、“钱包”或“保险箱”的简单模仿。对于大千变化的数字世界来说,这点简单模仿似乎太单薄了些。V神说,好吧,我来给你们加点作料。于是有了虚拟机和智能合约。虚拟机是智能合约的执行环境,但是,在别人掌控的主机上,作为执行环境的虚拟机和作为执行对象的合约代码都是可伪造、可做手脚的。智能合约里又充进去了许多交给智能合约支配的数字资产,万一把不可信的执行结果达成了共识回写到账本,那就万劫不复了。于是乎,“记账”的概念在以太坊那里有了新的推广,不仅记录账本上你直接支配的资产,也记录用代码支配着你的一部分资产和信任状态的智能合约的运行轨迹,即所谓“世界状态”。如果“世界状态”的比对是成功的,智能合约的运行结果据称就是可信的。为了以“公链”的方式达成对智能合约执行结果的可信性,于是有了成千上万台计算机在同样的虚拟机执行环境下运行着同样一批智能合约的蔚然景观。