3 ms·
> The mathematics is complex and computer science hasn't achieved proofs of the hypotheses underlying cryptography. No unconditional proofs (except for the OTP
by Tainnor 4y ago
> The mathematics is complex and computer science hasn't achieved proofs of the hypotheses underlying cryptography.
No unconditional proofs (except for the OTP ofc), but there are quite a few conditional proofs. For example, it's possible to show that CBC is secure if the underlying block cipher is.