CheckMinWork(uint, uint, int64) -> Proof::CheckMinChallenge(Proof&)