Proof_Worker