Function eval_proof 

fn eval_proof(auth: &AuthRequired, w: &mut Witness<Fp>) -> SnarkBool