RChain

RCHAIN

Scalable, Secure, Sustainable
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?
A roadmap is being worked on, as a result of the Developer Retreat in November. You can see the milestones and dependency graph at:
https://rchain.atlassian.net/roadmap
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 of 2016 and 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 the 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 difference between the Cooperative and the Holdings company?
The Co-op is the organization that develops the open-source RChain platform software. It’s an open and community-driven initiative with multiple communication channels through which all are welcome to participate. RChain Holdings is a for-profit entity whose mission is to grow the ecosystem around the RChain platform, through incubating startups, forming joint ventures, developing products, and delivering professional services.
Where is RChain based?
The RChain Cooperative and RChain Holdings are both Internet companies and have participants around the world. They are Washington State USA companies and the founders live in Seattle.
What is the governance model?
The Co-op is a member-driven organization with an elected nine-person Board of Directors. Board seats have 3, 2, or 1 year terms. The board is composed of:
  • 3 years: Greg Meredith, Vlad Zamfir, Ian Bloom
  • 2 years: Kenny Rowe, Evan Jensen, Alexander Bulkin
  • 1 year: Navneet Suman, Hendrik Jan Hilbolling, David Currin
The Co-op officers are: Greg Meredith, President; Evan Jensen, Secretary; Lisa Rice, Treasurer.

There are three steering committees where Members collaborate to shape and organize the Cooperative: the Executive Committee, the Governance Committee, and the Compensation Committee. All committees have open participation but some are limited to 11 working members plus a chair.
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 can not 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?
Join one of the public discussion forums (see the comm channels above). People who want to play a more active role can collaborate on code and community development projects, create Co-op infrastructure, and work out its governance. See CONTRIBUTING.md for full information.
What is the Membership Program?
Interested individuals can become a Member of the Co-op. Benefits include: access to all channels of the Discord server where the RChain developers and community collaborate, electing the board members, participating in governance committees, being eligible to propose and collaborate on projects, and deciding about project approval and budget allocation. Additional benefits will be defined over time such as patronage dividends. Membership requires a one-time $20 membership fee and proof of identity in the form of government issued id and video verification with the Cooperative. If you'd like to join please register at: https://member.rchain.coop
I live outside of the United States. Can I join as a Member?
Yes, unless you reside in a region sanctioned by the US. The registration process will check that.
Is there a bounty program?
Yes. Bounties are task based with peer review. Tasks vary, but typically bounties are available for core development, community formation, marketing, business development, and channel operation. Github is used for issue tracking and project management.
Can I earn RHOCs by participating in projects?
Yes. Read CONTRIBUTING.md, then look for projects you’d like to participate in.
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.” (Ref.: https://en.wikipedia.org/wiki/Pi-calculus). 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.
Whats 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.