typhon
typhon copied to clipboard
anoma
Formalization of Typhon protocol
# Task description We need to formalize our version of Heterogeneous [Narwhal](https://arxiv.org/abs/2105.11827) in english, in such a way that at least other Anoma developers can tell what is supposed to...
Building on the [english spec](https://specs.anoma.net/main/components/typhon/mempool.html), construct a prototype version of Heterogeneous [Narwhal](https://arxiv.org/abs/2105.11827) in the [Stateright](https://github.com/stateright/stateright) framework. This may end up being integrated with a [formal spec](https://github.com/anoma/typhon/issues/42). This should ultimately be...
### Task description Prepare and submit paper on Anoma's P2P Overlay architecture to a suitable conference ### Steps - Select a suitable target conference - Modify current paper so that...
# Task description Arguably, we can break down Typhon into layers, which include: - [Transaction dissemination from Clients to Storage](https://github.com/heliaxdev/typhon/issues/8) (probably on validators, who may also be orderers) - [Mempool...
Stated generally, given `N` validators, of which `f` are _faulty_: 1. If we assign each validator (uniformly and independently at random) one of `K` partitions, what are the odds that:...
Add some human-readable comments to the spec part of [HPaxos](https://github.com/heliaxdev/typhon/blob/master/tla/HPaxos.tla) so that anyone can tell what's going on.
Develop a formal specification for Heterogeneous [Narwhal](https://arxiv.org/abs/2105.11827). This should reflect the [English Spec](https://github.com/anoma/typhon/issues/41) in a language such as [TLA+](https://lamport.azurewebsites.net/tla/tla.html) where we can prove things. Ideally this would match up with...
## Description We should establish some way to test how "good" (throughput? latency?) Typhon is (relative to Tendermint). This means creating some kind of benchmark now that can at least...
Building on our languages for [bounded-latency communication between chains that share quorums](https://github.com/heliaxdev/dist-sys-pm/issues/7) and [atomic communication within Heterogeneous Paxos chains](https://github.com/heliaxdev/dist-sys-pm/issues/9), implement a higher-level notion of "moving state" from one chain to...
Arguably, we can break down Typhon into layers, which include: - [Transaction dissemination from Clients to Storage](https://github.com/heliaxdev/typhon/issues/8) (probably on validators, who may also be orderers) (This Issue) - [Mempool Organization](https://github.com/heliaxdev/typhon/issues/31),...