Expand description
Relations over evaluations of a permutation, and the witnesses proving them.
A PermutationRelation is a Permutation over wires: each call it
receives is recorded as a query, the pair of input and output wires, and
becomes one constraint of the PermutationInstance it compiles to. A
PermutationWitnessBuilder wraps the concrete permutation and records
the values that flowed through the same calls, the trace that is the
PermutationWitness. Code written once against
DuplexSpongeInterface runs over
either.
Structs§
- Linear
Equation - The equation
Σ weight_i · var_i = image. - Permutation
Instance - A validated relation, ready for a proof system.
- Permutation
Relation - A relation over evaluations of a permutation acting on
WIDTHwires. - Permutation
Witness - The trace of a permutation: the witness for a
PermutationInstance. - Permutation
Witness Builder - A
Permutationthat records the values flowing throughpermutation. - Query
Answer Pair - One evaluation of the permutation: the state it read and the state it wrote. Over wires in a relation, over values in a witness.