The idea is to make it harder for malicious actors to produce a valid proof than it is for benign actors.

It does that: malicious actors would not be compliant with the spec.