P2P Reliable Broadcast #1
Description
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