这就像是函数：y = f (x)

F是固定的，可见的，x是不可篡改的，那么y就是可验证、可确信的。

同时，这里所提到的DID是基于亦来云ID区块链所发行的数字身份，乘客、司机、车辆，都可以被赋予一个DID。相关属性可以存证在DID上。不可仿冒、不可篡改、不可抵赖。

我们还可以将订单记录存证在Elastos的侧链上，这是司机最佳的工作量证明。如果乘客在用车过程中发现任何与登记声明信息不匹配的地方，都可以进行评价和举报，相关信息也会在区块链上存证。

我们有了一个安全可信的运行环境保证程序可以不被篡改、数据不被篡改。

我们有了一个区块链的DID数字身份，保证身份不可仿冒，不可篡改。

我们有了一个区块链的订单记录和评价记录，所有历史记录都不可篡改，所有好的或者坏的事情都会被记录，基于可信记录可以产生信誉。

在这些基础之上，我们让这套去中心叫车系统既有可用性、又有可信性。

Serverless

用户在手机上的DApp是运行在Elastos可信运行环境。

用户PC上的听单程序是运行在Elastos可信运行环境。

用户使用DID登录这些可信运行环境，这个环境里的DApp自动可以访问对应用户DID的虚拟磁盘。

用户完全可能没有PC，可以去阿里云上租用一台服务器，或者由第三方提供一体化解决方案提供一个服务器。如果这位用户有100辆车，可以租用一百台服务器分担负载压力。但仍然是一个DID身份。

对用户来说，手机上看到的这个DApp看起来具有无限的计算能力和无限的存储空间。这是因为这个DApp不只是运行在手机上，也运行在一台网络操作系统之上，它就是Elastos。

我们传统的C/S或者B/S编程模型中通过服务器来扩展前台的能力。而在这台网络操作系统之上，不分客户端或者服务器。因为都登录相同的DID，远程与本地具有相同的访问能力；透过接口层面的RPC支持，应用几乎无法发现调用本地或者远程API的区别。所有后台服务程序看起来只是运行在不同的CPU内核上而已。同样，所有的存储访问都采用统一的接口，而无论这个存储的物理设备在哪。

这样一个不存在传统意义上的Server的编程模型我们称之为“Serverless”。