Understanding Proof-of-Stake and Ethereum for Experienced Gamblers