pub fn constraints_expr<F: PrimeField>(
feature_flags: Option<&FeatureFlags>,
generic: bool,
) -> (Expr<ConstantExpr<F, BerkeleyChallengeTerm>, Column>, Alphas<F>)
Expand description
Get the expresion of constraints.
ยงPanics
Will panic if generic_gate
is not associate with alpha^0
.