Expand description
Builders for permutation evaluation relations.
Structsยง
- Linear
Constraints - Linear
Equation - Permutation
Instance Builder - A
PermutationInstanceBuilderallows to build a relation for evaluations of a permutation acting over WIDTH elements. - Permutation
Witness Builder - Query
Answer Pair