Function kimchi::circuits::polynomials::permutation::eval_permutation_vanishing_polynomial

source · 
pub fn eval_permutation_vanishing_polynomial<F: FftField>(
    domain: D<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})