See Full Constitution
Article I
Section 10. Prohibited Laws
No bill of attainder, ex post facto law or law impairing the obligation of contracts shall be passed.
No bill of attainder, ex post facto law or law impairing the obligation of contracts shall be passed.