In Proof-of-Stake, there is a “guaranteed monopoly” of the proposer for the duration of their slot. This creates an incentive to release their block late, as more information gathered allows them to make better decision, e.g., build on a late block or accumulate more fees from transactions / MEV. The same logic extends to other duties expected to be performed by consensus actors, e.g., attesters or sync committee members.
In this project, we model this game and attempt to derive formal results about the existence (or non-existence) of equilibria, as well as strategies of the different agents.