rchain
FAQ
General
What is RChain?
RChain is a fundamentally new blockchain platform rooted in a formal model of concurrent and decentralized computation. The RChain Cooperative is leveraging that model through correct-by-construction software development to produce a concurrent, compositional, and infinitely scalable blockchain.
Where is the whitepaper?
Where is the roadmap?
You can see the milestones and dependency graph here. RChain is an ambitious project, involving research, not just writing code. Dates are not finalized until communicated explicitly.
How did RChain come to be?
RChain was the culmination of a number of innovations by founder Greg Meredith. The core of RChain is based on mobile process calculi, a branch of mathematics with approximately 30 years of history. Together with the experience of other blockchains and other technology, the RChain architecture was documented in July, 2016. At that time, the goal was to create a blockchain-based social network with inbuilt micropayments functionality (i.e. attention economy). Due to the complexity of the project and disagreement between team members, it was decided that Greg would focus on realizing the vision of RChain. The RChain organizations (the Co-op and Holdings company) were formed in December 2016 - January 2017.
Cooperative
What is the RChain Cooperative?
The RChain Cooperative was formed in January 2017 to steward the development and progression of the RChain platform. The cooperative provides the foundational support necessary for RChain to grow into, and remain, a publicly owned and operated information utility. RChain Co-op members invigorate the ecosystem with constant experimentation of governance models, empowering individual agency within a collective.
Where is RChain based?
The RChain Cooperative is a global organization incorporated in Washington State in the USA. RChain cooperative leaders, members, staff, and contractors live around the world.
What is the governance model?
To learn more about the governance model please see the articles of incorporation and bylaws published on Github.
Tokens
What are RHOCs?
RHOCs are an Ethereum ERC20 token issued by the Co-op in early 2017 intended as a vehicle for people to get access to the technology. There are 861,185,194 RHOCs in existence. No more will be minted. RHOCs will be 1:1 redeemable for REVs, a future RChain platform native staking token.
Is there an airdrop?
No. Contrary to fraudulent reports circulating on Twitter, no airdrop is in the works or planned.
What is the plan for supply of RHOCs, REVs, and potential other staking tokens?
This is a somewhat outdated financial summary, distribution, and other information. This is the current distribution.

At the first Member Meeting in October 2017 the Members voted that "The Cooperative should sell from its treasury to put no more than 200 million RHOC tokens in circulation (tokens held by anyone, other than; 1) held by the Cooperative, or 2) burned) during the next calendar year." The full voting results are reported on Medium.
How do I see my RHOCs in myetherwallet.com and Metamask?
Click “Add Custom Token”, then fill in:
Contract Address: 0x168296bb09e24a88805cb9c33356536b980d3fc5
Token Symbol: RHOC
Decimals: 8
Where can I trade RHOCs?
RChain cannot endorse RHOC trading because of the structure of our private sale.
Is it possible to redeem AMPs for RHOCs?
Not directly; the redemption period ended in April 2017. AMPs and RHOCs are tradable on exchanges.
What is the process for swapping RHOC for REV?
RHOCs will be 1:1 redeemable for REVs. REVs are the native staking token for the RChain platform. Learn more about the RHOC/REV swap.
Members
How can I get involved with RChain?
There are a variety of ways to get involved. Consider engaging via our social networks (shown below on this page) to learn more about opportunities to learn more and contribute.
What is the Membership Program?
Individuals can become members of the RChain Cooperative. Please click here for more information about membership and how to join.
.
I live outside of the United States. Can I join as a Member?
Yes. Please click here for more information about membership requirements and how to join.
Is there a bounty program?
Previously, there was a bounty program. We are looking at reinstating it in 2019.
Developers
What is Pi Calculus?
“In theoretical computer science, the π-calculus is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.” (Reference). To better understand how it is being applied in the RChain development, check out the paper Mobile process calculi for programming the blockchain.
What skills do I need to participate?
At this point the entire development focus is on the core platform. The VM, storage, and networking layers are all written in Scala. There will eventually be code for Casper, the REV wallet, and a few other things in Rholang. If you’re a seasoned developer with Scala skills then please get in touch. Down the road more and varied skills will be needed. Programmers versed in other languages, web developers, designers, Javascript experts, system administrators, beta testers, and quality assurance people will be in demand. If you'd like to participate please join as a Member and put yourself in the Talent Pool.
How can I learn Rholang?
An understanding of Pi Calculus will help. Join the RChain Discord and inquire to find out more. The RChain YouTube channel has videos that explain various aspects of the platform. Our developer subdomain also hosts a Rholang tutorial which can be found here.
What will the license be for RChain's components?
RChain's components are all under open source and free software licenses. Our license of choice is Apache v2. Rholang is the only component currently licensed under the MIT license.
Any plan to support solidity/serpent or to build a transpiler?
There is a Dapp (Cryptofex) that intends to build an IDE on RChain that can support Rholang and solidity for a start so devs that are familiar with solidity can easily code smart contracts that would run on RChain's VM. The team behind the Dapp is same team leading the RChain's development; Pyrofex. Cryptofex White Paper
Tell me more about the storage layer.
The storage layer is a fundamental part of the VM; it just happens to be something that's modular enough to break out into its own library. The storage layer is how message delivery between processes is implemented; it uses Rholang patterns as keys. Sending on a pattern is putting data in the database; receiving on a pattern is querying the database. If there's no data to consume, a continuation is stored at the key instead. If there's already a continuation, and you're trying to store data, the continuation gets applied to the incoming data.
Where is the data stored? Is all data replicated across all nodes in a namespace?
We're building an API backed by LMDB (Lightning Memory-Mapped Database). Yes.
What is the process for transaction commitment?
Rholang doesn't use a notion of transaction in the same way that Ethereum does. Ethereum uses event-loop concurrency, and either the entire turn kicked off by a message succeeds or it doesn't (maybe you ran out of gas, maybe there was some other error). Rholang blocks, on the other hand, contain three kinds of data: individual synchronizations of names, new sends, and new contract deployments. If you want transactions, you have to write code that implements them.
What's the key difference between ETH Casper and Rchain Casper and why bother doing Rchain and not just build on top of Ethereum and Casper?
In short, the main reason not to build on top of Ethereum is in order to have formal verification at all levels. i.e. There will always be some math which can prove to us that any given part of the system is bug-free. The foundation of RChain is Reflective Higher Order Calculus, which enables the creation of ‘correct-by-construction’ contracts. From system contracts to Casper Consensus, RChain contracts will be backed by formal verification, giving users some guarantees on what these contracts do.
What is a safety oracle?
A safety oracle looks at all the messages a node has received and says "at this point, no one can convince me that this subset of information is wrong." If the network converges on the value of that information, it must converge on what that node believes.