Source: https://www.coindesk.com/ethereum-seeing-ghosts-vitalik-buterin-is-finally-formalizing-ethereums-casper-upgrade/