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<F: PrimeField + 'static>(
    trace: &ProjectedTrace<F>,
    projecting_element: &F,
) -> Vec<DenseMultilinearExtension<F::Inner>>
Expand description

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