quantumproofs