Would you feel secure about using a cryptographic system without a proof?