Stop encoding prover messages as output