I was thinking something along the lines that hashing proofs aren't very rigorous. I mean, it all looks pretty good, and I have no idea how to break this stuff (not my department), but some weird topology guy could wake up one day and discover that hashes aren't as good as they looked.