Is the following digicash protocol possible?