sp1_stark

Function eval_permutation_constraints

source 
pub fn eval_permutation_constraints<'a, F, AB>(
    sends: &[Interaction<F>],
    receives: &[Interaction<F>],
    batch_size: usize,
    builder: &mut AB,
)
where
    F: Field,
    AB::EF: ExtensionField<F>,
    AB: MultiTableAirBuilder<'a, F = F> + PairBuilder + 'a,
Expand description

Evaluates the permutation constraints for the given chip.

In particular, the constraints checked here are: - The running sum column starts at zero. - That the RLC per interaction is computed correctly. - The running sum column ends at the (currently) given cumalitive sum.