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