PROCESSOR-VERIFIER,COMPUTER