Formale Hindernisse für Proof-of-Stake-Protokolle mit der längsten Kette