I know we have state proof and tx proof (and receipt proof, for completeness sake), but I don't know how to prove a state change is done properly, namely from an old state value to a new state value through a tx (or a function), without going through an on-chain evm which is validated by many parties.