Module kimchi::circuits::polynomials::permutation

This module implements permutation constraint polynomials.

Structs

• Shifts
  Shifts represent the shifts required in the permutation argument of PLONK. It also caches the shifted powers of omega for optimization purposes.

Constants

• CONSTRAINTS
  Number of constraints produced by the argument.

Functions

• eval_permutation_vanishing_polynomial
  Evaluates the polynomial (x - w^{n - zk_rows}) * (x - w^{n - zk_rows + 1}) * (x - w^{n - 1})
• eval_vanishes_on_last_n_rows
  Evaluates the polynomial (x - w^{n - i}) * (x - w^{n - i + 1}) * … * (x - w^{n - 1})
• permutation_vanishing_polynomial
  The polynomial (x - w^{n - zk_rows}) * (x - w^{n - zk_rows + 1}) * (x - w^{n - 1})
• vanishes_on_last_n_rows
  The polynomial (x - w^{n - i}) * (x - w^{n - i + 1}) * … * (x - w^{n - 1})
• zk_w
  Returns the end of the circuit, which is used for introducing zero-knowledge in the permutation polynomial