俄罗斯虚拟货币交易所｜RChain技术：第三代区块链巅峰

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

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

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

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

在过去的十年中，技术社区（特别是那些涉及大数据的社区）已经对存储和检索进行了存储代码（code）和数据（data）的能力。

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

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

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

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

3、CasperCBC

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

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

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

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

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

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

在团队上，创始人GregMeredith曾任职微软的首席架构师，并致力于开发的数学基础、过程计算、范畴论、编程语言语义、指称和操作语义、编程语言设计、分布式系统和网络协议。而且核心团队成员皆来自知名的大企业和区块链项目，以太坊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创始人GregMeredith做客密码极客大咖直播间。这位“任性”又充满韧性的CEO将为我们揭秘RChain最强大的技术。

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

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

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

返回搜

热点：ETH 区块链 币交易所 虚拟货币 虚拟货币交易 货币交易 货币交易所