One thing that I think is quite cool in that realm is that if ZKP (Zero-Knowledge Proofs) advance a bit further you could easily proof that two hashes come from

One thing that I think is quite cool in that realm is that if ZKP (Zero-Knowledge Proofs) advance a bit further you could easily proof that two hashes come from the same input without having to have access to the input. With that migrations of hash functions, and in practice providing alternative download locations from multiple content-addressable storage systems would be possible.