Heterogeneous Paxos Stateright Prototype

[isheff]

Building on the english spec, and the formal spec construct a prototype version of Heterogeneous Paxos in the Stateright framework. To begin with, we'll try to do a single instance of consensus with some kind of simple proposal scheme.

This should ultimately be integrated with a Heterogeneous Narwhal Stateright prototype and an execution engine Stateright prototype for a Typhon Stateright prototype.

Sub-Tasks

• efficient implementation of caught
• efficient implementation of unburied
• rust formulation of core protocol within the actor model
• rudimentary testing: ensure we can achieve consensus in easy cases (can be single machine)
• model checking: can we rigorously test anything interesting in small cases? (single machine)
• distributed test: we should be able to run the same stateright implementation across multiple machines