search

anoma / typhon

Formalization of Typhon protocol
https://specs.anoma.net/main/architecture/consensus/typhon.html
GNU General Public License v3.0
29 stars 4 forks source link

Heterogeneous Narwhal Stateright Prototype #44

Open isheff opened 1 year ago

isheff commented 1 year ago

Building on the english spec, construct a prototype version of Heterogeneous Narwhal in the Stateright framework. This may end up being integrated with a formal spec.

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

Prerequisites