proofStates