Struct PermutationWitnessBuilder 

pub struct PermutationWitnessBuilder<P: Permutation<WIDTH>, const WIDTH: usize> { /* private fields */ }

A Permutation that records the values flowing through permutation.

Drive it through the same code as the PermutationRelation, and the trace it records is the PermutationWitness for the instance the relation compiles to. Handles are reference counted like the relation’s.

Implementations

impl<P: Permutation<WIDTH>, const WIDTH: usize> PermutationWitnessBuilder<P, WIDTH>

pub fn new(permutation: P) -> Self

pub const fn permutation(&self) -> &P

The permutation being traced.

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

Evaluates the permutation on input and records the step.

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

Records a step without evaluating the permutation.

pub fn trace(&self) -> Vec<QueryAnswerPair<P::U, WIDTH>>

The steps recorded so far.

pub fn snapshot(&self) -> PermutationWitness<P::U, WIDTH>

The witness recorded so far.

Trait Implementations

impl<P: Permutation<WIDTH>, const WIDTH: usize> Clone for PermutationWitnessBuilder<P, WIDTH>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Permutation<WIDTH>, const WIDTH: usize> From<P> for PermutationWitnessBuilder<P, WIDTH>

fn from(permutation: P) -> Self

Converts to this type from the input type.

impl<P: Permutation<WIDTH>, const WIDTH: usize> Permutation<WIDTH> for PermutationWitnessBuilder<P, WIDTH>

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

See the note on PermutationRelation’s implementation.

type U = <P as Permutation<WIDTH>>::U

The Unit defining the alphabet for the permutation function.

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

The permutation function.