P2P Reliable Broadcast
pool2win opened this issue · comments
pool2win commented
We have a TLA+ spec for reliable broadcast. This milestone implements it by building all the components needed.
- Forwarding protocol
- Avoid duplicates when forwarding
- Look for messages to nack
- Send nacks protocol
- Respond to nack protocol