? ? ? ? ?

“如果说现象级的币，bitcoin是第一代，ethereum就是第二代，而RChain就是第三代，是真正会形成生态的币。”

RChain是在2016年就发起的区块链项目，是基于形式化验证的并发可扩展的高性能公有链平台。RChain旨在做商业级区块链解决方案。

2019年RChain面临重大的转折，这些追随者也没有离去。这大概与RChain背后强大的技术无法分开。

RChain拥有业内独一无二的技术创新：

1、第三代技术RSpace：一种新型的键值存储

在过去的十年中，技术社区（特别是那些涉及大数据的社区）已经对存储和检索进行了重新思考。尤其是围绕No-SQL替代关系数据存储的辩证法已经发展起来了。首先出现的是基于键值的存储系统浪潮以及map-reduce范式。随之而来的是强烈反对，就查询和交易的语义提出了对键值存储范式的批评。RSpace可以解决该问题，它提供了一种无SQL存储，同时仍然具有清晰的查询和交易语义。它还提供了一项支持查询中用户控制并发性所必需的关键功能：存储代码（code）和数据（data）的能力。

2、Rholang：一种新型的编程语言（并发出块）

Rholang实现了状态存储在区块链中的虚拟机（即计算模型）必须从根本上并发，而不是时序的。

Rholang继承了Rho演算的四个C属性。Completeness（图灵完备）、Complexity（有确切的时间、空间复杂度）、Concurrency（并行性）、Compositionally（可组合性）。

市场上大多数交易都是孤立的，而Rholang可以细分、组织、重新组织这些交易。rho演算名称空间（namespace）功能则提供了一种非常强大的分片方法，可以使用相同的方法重新加入分叉，与其他网络进行互操作，提高独立交易的速度。

3、Casper CBC

RChain是第一个Casper CBC落地使用的公链项目，Casper CBC是Greg推荐给V神的，比FFG更复杂。

4、行为类型（Behavioral types）实现一键形式化验证

类型系统算法（Operational Semantics in Logical Form）是RChain金星版本主网的主要开发功能。该算法功能强大，可以实现根据结构和功能搜索代码。这种类型系统比Java，Haskell或Scala中的类型系统丰富得多。它可以看到旧程序类型系统所无法了解的程序结构和程序行为的信息，而对于程序的相关子集来说是可以确定的。

代码是互联网的难题。它负责大部分功能，作为数据资产受到存储和管理，但是对于结构化数据的标准查询机制却是不透明的。而行为类型则允许我们根据结构和功能来选择代码。这种功能不仅彻底改变了GitHub之类的服务，还为智能合约平台奠定了成功条件——该平台使人们能够从数十亿种可能性中找到所需，足以托管数十亿份智能合约。

可以说，RChain是对区块链瓶颈问题给出一篮子解决方案的项目。目前已经上了第一个版本的主网，在其水星主网上已做到 Casper CBC共识机制的工程实现。RChain的分布式并行计算模型来自于Rho演算，它是进程演算理论体系的分支。

不仅仅是技术，在团队上、生态乃至治理模式上RChain都很优秀。

在团队上，创始人Greg Meredith曾任职微软的首席架构师，并致力于开发的数学基础、过程计算、范畴论、编程语言语义、指称和操作语义、编程语言设计、分布式系统和网络协议。而且核心团队成员皆来自知名的大企业和区块链项目，以太坊Casper 协议首席研究员、Coinfund联合创始人、MakerDAO联合创始人、W3C早期创建者等技术、管理人才；同时，前期参与私募的合作成员包括曾为微软、IBM、谷歌、亚马逊、Facebook、贝恩资本等公司工作的行业资深人士。

生态建设上，RChain合作社非常注重社区开发者的激励和扩容，RChain的社区开发者分布于中国、美国、俄罗斯、克罗地亚、法国等等，RChain的钱包以及目前架构在RChain上的一些具有独创性的dapp（去中心化域名系统Dappy、去中心化聊天软件RChat等等），都是由社区开发者主导完成的。另外在今年11月初，官方已在筹办一场面向全球的黑客松活动，吸引更多优秀的开发者加入RChain的生态。

历经波折后，RChain一如往日丝毫没有放慢开发进度。在Youtube上，官方一直持续更新着RChain的周开发进度例会，以及经常邀请技术大牛参加的头脑风暴RCast。最近RChain也计划开启新一轮融资。

2020年9月24日晚8点，密码极客邀请到RChain创始人Greg Meredith做客密码极客大咖直播间。这位“任性”又充满韧性的CEO将为我们揭秘RChain最强大的技术。

那么RChain这样一个一波三折的强阵容技术项目到底有什么特别之处呢？

让我们一起看看RChain在存储方面与IPFS的不同、在互操作性上与波卡的区别、以及基于名字空间的分片方式较之以太坊分片的优势吧！

这次AMA密码极客还特别邀请到几位社区大牛做客直播间与Greg论道，欢迎大家关注并收听！

返回搜