https://kronosslott.com/ethereum/understanding-serenity-part-2-casper/