quantum proofs