> is that we don't actually have any proof that security exists

again you speak from a practical perspective, right?

because i was under the assumption onetime pad is provably secure