Function eval_proof

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