[−][src]Trait r1cs::Permutation
A permutation of single field elements.
Required methods
fn permute(
&self,
builder: &mut GadgetBuilder<F>,
x: &Expression<F>
) -> Expression<F>
&self,
builder: &mut GadgetBuilder<F>,
x: &Expression<F>
) -> Expression<F>
Permute the given field element.
Provided methods
fn permute_evaluate(&self, x: &Element<F>) -> Element<F>
Like permute
, but actually evaluates the permutation rather than just adding it to a
GadgetBuilder
.
Implementors
impl<F: Field> Permutation<F> for MiMCPermutation<F>
[src]
fn permute(
&self,
builder: &mut GadgetBuilder<F>,
x: &Expression<F>
) -> Expression<F>
[src]
&self,
builder: &mut GadgetBuilder<F>,
x: &Expression<F>
) -> Expression<F>