RCHAIN
Scalable, Secure, Sustainable
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
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 LADL?
LADL is a process to create spatial-behavioral type systems. Such a system not only describes the structure of datatypes, but also the behavior of the processes.