Provable security of cryptographic hash functions door