We use mechanism design in order to study efficient arrangements when the ability of agents to perform certain welfare-improving transactions is subject to random and unobservable shocks. We study implementation via a payment system that involves assigning balances to participants and optimally adjusting these balances given their histories of transactions. Our analysis has several implications for the design of payment systems. Efficiency requires that, in order to overcome informational frictions, transactions that are subject to high monitoring costs need to be subsidized. Optimal settlement frequency should balance the fixed cost of settlement against the costs arising from providing intertemporal incentives. Settlement costs must be borne by those participants for whom certain participation constraints are slack.