Can someone explain to me what is the "Zerocoin" menu in the client for? Can we mint zerocoin, is it another coin?