RChain 简介
比特币证明了点对点去中心化数字货币的可行性。以太坊展示了对去中心化应用开发平台的需求。然而,这些平台的广泛采用目前是不可能的,因为它们技术上还未得到扩展。
RChain 区块链设计为,从一开始就拥有可扩展性。RChain 创始人是 Greg Meredith,数学家和开发者,创建了 Rho Calculus ,架构了微软的 BizTalk Process Orchestration,Synereo 前 CTO ,现任 RChain Cooperative总裁(President)。Greg 还曾对以太坊基金会提过建议,现在也正与 Vitalik Buterin 和 Vlad Zamfir 就 Casper 相关方面进行合作。
Greg 设计了去中心化通用计算平台,用于构建安全应用,旨在解决各种社会,政治和经济问题,他尤其受那些全球性问题所驱动,希望通过一个平台,能够协调超越国家界限的大规模人类活动,来让这些问题得到缓解。他希望得到解决的问题包括气候变化,环境可持续,贫困,及颠覆性货币/贸易政策等。
开源 RChain 平台正由 RChain Cooperative 开发。建于该平台的许多 dApp 项目将由该项目的盈利性实体 RChain Holdings 开发。两者均设在华盛顿州,同时在世界其他范围拥有团队成员。
问题与机遇
由于比特币和以太坊的开创性努力,区块链建构师们在设计新系统时,具有八年加密经济学历史可供学习,这些历史代表了辉煌的创新,展示了在全球各地独立运行的成千上万个节点之间如何达成共识,形成一个能够抗攻击者的的弹性网络。
然而,现代商业需要能够每天处理数十亿笔交易(billions of transactions per day)的网络。要得到日常应用消费者的广泛采用,需要网络能够每秒处理数万笔交易(tens of thousands of transactions per second)。现在两个最知名的区块链每秒处理的交易量,少于10笔。
解决方案和独特价值主张
早期开发者测试表明,RChain 将能够提供每秒 40000 笔交易,使该平台能与 Visa 等主要信用卡公司相提并论。且与信用卡公司不同,RChain 将不存在易受黑客攻击的中心化数据库。用户数据将驻留在 RChain 的去中心化存储基础设施上,由用户的链下私钥进行加密。
现有区块链开发者正在努力解决几个额外问题,包括:共识协议的效率,繁琐的节点要求(burdensome node requirements),及智能合约可证明正确性。
RChain 采取新颖的方法来解决这些问题。它利用数学的几个分支,最显著的是移动进程演算(Mobile Process Calculi)和博弈论(game theory)。通过将这种基础工作的洞察力,与计算机科学学科,以及构建去中心化内容传送应用的经验结合起来,Greg 和其团队开发了用于去中心化计算的形式模型(formal model)。该模型是真正可扩展区块链的基础。
主要设计点包括:
Rho 演算(Rho Calculus),具有形式模型(formal models)和形式化正确性验证(formal verification)的数学计算模型
Rholang,一种强类型(strongly typed )智能合约编程语言
RhoVM,一种并发(concurrent)虚拟机
Correct-by-construction 软件工程
形式化正确性验证智能合约
权益证明(Proof-of-stake)共识协议
单节点上的多链(组合区块链,允许一个小节点可支持多个区块链)(Multiple blockchains on a single node. (Compositional blockchains, which in effect allow a small node to support multiple blockchains.))
节点可配置为公有,私有或联盟区块链
这些功能可使可靠的去中心化解决方案成为可能。如果个人无需将敏感的个人和财务信息托管给-处于非安全私人服务器上的数据存储零售商,那么互联网将变得更加值得信赖。小企业可以进入新的资本市场。
虽然几个相互竞争的区块链,都具有强大支持和雄心勃勃的愿景,RChain 技术架构的完整性和一致性,使其依然具有竞争优势。
架构
RChain 节点有多个组件,包括 P2P 网络,Java 虚拟机和 Rho 虚拟机。许多核心功能使用 Rholang 进行编程
RChain 简介
单个节点将支持:
多区块链(Multiple blockchains)
公有和/或私有区块链
多个应用代币(Multiple application tokens)
权益证明(Proof-of-Stake)共识
租用存储
原生经济代币和应用代币
RChain 将包括至少一个原生经济代币(类似比特币或以太币),其中第一个将被称为 REV。
REV的固有价值来自其几个品质。用户将需要 REV,才能与节点系统合约进行交互。REV 用于补偿节点运营商,以换取计算,存储和带宽资源。REV 也是共识协议中的权益货币(staking currency),是验证器绑定所需(required for validator bonding)。
“应用代币”将由通过类似以太坊 ERC-20 标准的系统合约来支持。应用代币可用于通过代币销售进行融资,或用以游戏化应用使用(gamify usage of applications)。RChain 的速度和可扩展性使得微支付变得可实现,使各领域的新业务模式成为可能:物联网,内容货币化(创建,推广和消费),颠覆性广告模式等。
RChain Cooperative 在以太坊上创建了一个名为“RHOC”的临时促销信用代币(interim promotional credit token)。
挑战
比特币和以太坊所开始享受的主流采用途径,对于 RChain 来说可能并不容易。现有平台具有先发优势,具有相似目标的新区块链项目之间的竞争将很激烈。正如在这个领域的每一家创业公司,引导监管环境,并不是 RChain Co-op 和 RChain Holdings 简简单单就可完成。
RChain 旨在同时为企业客户端(enterprise clients)和去中心化爱好者提供解决方案,因此平衡这些不同受众的需求和愿望可能是有挑战性的。
甚至对于有经验的开发者,Rholang 也将可能是难以学习的。它基于并行计算编程范式(concurrent computing programming paradigm),其与基于面向对象和功能范式(functional paradigms)的更常用语言,有显著不同。
建立一个健康,有凝聚力的社区,可能是所有之中的最大挑战。我们已经看到了关于相关协议应如何演变的不同意见,造成了比特币和以太坊社区形成深刻分歧。因此,这些项目偶尔遭受了一些混乱政治——为逃避这些混乱政治,许多爱好者参与了新的区块链项目。
结论
全球主要组织正在积极探索区块链。Toyota 已经与 MIT labs 和 the Oaken Institute 合作开发该技术,用于无人驾驶汽车。Fidelity CEO 表达她对于区块链技术的“热爱”,并承认 Fidelity 公司已经“建立了一个小型比特币及以太坊挖矿业务......现在为止奇迹般赚了很多钱”。格鲁吉亚国家(The Country of Georgia)已经开始移其国家土地登记册到区块链上。
RChain 核心团队有信心能够提供相应技术,满足个人及组织对于高吞吐量(交易速度和容量volume)的需求,并在其基于区块链的解决方案中,使用形式化正确性证明。
以色列创业公司Synereo声明一种基于技术栈的区块链——RChain,实现了分布式的在线计算和存储。
首先理解几个概念:
并发:的意思是,不同的进程能够平行运行,而且不会互相干扰,如图所示,4张服务台同时提供服务:
阻塞:阻塞调用是指调用结果返回之前,当前线程会被挂起(线程进入非可执行状态,在这个状态下,cpu不会给线程分配时间片,即线程暂停运行)。函数只有在得到结果之后才会返回。
非阻塞:非阻塞和阻塞的概念相对应,指在不能立刻得到结果之前,该函数不会阻塞当前线程,而会立刻返回。
我们举一个例子,假如你只知道有个快递员会在某天送快递给你,但是你不知道他的手机号,他知道你的手机号,无法知道确切的拿快递时间,那么通常你有两种办法:
阻塞模式:
下楼到一层,发现快递员没有来,你又不能干别的事,只能死等着(阻塞)。但你可以睡觉,你知道快递把货送来时一定会给你打个电话,因为这是你们之前约定好了的。假如快递员下班的时候才来,那么结果就是你一整天就干了一件事儿,拿快递。
非阻塞模式:
每隔一小时到楼下一层去看快递来了没有。如果没来,立即返回办公室正常上班(因为节省了睡觉等待时间,生产力大大提高),直到快递员把货物送到。因为你已经跟快递员约定,只要他来了,直接放到收发室即可。结果就是,你一整天除了花掉几次下楼上楼的时间,其他时间都是正常工作,几乎没有浪费时间。
区块链是一种分布式的账本,或者由去中心化的数据库构成,比特币实现了这一账本,以太坊项目则更进一步发展了它,给它配置能完成复杂交易的能力,就是智能合约。但是不管是比特币还是以太坊,都是
1.单线程阻塞区块链,没有分片机制,cpu 在大量的等待
2.每个节点必须处理整个系统上执行的每一个动作,cpu 干了大量无用的重复工作
Synereo的RChain是非租塞和分布式区块链。如上图所示,不同节点提供了不同的服务。
通过RChain体系结构的设计,并不是网络中的每个节点都需要查看和验证区块链的整个状态,从而使构建过程更加快速。它使基于区块链的系统能够更快,比特币每秒处理7个事务,以太坊每秒能处理15个事务,得益于Rchain的并发以及分布式计算机制,每秒则能处理4万个事务。一个事务被拆成不同的问题集,每个节点只处理一个与其特定需求相关的小碎片事务。然后这些小碎片可以连接成更大的碎片,这些更大的碎片最终可以组成一个完整的事务。
以太坊执行智能合约有自己的虚拟机,Rchain 也是通过一种叫RHO-VM的图灵完备虚拟机来实现的,虚拟机之间需要协同工作,处理分片计算,以达到整体计算的目的。RhoVM 具有完备的可扩展性,如果把 Rchain 理解为一台超级计算机,扩展这台机器的处理能力的办法十分简单,完全不用改代码增加什么闪电网络:加机器(加RhoVM 节点)即可。