kimchi::circuits::polynomials::permutation

Function eval_permutation_vanishing_polynomial

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

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