|
|
|---|
|
|
|
|---|
Messages.
We model the network that connects the validators as consisting of authenticated point-to-point connections with unbounded delays, as commonly assumed in the BFT literature. We model messages that include information about both sender and receiver, and we model the network (in the system states) as the set of messages currently in transit, i.e. sent but not yet received.
There are three kinds of messages: proposals, endorsements, and certificates.