One can only trust a verifier as far as they can trust anything made out of software.