Introduction to RChain
RChain is a decentralized, economically sustainable public compute infrastructure. While the RChain design is inspired by that of earlier blockchains, it also realizes decades of research across the fields of concurrent and distributed computation, mathematics, and programming language design.
Rholang is a new language for writing smart contracts that run on the RChain virtual machine.
What is Casper?
Casper is a particular family of proof-of-stake algorithms with strong mathematical foundations first described by an Ethereum research group.
What is Casper? Casper for RChain Correct-by-construction Casper: A Visualization for the Future of Blockchain Consensus Casper Proof-of-Stake on RChain, Part 1 Casper Proof-of-Stake on RChain, Part 2 Casper the Friendly Ghost: A “Correct-by-Construction” Blockchain Consensus Protocol by Vald Zamfir