Definition. verifier [verifier]