[ethresear.ch] [Security] ERC draft: Independent Simulation Result for (STVA)

Yes, conceptually the signer can run an EVM against a witness rather than a full local state.

The witness contains the proof of the relevant accounts storage code, and the signer validates those proofs against a trusted state root from a canonical block.

The recent block hash is the commitment point, the witness is the proof that the particular pre-state was indeed the state at that commitment.

The device does not need to trust the witness blindly—it only needs to verify it against the trusted root, then execute and check the transition result.