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、并行性、异步性和行为类型的行业趋势。
由于节点是内部并发的,每个节点都不需要运行所有的命名空间(区块链),系统将是可扩展的。
由于合约语言和虚拟机是从可证明数学的形式化规范构建而来的,由于编译流水线和工程方法在构造上是正确的,我们期望这个平台将被视为值得信赖的。