See Full Constitution
Article I

Section 18. Attainder--Ex post facto laws--Impairing contracts

No bill of attainder, ex post facto law, or law impairing the obligation of contracts shall be passed.