Recent years have witnessed the advances of e-money systems such as Bitcoin, PayPal and various forms of stored-value cards. This paper adopts a mechanism design approach to identify some essential features of different payment systems that implement and improve the constrained optimal resource allocation.