Modules§
- combined_
poly_ resolver - Combined polynomial resolver subprotocol.
- ideal_
check - Ideal-check subprotocol.
- lookup
- Lookup argument for the Zinc+ PIOP.
- multipoint_
eval - Multi-point evaluation subprotocol.
- projections
- random_
field_ sumcheck - Sumcheck protocol that operates over a random field.
- shift_
predicate - Shift predicate evaluation.
- sumcheck
Type Aliases§
- CombFn
- Sumcheck combination function: maps MLE evaluations to a single field element.