Function kimchi::circuits::polynomials::permutation::vanishes_on_last_n_rows
source · pub fn vanishes_on_last_n_rows<F: FftField>(
domain: D<F>,
i: u64
) -> DensePolynomial<F>
Expand description
The polynomial (x - w^{n - i}) * (x - w^{n - i + 1}) * … * (x - w^{n - 1})