Proof verifier