Can SPV Be Used to Verify the State of a Smart Contract?
Standard SPV, as used in Bitcoin, is designed for verifying transaction inclusion, not complex contract state. Verifying a smart contract's state often requires processing the contract logic and the full history of state changes.
More advanced systems, like those used in some Layer 2 solutions, may use Merkle proofs on a state tree (like an Ethereum Patricia-Merkle Tree) to verify state, which is a conceptual evolution of SPV.