Vitalik Buterin breaks down why proof-of-stake offers stronger security than proof-of-work through cost barriers, slashing, ...