We construct a dynamic general equilibrium model of tax evasion where agents choose to report some of their income. Unreported income requires using a payment method that avoids recordkeeping in some markets—cash. Trade using cash to avoid taxes is the ‘shadow economy’ in our model. We...