This article was first published on RChain Cooperative - Medium
In Part 2 of a two-part series, Greg Meredith is joined by Christian Williams and Isaac DeFrain to investigate biological metaphors in thinking about distributed consensus platforms that relate to Proof of Stake and Casper.
Slides referenced in this discussion are available here.
Greg: First of all, thank you, Derek, for hosting, and thanks to Christian and Isaac for joining. We also have here in the room Pawel. We’re going to be talking about the second part of Towards A Living World. Since Isaac wasn’t here for the first part, and other listeners might want to catch up, I’ll just do a quick recap.
I’m essentially operating from the draft of a document that I have title entitled, “Towards A Living World.” The work itself is in two parts, but it’s also at two levels. The two parts are elaborating a framework that plugs into what we’ve already got with the CBC Casper so that we can do programmable likeness constraints. This culminates in a variant of the Rho calculus that allows us to make context the first class and thereby give us a mechanism for expressing synchronization constraints as encoder-decoder pairs for an error-correcting code, where the context is running those encoder-decoder pairs. That’s the basic idea.
When you make these contexts be first-class things that you can pass around, that allows you to program the synchronization constraints as the protocol evolves, rather than having the encoder-decoder pair specified for the entire lifetime of the protocol.
This approach to capturing synchronization constraints requires a few insights. First of all, we don’t want wall-clock time because wall-clock time requires a lot of trust and it also introduces a whole bunch of complexity. One example of the kind of complexity that begins to deal with: if we wanted to ...
To keep reading, please go to the original article at:
RChain Cooperative - Medium