message: enforce that alpha^0 is used for generic gate
diff: @@ -73,6 +73,14 @@ pub fn constraints_expr<F: FftField + SquareRootField>(
  expr += combined;
  }
  + // the generic gate must be associated with alpha^0
  + // to make the later addition with the public input work
  + if cfg!(debug_assertions) {
  + let mut generic_alphas =
  + powers_of_alpha.get_exponents(ArgumentType::Gate(GateType::Generic), 1);
  + assert_eq!(generic_alphas.next(), Some(0));
  + }
  +
  // return the expression
  (expr, powers_of_alpha)
  }
  