What Do Proof-of-Work and Proof-of-Stake Really Prove?