Struct PermutationInstanceBuilder 

pub struct PermutationInstanceBuilder<T, const WIDTH: usize> { /* private fields */ }

A PermutationInstanceBuilder allows to build a relation for evaluations of a permutation acting over WIDTH elements.

Implementations

impl<T: Clone + Unit, const WIDTH: usize> PermutationInstanceBuilder<T, WIDTH>

pub fn with_allocator(allocator: VarAllocator<T>) -> Self

pub fn new() -> Self

pub const fn allocator(&self) -> &VarAllocator<T>

pub fn allocate_permutation( &self, input: &[FieldVar; WIDTH], ) -> [FieldVar; WIDTH]

pub fn add_permutation( &self, input: [FieldVar; WIDTH], output: [FieldVar; WIDTH], )

pub fn add_equation(&self, equation: LinearEquation<FieldVar, T>)

where T: PartialEq,

pub fn constraints(&self) -> impl AsRef<[QueryAnswerPair<FieldVar, WIDTH>]>

pub fn linear_constraints(&self) -> LinearConstraints<FieldVar, T>

pub fn public_vars(&self) -> Vec<(FieldVar, T)>

pub fn snapshot(&self) -> PermutationInstance<T, WIDTH>

Trait Implementations

impl<T: Clone, const WIDTH: usize> Clone for PermutationInstanceBuilder<T, WIDTH>

fn clone(&self) -> PermutationInstanceBuilder<T, WIDTH>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Clone + Unit, const WIDTH: usize> Default for PermutationInstanceBuilder<T, WIDTH>

fn default() -> Self

Returns the “default value” for a type.

impl<T: Unit, const WIDTH: usize> Permutation<WIDTH> for PermutationInstanceBuilder<T, WIDTH>

type U = FieldVar

The Unit defining the alphabet for the permutation function.

fn permute(&self, state: &[Self::U; WIDTH]) -> [Self::U; WIDTH]

The permutation function.

fn permute_mut(&self, state: &mut [Self::U; WIDTH])

In-place permutation function evaluation Permutation::permute.