Expand description
The multivariate evalcheck polynomial protocol.
Being largely intended for claims coming from sumcheck/zerocheck invocations, this module only supports multilinear composites and not general multivariate polynomials.
Modules§
- subclaims
- This module contains helpers to create bivariate sumcheck instances originating from:
Structs§
- Eval
Point - Eval
Point Oracle IdMap - Evalcheck
Multilinear Claim - Evalcheck
Prover - A mutable prover state.
- Evalcheck
Verifier - A mutable verifier state.
Enums§
Functions§
- deserialize_
evalcheck_ proof - Deserializes the
EvalcheckProofobject from the given transcript. - serialize_
evalcheck_ proof - Serializes the
EvalcheckProofinto the transcript