as i commented here: https://govern.iota.org/t/merkle-proofs-of-inclusion/248 the proof of inclusion topic in combination with selective permanodes may can solve this issue. Would be really interesting to see something in the near future. I think this is a really important topic.