Tackling Blockchain Scalability With Rho Calculus

RChain is a technology-focused coin that adds many features to traditional blockchain technology. Sharding and the use of Rho Calculus are just a couple of the innovative techniques used by RChain to provide completeness, compositionality, concurrency, and complexity to their blockchain. They also make use of Rholang, a language developed by RChain specifically made for building Smart Contracts that are "correct by construction." Proper implementation of these technologies can provide the functionality of Ethereum with transactions per second exceeding that of Visa.

Check out their website which contains all related documents for more information;
https://www.rchain.coop/

Twitter: https://twitter.com/AnalysisAltcoin
YouTube: https://www.youtube.com/c/altcoinanalysis