Trait r1cs::MultiPermutation

pub trait MultiPermutation<F: Field> {
    fn permute(
        &self, 
        builder: &mut GadgetBuilder<F>, 
        inputs: &[Expression<F>]
    ) -> Vec<Expression<F>>;
    fn size(&self) -> usize;

    fn permute_evaluate(&self, inputs: &[Element<F>]) -> Vec<Element<F>> { ... }
}

A permutation whose inputs and outputs consist of multiple field elements.

Required methods

fn permute(
    &self,
    builder: &mut GadgetBuilder<F>,
    inputs: &[Expression<F>]
) -> Vec<Expression<F>>

Permute the given sequence of field elements.

fn size(&self) -> usize

The size of the permutation, in field elements.

Loading content...

Provided methods

fn permute_evaluate(&self, inputs: &[Element<F>]) -> Vec<Element<F>>

Loading content...

Implementors

Loading content...