E-voting on Tezos: Why math matters