pub fn linearization_columns<F: FftField + SquareRootField>(
    feature_flags: Option<&FeatureFlags>
) -> HashSet<Column>
Expand description

Adds the polynomials that are evaluated as part of the proof for the linearization to work.