Struct Shifts 

pub struct Shifts<F> {
    pub(crate) shifts: [F; 7],
    pub(crate) map: [Vec<F>; 7],
}

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

Fields

shifts: [F; 7]

The coefficients k (in the Plonk paper) that create a coset when multiplied with the generator of our domain.

map: [Vec<F>; 7]

A matrix that maps all cells coordinates {col, row} to their shifted field element. For example the cell {col:2, row:1} will map to omega * k2, which lives in map[2][1]

Implementations

impl<F> Shifts<F>

where F: FftField,

pub fn new(domain: &D<F>) -> Self

Generates the shifts for a given domain

pub fn shifts(&self) -> &[F; 7]

retrieve the shifts

fn sample(domain: &D<F>, input: &mut u32) -> F

sample coordinate shifts deterministically

pub(crate) fn cell_to_field(&self, _: &Wire) -> F

Returns the field element that represents a position