There is definitely proof, you just have to be smart enough to understand it.
Hint: it's knowledge proofs.
