Skip to main content

evaluate_trace_to_column_mles

zinc_piop::projections

Function evaluate_trace_to_column_mles 

Source 
pub fn evaluate_trace_to_column_mles<C>(
    field_cfg: &C,
    trace: &ProjectedTrace<C::Element>,
    projecting_element: &C::Element,
) -> Vec<DenseMultilinearExtension<C::Element>>
where
    C: FieldConfig,
Expand description

Evaluate a projected trace along F[X] -> F and return column-indexed MLEs (Vec<DenseMultilinearExtension<F>>) for sumcheck compatibility. Dispatches on the trace layout internally.