A peer-to-peer electronic cash system with no central mint