Fraud deterrence in dynamic Mirrleesian economies

Insurance schemes rely on legal consequences to deter fraud and tax evasion. This observation guides us to introduce random state verification in a dynamic economy with private information. With some probability, an agent's skill becomes known to the planner who prescribes punishments to misreporting agents. Deferring consumption can ease the provision of incentives creating a motive for subsidizing savings. In an infinite horizon economy, the constrained-efficient allocation converges to high consumption, full insurance, and no labor distortions for any positive probability of state verification.