Is there a hash function h(M + t1) = c1 that relates to h(M + t2) = c2 in a way that can be verified without knowing M?
Validating that a hash is over a specific value for two hashes with additional (known but different) input