A Memo on the Proof-of-Stake Mechanism
Casper the Friendly Finality Gadget