Really? I disagree that verifying is as hard as doing the work yourself. It’s like P != NP.