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