Discover the Rchain Cooperative
To design computational calculi for specific applications, we must first understand what constitutes a computational calculus. The RhoVM is based on the concurrent computational calculus known as reflective, higher-order calculus, or ρ-calculus for short.
The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a closed theory, as the theory of names is wholly determined by the theory of processes. The name ρ-calculus or RHO-calculus is an acronym for reflective, higher-order calculus.
Pi-Calc is a model of concurrent computation, or more specifically, a process calculus based upon a notion of naming. In a process calculus, we represent interactions between independent agents or processes as message-passing, as opposed to modifications of shared variables (as in λ-calculus).
This article covers some of the basics of computational calculi, like the syntax and semantics of λ-calculus, π-calculus, and the model RChain is built on, ρ-calculus.
If you've actually tried to code in Rholang, you may have noticed the reference material is sparse. That doesn’t mean it’s difficult, and you don’t have to wait to begin learning how to program for this new blockchain.
This is a step by step guide to run RNode on Amazon Web Services. Setting up RNode on a VPS or a cloud service based virtual computer like the Amazon EC2 is desirable for users who are not able to set port forwarding or UPNP due to various network setups or for users who might want to run RNode for long periods
In this tutorial, you will learn how to 1) install setup and Docker, 2) download and set up three RNodes, and 3) create a simple Hello World contract to deploy on your own local platform.
This post is to help everyone get a basic understanding of Reflective Higher-Order Calculus (rho-calc), and understand why RChain uses this calculus model to build and solve blockchain scalability and security.