Vitalik Buterin compares Proof of Work and Proof of Stake