Efficient Electronic Cash: New Notions and Techniques