Module gadget_builder_permutation
r1cs
This module extends GadgetBuilder with a method for verifying permutations.