Function kimchi::linearization::constraints_expr

pub fn constraints_expr<F: PrimeField + SquareRootField>(
    feature_flags: Option<&FeatureFlags>,
    generic: bool
) -> (Expr<ConstantExpr<F>, Column>, Alphas<F>)

Get the expresion of constraints.

Panics

Will panic if generic_gate is not associate with alpha^0.