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})

mul_assign_skipping_d1 🔒

Multiply l by r element-wise over d8, skipping the d1 rows – the indices that are multiples of 8, since d8 = 8 * d1. The permutation contribution vanishes on all of d1, so those rows are left at the zero that building the terms produced; only the non-d1 products need computing.

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