Module 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