Talk:Provably secure cryptographic hash function