Finally it almost goes without saying, that we need precise assumptions if
we're going to hope to write down rigorous proofs of security.
And this brings us to the last core principle which may be the most important.
This principle states that any new cryptographic construction
should ideally be proven secure with respect to some specific definition.
And based on some particular set of clearly stated assumptions.
I've already motivated the importance of proofs earlier in this lecture and
the previous one.
So I won't harp on the issue any further.
Except to say that although proofs are important in other areas of
computer science as well, they're especially important in cryptography.
Where there's a malicious attacker specifically trying to break your scheme,
and whose actions you can't predict in advance.