kimchi::circuits::polynomials::permutation

Function eval_vanishes_on_last_n_rows

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

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