Generating your challenger proof.