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