干货分享 RChain技术创新之ρ演算（一）

如果你对RChain感兴趣，就一定想知道它的创新之处，那么CHAOEX将通过两期文章就为大家介绍RChain的技术创新点——ρ演算。

RChain是美国Lucius Gregory Meredith团队打造的创新型区块链平台，Greg Meredith是一名数学家，同时也是计算机科学家，多年来一直致力于移动进程演算的研究，并已成功将其应用到共识算法和人体生化进程的建模中。

现有的区块链平台，如以太坊，通常用于创建具有经济组件的分散式应用程序,它引入并研发了智能合约。而RChain的目标与以太坊相似，它将使用自己的语言Rholang为分布式经济应用程序创建一个全球性的平台。

RChain基于一个名为ρ演算的正式数学框架而构建，它与区块链有许多契合之处。但在了解ρ演算之前，你需要知道移动进程演算的意义。

移动进程演算用于模拟含有大量并发进程的环境，这些进程之间是互联互通的。无论实是在自然界还是在计算机科学中，并发环境随处可见。

例如，我们可以把一条道路看作一个并发环境，其中的每一辆车和司机就是一个独立的进程，他们通过速度，转向灯和鸣笛来建立“交流”，在这其中，每辆车本身也是一个并发环境，各个机械部件通过压力摩擦与其他部件“交流”。同理，人体也是由大量的并发进程组成的，所有人体结构通过复杂的物理和化学信号进行“交流”。

一旦你把整个世界看作是并发环境的组合，你就可以在任何地方看到它。

移动进程演算所提供的模型并不止于此。网络配置与进程之间的协调随着时间的推移而改变，因此，在移动进程演算中，我们可以看到一种可用于描述和解释这种流动性的机制。

在区块链中，移动进程建模的实用性是显而易见的——如以太坊可以在不同的文本环境中运行大量的并发进程。网络上的每一个节点都是一个进程，因为当交易发生时，每个节点都要进行接收、重新发送和分析。而智能合约本质上是一个移动进程环境，合约中的每一方都参与编码，然而这个进程又是特殊的，因为它们并不是连续操作的，而是根据需要与网络进行交互。例如，一个多重签名的加密货币钱包就是一个进程，合约中的每一方都将签名消息发送到钱包，钱包接收签名消息，并偶尔将资金转移到目标地址。从钱包的角度来看，与其交互的人看起来就是其他进程。

智能合约的创建或解除是重新配置某一部分移动进程网络的行为，它是由另外一套程序来执行的，这些程序根据既定规则创建或解除合同。

以上举例充分说明了移动进程演算建模的多样性，它不仅适用于实际应用环境，也适用于包括区块链和智能合约在内的数字环境。

下一期，我们将为大家带来ρ演算与Rholang语言的优势，请大家保持关注。