Cryptographic proof (e.g., Merkle or proof‑of‑inclusion) that a given account or storage slot had a specific value in a block, verifiable by light clients or bridges.