ROP-0: Timing games in Proof-of-Stake

Difficulty
Advanced
Tags
Game theory
Status
Completed
Created time
Oct 17, 2022
ROP
Involved
Barnabé MonnotCaspar Schwarz-Schilling
Phase
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.
Artefacts
Resources
 

ROP-0: Timing games in Proof-of-Stake

Difficulty
Advanced
Tags
Game theory
Status
Completed
Created time
Oct 17, 2022
ROP
Involved
Barnabé MonnotCaspar Schwarz-Schilling
Phase
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.
Artefacts
Resources