Bindings for the verifier.