The present paper aims to quantify efficiency properties of flat and earnings-related pay-as-you-go financed social security systems of various institutional designs in order to identify an optimal pension design. Starting from a benchmark economy without social security, we introduce...