In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.

"Quantum cryptography is not about keeping secrets, it's about knowing when someone is trying to steal them."