there is of course still such a thing as formal proofs and verification. with enough attention on information theoretic security (or unconditional security), t

there is of course still such a thing as formal proofs and verification. with enough attention on information theoretic security (or unconditional security), things may change