On Defining Proof of Stake