Function kimchi::circuits::polynomials::permutation::permutation_vanishing_polynomial

source · 
pub fn permutation_vanishing_polynomial<F: FftField>(
    domain: D<F>,
    zk_rows: u64
) -> DensePolynomial<F>
Expand description

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