Function sp1_core::stark::eval_permutation_constraints

source ยท 
pub fn eval_permutation_constraints<F, AB>(
    sends: &[Interaction<F>],
    receives: &[Interaction<F>],
    batch_size: usize,
    builder: &mut AB,
)
where
    F: Field,
    AB::EF: ExtensionField<F>,
    AB: MultiTableAirBuilder<F = F> + PairBuilder,
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.