pub fn eval_no_proof<F: FieldWitness>(
auth: AuthRequired,
signature_verifies: Boolean,
is_and_const: bool,
is_or_const: bool,
w: &mut Witness<F>,
) -> Boolean
pub fn eval_no_proof<F: FieldWitness>(
auth: AuthRequired,
signature_verifies: Boolean,
is_and_const: bool,
is_or_const: bool,
w: &mut Witness<F>,
) -> Boolean