Formal Barriers to Longest-Chain Proof-of-Stake Protocols
FruitChains: A Fair Blockchain