This is why attempts to make scientific computation into a proof of work have been difficult-- often the validation cost is equal to the work itself.