Skip to main content

mul_assign_skipping_d1

kimchi::circuits::polynomials::permutation

Function mul_assign_skipping_d1 

Source 
fn mul_assign_skipping_d1<F: FftField>(
    l: &mut Evaluations<F, Radix2EvaluationDomain<F>>,
    r: &Evaluations<F, Radix2EvaluationDomain<F>>,
)
Expand description

Multiply l by r element-wise over d8, skipping the d1 rows – the indices that are multiples of 8, since d8 = 8 * d1. The permutation contribution vanishes on all of d1, so those rows are left at the zero that building the terms produced; only the non-d1 products need computing.