Bad proofs in v7.1
 

It seems something is broken with the proof generation, probably concerning Proof v2 (v7.1).

I'm investigating. In the meantime please double-check the generated proofs if using v7.1 with -verify before uploading them. I'll update here when I know more.

[QUOTE=preda;561762]It seems something is broken with the proof generation, probably concerning Proof v2 (v7.1).

I'm investigating. In the meantime please double-check the generated proofs if using v7.1 with -verify before uploading them. I'll update here when I know more.[/QUOTE]

Should be fixed in the latest commit, tagged with v7.2.

Please don't generate proofs with v7.1 -- upgrade to v7.2 if you were using 7.1 before.

The bug was affecting only proofs generated with self-verify enabled (ironically..)