typhon
typhon copied to clipboard
anoma
Formalization of Typhon protocol
This issue may well be combined with our existing ledger projects. Ultimately, our Heterogeneous Paxos implementation will need to send messages (1b, 2a, etc). - How do we format these?...
Pipelineing, at least as used in HottStuff, is the art of using a single message as part of multiple instances of consensus, to save on message space. With the naive...
This entails several sub-problems, including: - [Gossip Layer for Heterogeneous Paxos Transactions](https://github.com/heliaxdev/dist-sys-pm/issues/3) - [Message passing for Heterogeneous Paxos](https://github.com/heliaxdev/dist-sys-pm/issues/4) - [Modify Heterogeneous Paxos for Learner Graph Changes](https://github.com/heliaxdev/dist-sys-pm/issues/2) Ultimately, we'll want an...
We have to consider who is allowed to move which objects where. One way to do this is to have "move" simply be a "private method" of any object: the...
Round-robin and random selection are obvious choices. However, this problem would necessarily be coupled with #22, and perhaps an resolution there would allow a smarter solution to this question. One...
I talked to Isaac and Chris about this. Isaac opinion was that one of the block proposer needs to be honest but can be anyone from the main chains and...
It would be helpful to be able to instantiate a sort of flexible sharding utilising heterogenous Paxos, where a validator set controlled by a single logical proof-of-stake system and staking...
If we only allow 2-way chimera chains then we are limiting scalability. One way to solve this is allow more than 2-way chimera chains. Since all of these chains need...
Some funds need to be locked for opening a chimera chain. This is mainly because open chimera chains require updating, every time quorums get updated and that can get expensive...