RChain可并发、组合、无限伸缩的区块链

RChain 项目正在建立一个去中心化的、经济的、抵制审查的公共计算基础设施和区块链。它将主持并执行通常被称为“智能合约”的计划。这将是可信的、可扩展的、并行的，具有POS共识和内容交付。

通过使用智能合约，可以在此平台上面构建大量可完全扩展的分布式应用程序（dApp）。DApps可能涉及诸如身份、代币、时间戳、金融服务、货币化内容交付、去中心化自治组织（DAO）、交易、声誉、私人社交网络、市场等领域。

RChain网络实现了直接的节点到节点的通信，每个节点在其上运行RChain平台和一组dApp。

RChain的核心是Rho虚拟机（RhoVM）执行环境，它运行多个RhoVM，每个执行一个智能合约。这些是同时执行并且是多线程的。

这种并发性是围绕着移植性过程演算的形式化模型而设计的，伴随着组合命名空间的应用，每个节点允许实现多个区块链。这种独立执行的虚拟机实例的多链与“全局计算”设计形成鲜明对比，“全局计算”设计限制了事务只能在单个虚拟机上顺序执行。另外，每个节点都可以配置为只订阅和处理它感兴趣的命名空间（区块链）。

像其他区块链一样，为区块链状态实现跨节点的共识至关重要。RChain的复制和共识协议被称为Casper，是一个POS协议。类似于以太坊，合约在一种状态下开始，许多节点收到一个签名的事务，然后他们的RhoVM实例执行该合约到下一个状态。一系列节点操作人或“有抵押验证人”将一致性算法应用于加密经济学，验证RhoVM实例的状态配置和状态转换的整个历史记录，是否在分布式数据存储中准确复制。

区块链合约（也称为智能合约、流程或程序），包括安装时包含的系统合约，均使用RChain通用语言“ Rholang ”（反映式高阶语言）编写。Rholang从rho-calculus计算用形式化语言派生而来，支持内部程序并发。它形式化地表达了并行执行中许多过程的沟通和协调。Rholang自然地适应了代码移植性、reactive/monadic API、并行性、异步性和行为类型的行业趋势。

由于节点是内部并发的，每个节点都不需要运行所有的命名空间（区块链），系统将是可扩展的。

由于合约语言和虚拟机是从可证明数学的形式化规范构建而来的，由于编译流水线和工程方法在构造上是正确的，我们期望这个平台将被视为值得信赖的。