In my understanding, verifier verify the execution by executing the code themselves and comparing the output.
But it looks like some smart contracts can have different value according to the time they were executed. For example Vitalik here (
) talks about a smart contract that would query bloomberg for something's value. That would probably be a different value according to the time you're executing the smart contract.