• Only in blockchains that use a provable state layout, such as a merkle tree. TODO