区块链计算机的常识推理

2018年3月9日09:15:12 发表评论 11,197 views

陈榕 2018.2.4 第一稿,2018.3.6第二稿

我觉得大家先要讨论一下常识问题:一个区块链是一台(记账专用)计算机,认可吗?跨链就是跨计算机,认可吗?一台区块链计算机不如一台普通计算机快,认可吗?一台计算机(不论是否区块链计算机还是普通计算机)解决不了12306买票问题,认可吗?

比特币是不可更改账本技术,以太坊是不可更改账本的Excel,认可吗?Excel不是Windows,认可吗?Excel也是图灵完备,因为背后的宏编程采用Visual Basic,认可吗?但没人拿这来忽悠。以太坊能运行智能合约(链上的App),但并不能直接运行去中心化的Telegram(最近融资8.5亿美元),认可吗?

拿现实中的计算机说图灵完备,不谈工程取舍,偷换概念了。图灵机无穷快,内存无穷大,永远不出错,这是理论模型,用来逼近,现实中并不存在。

The Network is the Computer——这口号由Sun Micro于1992年提出来。一台现代计算机由N多图灵完备的CPU组成。以太坊只是网络计算机的一个部件,而非其本身。

计算回归到单进程虚拟机(虚拟的云盘DOS)。图灵计算没有网络。虚拟机由区块链确权,数字内容加载时由虚拟机OS通过区块链确权。区块链既不参与计算,也不参与通讯,只是互联网存证与定序的基础设施。

随着亦来云公链开始运行,我们在不断改进其运维机制。我们认为公链与智能合约分离势在必行,因此亦来云公链不会支持智能合约,而是直接自己实现ID侧链、数字资产侧链等Smart Web系统基础设施侧链。智能合约是“用户态”侧链应用程序,形式验证性虽说有意义,亦来云系统并无统一硬性要求。

通用应用OS信任三角△:Client必须相信Server,因此调用一般是同步RPC;Server一定不相信Client,因此一般Events回调是异步;Client和Server都必须相信OS(Runtime),反之OS既不相信Client也不相信Server。Server的回调一定通过OS把Events加到Client的线程事件处理队列。Client与Server不可能相互直接建立信任。

一条链是一台计算机,一个智能合约是一个服务。跨链建立信任?我认为需要一个公平公正、开源自动运行的网络操作系统作为“机器人媒婆”——亦来云的定位之一。

亦来云作为网络OS已经不需要Daemon了,所有服务都是按需启动。能多次调用的“智能合约”就是类似一个服务。当然,我其实不相信“智能合约”直接服务于消费者,所以亦来云公链并不支持智能合约。用户态的智能合约需要包装之后才能成为亦来云的服务。

自动驾驶——车把人从A送到B,去掉司机中介。区块链把“币”从A送到B,去掉银行中介。亦来云把价值作为DApp从A送到B,去掉渠道运营商中介。因此区块链是自动驾驶的日志存证与定序专用计算机,而亦来云是自动驾驶的档案馆及数字资产传递的万维网。

 

作者:陈榕

发表评论

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: