RChain breaks the impossible triangle, it is a leaderless blockchain that allows safe and atomic concurrent execution of smart contracts within and across shards. RChain is the only leaderless smart contract platform that can safely execute smart contracts concurrently in a single shard, thus achieving linear scaling. This capability is the culmination of more than 30 years of research in concurrency and process computing.
RChain solves many problems that plague the development of the public chain through the revolutionary Rho calculus, making it possible for the first time to put general computing on the chain. Based on Rho calculus-based fast conflict detection and Casper CBC consensus, all nodes can issue blocks concurrently to reach a consensus, achieving single-shard scalability for the first time, so that big data can be directly uploaded to the chain without the help of IPFS. The synchronous consensus between shards based on Rho calculus ensures the atomicity of cross-shard contract calls, making the interaction and collaboration between shards seamless for the first time. The behavior type system based on the Rho calculus theory can complete fast formal verification under concurrency and sharding, and complete the safe and orderly arrangement of a large number of contracts on the chain. Its unique reactive contracts are more suitable for high-frequency application scenarios such as DeFi than traditional active contracts.