干货分享 RChain技术创新之ρ-演算(二)

通过上一篇文章的介绍,相信“移动进程演算”的概念已经为大家熟知,本篇我们切入正题,看看引领RChain的技术创新的ρ-演算有哪些优势。

移动进程演算是RChain项目背后的主要洞察,Greg潜心多年研发了应用于RChain的ρ演算,解决了传统框架π演算中许多关键问题的闭环。

ρ演算为π演算增加了自反性。Rholang代表了自反性的高阶,也就是说ρ演算支持与其自身相关的进程,这一特性在区块链编程中尤为重要。ρ演算允许对智能合同代码进行前所未有的自动化分析,从而确保它遵守创建者制定的约束条件。

提供了“命名空间”概念——使具有相关规则的通信渠道集合成一个空间。命名空间与自动分析功能相结合,使开发人员能够验证是否可以访问智能合约的某些功能,从而防止最近在Parity多重签名钱包中发现的安全漏洞。ρ演算的优势不胜枚举,以上只是其中的一小部分。

RChain就是基于以上构想而设计的区块链框架,其核心是编程语言Rholang,它使得ρ演算可以作为语言结构提供给程序员。现在,Rholang正在被开发成一种智能合约语言。

Rholang的表现预期来自几个方面

首先,它是一种高并发编程语言,允许开发高度可并行化的软件,通过向网络添加计算资源,Rholang可以显著提高软件的执行速度。其次,它可以通过自动化工具进行有效的分析,最终成为其编译器框架的组成部分。编译器可以自动识别瓶颈,执行优化,甚至在GPU上以矢量化的方式执行某些部分的代码。

除性能外,当并发编程中出现诸如死锁和竞争状况时,Rholang还为安全性提供了重要保证。例如,它可以在智能合约代码中找到竞争条件,并确保网络上的所有节点只在竞赛点达成共识,这将大大减少通过区块链网络所需的流量。

RChain的创新愿景并不止步于Rholang,它的另一个改进之处是资源经济模型。目前众所周知的资源经济学模型是以太坊GAS,用于支付在共识下进行的智能合约计算。然而,以太坊GAS只为运行智能合约所需的计算能力买了单,而没有补偿其他与节点相关费用——磁盘存储,内存和网络利用率。一个真正可扩展的区块链项目需要将这些费用纳入考虑范围,否则,激励机制的失衡将会阻碍网络发展。想象一下,当一个区块链的流量增长到PB级时会发生什么?每一个节点上的“验证者”都要支付如此庞大的存储空间,如果没有网络补贴,他们很难愿意提供这一重要服务,而失去了验证者的网络也将不复存在。

RChain通过命名空间限制交易范围,具有可伸缩性

RChain使验证者只需要在特定的命名空间(碎片)内达成特定交易的共识,这就意味着网络通信只需要在有限的验证器之间进行,并且仅用于相关事务,而不是全网络中的每个事务。因此,RChain节点不需要像比特币或以太坊那样下载整个区块链,它具有缩小交易共识范围的能力,从而减少工作量。

RChain为未来而生,它不仅可以突破区块链目前的发展瓶颈,更着眼于未来,Rholang语言将成为引领区块链发展的创新工具,让我们共同期待它绽放光彩。

  • 发表于:
  • 原文链接:http://kuaibao.qq.com/s/20180115G0QB5W00?refer=cp_1026

相关快讯

扫码关注云+社区