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