kimchi::circuits::polynomials::permutation

Function vanishes_on_last_n_rows

Source 
pub fn vanishes_on_last_n_rows<F: FftField>(
    domain: Radix2EvaluationDomain<F>,
    i: u64,
) -> DensePolynomial<F>
Expand description

The polynomial (x - w^{n - i}) * (x - w^{n - i + 1}) * … * (x - w^{n - 1})