Proof-of-stake mechanism in Tezos