typhon icon indicating copy to clipboard operation
typhon copied to clipboard

Published 20 hours ago • verified publisher icon anoma

Heterogeneous Narwhal Formal Spec

Open isheff opened this issue 1 year ago • 0 comments

Develop a formal specification for Heterogeneous Narwhal. This should reflect the English Spec in a language such as TLA+ where we can prove things. Ideally this would match up with the formal Heterogeneous Paxos Spec and the formal Execution Engine Spec so we can formalize how they work together.

Prerequisite

  • [ ] https://github.com/anoma/typhon/issues/41

isheff avatar Mar 22 '23 22:03 isheff