I think that there might be room to do what you are proposing in native script. I can't propose a full solution, but it might have something to do with storing the contract state in a binary hash tree.
I think that there might be room to do what you are proposing in native script. I can't propose a full solution, but it might have something to do with storing the contract state in a binary hash tree.