I haven't seen the supply of this token anywhere; what's the circulating supply please? And will there be a special software for the minning?