Summary
We proposed a SIMD that modifies the blockhash to be computed as a Merkle Tree and include transaction statuses , this was originally part of the SPV proposal but wasn’t implemented and is an open issue.
We would also need to include transaction logs in the Merkle to verify certain state changes.
Other changes include an RPC call that provides an inclusion proof from the transaction of interest to the bankhash.
Proposal
SIMD-0052: https://github.com/solana-foundation/solana-improvement-documents/pull/52