Are efficiently verifiable historical queries on account data of interest?

We are working on an efficient way to cryptographically verify queries like "Return the account balances for account 0x.... from block 1000 to block 2000" or "Prove to me that a key associated with a smart contract transitioned through values [v1, v2, ..., vn] in blocks [b1, b2, ..., bn]." We can extend the technique to query some aggregate function (e.g., sum, max, etc.) on such ranges.

Are there analytics/regulatory use cases where this might be helpful? If so, we want to know about organizations and companies that care about this. Also, if there are any benchmark datasets for this, we want to know about it.