openvm_stark_backend::interaction::stark_log_up

Function eval_stark_log_up_phase

Source 
pub fn eval_stark_log_up_phase<AB>(
    builder: &mut AB,
    interaction_chunk_size: usize,
)
where
    AB: InteractionBuilder + PermutationAirBuilderWithExposedValues,
Expand description

The permutation row consists of 1 column for each bundle of interactions and one column for the partial sum of log derivative. These columns are trace columns “after challenge” phase 0, and they are valued in the extension field. For more details, see the comment in the trace.rs file