Structs§
- Partial
Sumcheck Proof - A sumchexckl proof that does not include the evaluation proofs.
Enums§
Traits§
- Component
Poly - Component
Poly Eval Backend - A trait to enable backend implementations of component polynomials.
- SumCheck
Poly First Round Backend - A trait to enable backend implementations of sumcheck polynomials for the first round.
- Sumcheck
Poly - The fix_first_variable function applied to a sumcheck’s post first rounds’ polynomial.
- Sumcheck
Poly Backend - A trait to enable backend implementations of sumcheck polynomials.
- Sumcheck
Poly Base - The basic functionality required of a struct for which a sumcheck proof can be generated.
- Sumcheck
Poly First Round - The fix_first_variable function applied to a sumcheck’s first round’s polynomial.
Functions§
- partially_
verify_ sumcheck_ proof - Verifies that a PartialSumcheckProof is correct up until the evaluation claim.
- reduce_
sumcheck_ to_ evaluation - Proves a sumcheck for any sumcheckable polynomial, by reducing it to a claim about the evaluation of the polynomial at a point.