Proof generator with default challenge generator