Module roles

Functions that determine what roles a replica should play at any given View and Validator Set State.

Functions

• is_phase_voter 🔒
  Determine whether or not replica should phase-vote for the Proposal or Nudge that justify was taken from. This depends on whether replica’s PhaseVotes can become part of quorum certificates that directly extend justify.
• is_proposer 🔒
  Determine whether validator should act as a proposer in the given view, given the current validator_set_state.
• is_validator 🔒
  Determine whether the replica is an “active” validator, given the current validator_set_state.
• new_view_recipients 🔒
  Identify the leader(s) that new_view should be sent to, given the current validator_set_state.
• phase_vote_recipient 🔒
  Identify the leader that phase_vote should be sent to, given the current validator_set_state.