A1 | Rchain项目介绍
Rchain是一个可并发、可组合、可无限伸缩全新的区块链平台，最终能为企业提供高性能的区块链服务。RChain 理论上每秒至少处理 40,000 笔交易，并可以扩展。它来源于一种基于形式化验证的、去中心化的、并行计算模型。主要解决区块链底层协议扩展性的问题，该项目融合了分片技术、Casper 协议、Rho 演算的形式化验证、高并发 RroLang 语言及多虚拟机并行计算等五大创新技术，充分显示了团队极高技术实力。
RChain 主要解决如下三个问题：
1）底层协议扩展性问题；
2）智能合约的形式化验证问题；
3）共识的安全和经济问题。
- 用于并发处理智能合约的 RhoLang 语言。
- RhoLang 是一个功能全面的图灵完整的通用编程语言，它使用 Rho 演算来进行构建。它是一个具备行为类型和反射机制的高阶进程语言，也是 RChain 官方智能合约所使用的语言，其目的是具体化细粒度的并发编程。
- 目前主流的智能合约编程语言，比如 Ethereum 所用的 Solidity 、Bitcoin 所用的 Go 语言等，对于变量的处理方式均为单线程。多个线程同时访问并修改同一个变量，为了避免出现某一个线程修改变量的同时被另一个线程修改导致结果错误，上述语言将多线程的并发访问转换成了多个线程的逐个访问，大大降低了处理速度。
- RChain 的 RhoLang 语言是采取多线程并发的解决方案，即开多少线程并不是预先设定的，要取决于当时的交易量情况。当系统的计算量增加时，系统将自动增加更多的计算资源处理。
- 关于 RhoLang 语言，官方有详细的说明文档，详细见：
- https:// developer.rchain.coop/a ssets/rholang-spec-0.2.pdf 。
- 基于 Namespace 理论的状态分片技术。
- RChain 构建的 Namespace 是一个虚拟空间，每个空间有很多通道，进程之间通过通道来进行联系，不同的命名空间中，进程可以并发执行而不用担心资源竞争和不一致。这可以理解为一种另类的分片技术：一个事务被拆成不同的问题集，每个节点只处理一个与其特定需求相关的小碎片事务。然后这些小碎片可以连接成更大的碎片，这些更大的碎片最终可以组成一个完整的事务。得益于并发以及分布式计算机制， RChain 每秒能处理 4 万个事务。
- 每个 Namespace 命名空间都是一个区块链，并可以生成次一级的 Namespace，最终形成一种树状结构。对每个命名空间内的访问，独立地经由服务于该命名空间的挖矿节点确认。超出该空间的访问会一直往上提升到相应级别的命名空间，由服务于该命名空间的挖矿节点确认。命名保证了资源的无冲突访问，使得一致性协议尽可能地保持在最小的范围内。
- RChain 的 Namespace 原理详见官方说明文档，地址为：
- http:// rchain-architecture.readthedocs.io /en/latest/contracts/namespaces.html
- 基于 Casper CBC 的 PoS 共识机制。
- RChain 的共识协议与以太坊一样，也是基于 Casper 协议，不过与以太坊采用的 Casper 协议的 FFG（Friendly Finality Gadget） 协议不同，RChain 采用 Casper 的 CBC （Friendly GHOST: Correct-by-Construction）协议。即 RChain 的节点会检查逻辑命题，而不是像以太坊一样每个全节点都要验证整个区块。
- 逻辑命题是关于区块链操作的表述，例如：区块链上必须包括哪些交易，以何种顺序，哪些交易不应该被包括，或者其他属性的表述。在这种设计下，因为不需要每个节点都参与对整个区块链的验证，区块链就可以进行切分，能够在某一时间段完成大量交易并达成共识。这种结构能够使 RChain 以极快的速度处理信息，与中心化服务器形成了竞争，在维持和运行互联网层面也对中心化服务器提出了挑战。
- 就 Casper CBC 共识机制，RChain 在 GitHub 上有官方的说明文档，详细见:
- https:// github.com/ethereum/res earch/blob/master/papers/cbc-consensus/AbstractCBC.pdf
- 形式化验证 Rho 演算。
- RChain 将自带形式化验证工具，通过数学方法来证明代码中是否存在某漏洞或缺陷，能够消除很多潜在的 bug，尽可能的让开发者开发出稳定并且安全的程序。
- RChain 执行模型源于 Rho 演算的语法和语义。Rho 演算是 π 演算的一个变种，π 演算于 2004 年被推出，它是第一个提出使用反射策略的并发计算模型。 「Rho」代表反射的，高阶的。
- 关于 π 演算的详细文档，详见创始人 Lucius Gregory Meredith 在 Cornell University 发表的论文《Higher category models of the pi-calculus》，地址为:
- https:// arxiv.org/abs/1504.0431 1 。
- 多个虚拟机并行处理。
- RChain 的核心是 Rho 虚拟机 (RhoVM) 执行环境，与以太坊只有一个虚拟机不同的是，RChain 将支持运行多个 RhoVM 虚拟机，每个 RhoVM 可以并发且多线程地执行一个智能合约。即 RChain 的智能合约被分解为多个处理事务 ，在多个节点上并行执行，即使某个节点在运行中意外退出，也不会影响计算进程。
- Rho 虚拟机执行环境其背后的数学原理就是移动进程演算，是 RChain 创始人 Greg 潜心多年研究的成果。
- RChain 创造性的设计了智能合约：通过 RhoVM 并行运算，编译器验证，快速且安全。
并且专门设计的 RhoLang 语言，是一种强类型语言，RhoLang 代表反射性的，基于进程演算，高阶的过程语言，作为 RChain 的智能合约语言。RhoLang 允许进程的并行执行和在不同智能合约基础上组合高阶智能合约。
Token 生态系统
RChain 目前发售的 RHOC 代币是通过 ERC20 发行的，RChain 主网上线后，持有的 RHOC 可以 1:1 比例兑换成 REV 代币，REV 是 RChain 平台上的原生经济代币。
- RChain 初始生成总发行量： 1,000,000,000 RHOC ，销毁：129,336,426 RHOC，当前最大供给量： 870,663,574 RHOC。
- RChain 官网公布了 RHOC 与 REV 兑换时间，兑换时间在主网上线后，具体方式：
- https:// developer.rchain.coop/t oken-swap
代币 Token 主要用途
REV 的用途包括：
- 用户需要使用 REV，才能使用 RChain 网络。
- REV 用于补偿节点运营商，以换取计算，存储和带宽资源。
- REV 是共识协议中的权益货币（staking currency）。
- 持有 REV 是成为 RChain 网络节点的必要条件。
共识机制
Casper CBC（Correct-by-Construction）是 RChain 选择实现的 PoS 协议，CBC 作为一个共识框架，框架内的派生协议保证共识安全性。
1. Casper 项目有两个分支，分别为：Casper the Friendly Finality Gadget（FFG）、Casper the Friendly GHOST: Correct-by-Construction（CBC）。
2. Casper FFG：是一个混合 PoW/PoS 共识机制，一个权益证明协议被叠加在正常的工作量证明协议上。区块仍通过工作量证明来挖出，每 50 个区块就将有一个权益证明检查点，也就是网络中验证者评估确定性（Finality）的地方。Casper FFG 是 PoW 过渡到 PoS 的缓冲方案。
3. Casper CBC：提出了一个框架并证明了在拜占庭容错度内，估值安全(estimate safety) 保证共识安全(consensus safety)，在这个框架下派生(derive)了一系列的协议包括：
Casper the Friendly Binary Consensus Protocol: 二元共识
Casper the Friendly Ordinal Consensus Protocol: 基数共识
Casper the Friendly List Ordering Protocol: 有序列表共识
Casper the Friendly GHOST Protocol: GHOST共识
Casper the Friendly Concurrent Schedule Replication Protocol: 并行计划共识
Casper the Friendly Sharded Blockchain Protocol: 分区区块链共识
Casper FFG 共识协议是 Casper CBC 共识协议的妥协版，Casper FFG 是解决 PoW 过渡到 PoW/PoS 的方案，RChain 直接采用 Casper CBC 共识协议实现 PoS 协议，相对以太坊过渡成本、迁移成本，RChain 的开发成本更低，有利于更快的大规模落地。
- Casper 共识协议的几个方面使得参与者达成共识，包括以利益为基础的绑定，解绑定和周期性下注。
- 分布式共识协议的目的是为了确保横跨多个节点的区块链或部分区块链（基于命名空间）的一致性。
- 在错误频发的网络条件下，为了实现这一点，任何共识协议都应该产生一个确定的结果，并且证明协议的安全性和终止属性。Casper CBC 框架协议解决了这一问题。
- RChain 的元组空间设计，实现了并行运算，提高了达成共识的效率及稳定性。
- 就 Casper CBC协议，官方公布了详细的说明文档，见网址：
http://
architecture-docs.readthedocs.io
/execution_model/consensus_protocol.html
。
治理结构
http://www.
rchain.site/wp-content/
themes/begin/inc/go.php?url=http://www.pithia.com
RChain 合作组织是一个成员驱动的组织，目前被选举的董事会成员为 9 人。董事会席位年限有 3 年、2 年、1 年三种。董事会目前构成如下：
任职信息议案投票结果公示
http://www.
rchain.site/wp-content/
themes/begin/inc/go.php?url=http://www.pithia.com
https://
medium.com/rchain-coope
rative/annual-meeting-summary-3827a82a2e33
3 年：Greg Meredith, Vlad Zamfir, Ian Bloom
2 年：Kenny Rowe, Evan Jensen, Alexandr Bulkin
1 年：Navneet Suman, Hendrik Jan Hilbolling, David Currin
合作组织的官方人员包括：Greg Meredith, President; Evan Jensen, Secretary; Lisa Rice, Treasurer。
为了更好的治理和组织合作组织，目前有三个指导委员会，分别为：执行委员会、治理委员会和薪酬委员会。所有委员会都对公开参选开放，但某些委员会人数只限于 11 位工作人员加一位主席。
个人可以成为合作组织的一员，需要进行 KYC（客户认证）及缴纳 20 美元的一次性会费。
合作组织成员福利包括：获得公共记录服务器中的全部渠道权限，选举董事会成员，参加管理决策会议，参与提议和参与工程合作，并且就项目决策和预算控制作出决定。额外的福利将随着发展逐项确定。
https://
member.rchain.coop/#
/membership-request
投票形式包括：在线调查投票和使用 RHOC 投票，投票结果由董事会和合作社委员会核实。
RChain合作社在私人社区令牌出售活动中筹集2970万美元，并与Pyrofex，Reflective Ventures和Pithia Inc.签署协议，宣布与Pyrofex，Reflective Ventures和Pithia Inc.建立合作伙伴关系。
Pyrofex由Mike Stay和Nash Foster共同创立，他们是从事安全和广告平台工作的前Google员工。Pyrofex是由20多位世界级开发人员和数学家组成的完整团队，他们致力于构建和支持RChain平台的开发。
Reflective Ventures是由Greg Heuss，David Otto和Steve Careaga创立的，他们主要负责投资区块链初创公司; RChain合作社是他们的第一个有限合伙人，并且已经投资了1亿 RHOC（RHOCs是当前的代币，当平台启动时它将被转换为原生RChain实用性代币“REV”）。 Reflective Ventures打算投资至少12家承诺在RChain平台上建立的初创公司。
Pithia，“RChain风险投资公司”，概述了他们使用一亿RHOC在多个维度投资RChain相关公司的计划。Pithia投资专注于或支持RChain的区块链公司，它们有的处在概念阶段，有的已经成熟。 这包括首次构建概念的公司，希望转移到RChain的成熟公司，以及现有软件公司希望将区块链技术加入其技术栈的。
RChain创建了RChain Research工作组，致力于未来验证RChain平台，以实现RChain充分发挥千禧年公共信息工具的潜力，包括:1.量子一致性考虑2.人工智能3.自动建构校正Casper4.逻辑式分布法则（“LADL”）算法的创新。
关于 Pyrofex
在Pyrofex，构建易于使用，安全且持续可靠的高性能分布式开发工具，使得大规模分布式计算更容易，更易于访问。
关于 Reflective Ventures
Reflective Venture Partners总部位于华盛顿州西雅图，是一家私人拥有和管理的风险投资公司，源于与RChain合作社（一个当前正在开发的下一代区块链应用平台）的持续战略合作伙伴关系。为了发展RChain生态系统，Reflective Venture Partners会提供战略性融资，并为特定的区块链DApps和互补技术设计令牌生成事件（TGEs），这些技术在RChain区块链生态系统中具有强大的增长潜力。 欲了解更多信息，请访问
www.reflectiveventures.io
。
关于 Pithia, Inc.
总部设在华盛顿州的Pithia（原RChain Holdings）是一家风险投资公司。 Pithia是RChain的创始人建立的“RChain推动者”，用于投资和发展生态系统。 我们的优势是提供一个深度网络用以帮助CEO们发展他们的区块链公司。 在概念阶段为公司提供资金，并帮助成熟公司迁移至RChain。 领导团队与全球技术和消费者公司，教育机构以及多元化的企业家和工程社区有着广泛的联系。 目前正在建立企业家，有限合伙人和商业领袖的金融科技网络，以实现最新一代的区块链。 加入我们：
www.pithia.com
Website:
https://www.
rchain.coop
http://www.
rchain.site/
Explorer：
https://
etherscan.io/token/0x16
8296bb09e24a88805cb9c33356536b980d3fc5
Wallet:
http://
myetherwallet.com/
Twitter：
https://
twitter.com/rchain_coop
Medium：
https://
medium.com/rchain-coope
rative
Youtube:
https://www.
youtube.com/channel/UCS
S3jCffMiz574_q64Ukj_w
Telegram:
https://
t.me/rchain_coop
Discord:
https://
discordapp.com/invite/f
vY8qhx
重要的活动及事件披露：
https://
developer.rchain.coop/c
onference
代币分配地址及主要持币人地址：
https://github.com/rchain/reference/blob/master/finance/rhoc.md
开发者门户—
developer.rchain.coop
会员门户 —
member.rchain.coop
信息会一直持续添加，未完待续。。。