kimchi::linearization

Function linearization_columns

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

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