Skip to main content
Module quadratic_mle_evaluator
binius_
ip_
prover
0.1.0
Module quadratic_
mle_
evaluator
Module Items
Structs
Functions
In binius_
ip_
prover::
sumcheck
binius_ip_prover
::
sumcheck
Module
quadratic_
mle_
evaluator
Copy item path
Source
Structs
§
Quadratic
MleEvaluator
MLE-check round evaluator for one quadratic composition over N store columns.
Functions
§
quadratic_
mlecheck_
prover
Builds an MLE-check prover for one quadratic composition of N owned multilinears.