kimchi::circuits::polynomials::permutation

Function permutation_vanishing_polynomial

Source 
pub fn permutation_vanishing_polynomial<F: FftField>(
    domain: Radix2EvaluationDomain<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})