Finalized no. 31

This issue of Finalized is dedicated to the contextualization of a recently published paper describing three possible attacks on Ethereum's proof-of-stake algorithm. tl;dr These are serious attacks with a formally-analyzed, technically-simple mitigation. A fix will be rolled out prior to the Merge and will not delay Merge timelines....