It turns out being orders of magnitude faster at searching with the aid of a strong verifier is a great way to generate proofs