Consensus on the RChain network (RCon3 talk)

Consensus on the RChain network (RCon3 talk)

The following is a summary of a talk I gave at RCon3. The purpose is to introduce newcomers to RChain (or even blockchain in general) to the ideas behind “consensus”, motivating it from the ground up. By the end of the talk, you should have a general sense...
Rholang vs. the dining philosophers

Rholang vs. the dining philosophers

Rholang is frequently touted as a fully concurrent programming language. It will be blazing fast because it executes things sequentially only when absolutely necessary. It allows us to avoid resource starvations and thread deadlock. And it isn’t even clunky or...
RChain test net genesis ceremony

RChain test net genesis ceremony

On September 5th, validators from around the world convened in Berlin, Germany to launch the test net. More precisely, they launched the first of several test nets that will be run between now and early 2019 when the “Mercury” main net launches. While the...
Computational calculus primer Part 3: ρ-calculus

Computational calculus primer Part 3: ρ-calculus

Overview We saw in the previous post that π-calculus is a process calculus which is dependent on a theory of names; it is therefore said that it is not a closed theory. The ρ-calculus is an asynchronous message-passing calculus built on a notion of quoting; it is a...
Computational calculi primer Part 2: π-calculus

Computational calculi primer Part 2: π-calculus

Overview The first post in this series covered grammar and operational semantics for λ-calculus.   Our interest in π-calculus lies in the fact that it is the precursor of ρ-calculus. It is a model of concurrent computation, or more specifically, a process calculus...