See Full Constitution
Article I

Section 18. .

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