I have read somewhere that the token is not minable, so, if there’s no mining, how is verification done?