Wash. Const. art. I, § 23
No bill of attainder, ex post facto law, or law impairing the obligations of contracts shall ever be passed.