val contract: ContractClassName
The contract that should verify the state
contract - The contract that should verify the state
contract