How Do Verifiers Ensure the Proof Applies to the Correct Financial Context?

The proof is tied to the correct financial context by including a hash of the relevant context data within the statement being proved. This context data could include the smart contract address, the asset IDs, the expiry date of an option, or the current state root.

The verifier checks that this context hash is correctly incorporated and matches the current on-chain state.