Move all MLE eval related constraints into same module

[andrewmilson]

This change is 

[andrewmilson]

• Create blake example that uses GKR for lookups #807
• Create MLE eval verifier component #805
• Create MLE eval prover component #804
• Add build trace functions for MLE eval component #803
• Remove InteractionElements and LookupValues #802
• Pass entire mask to components #801
• Add MleCollection for accumulating MLEs #800
• Combine eq step constraints into single constraint #799
• Move all MLE eval related constraints into same module #798 👈
• dev

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @andrewmilson and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.26%. Comparing base (f976890) to head (41485b5).
Report is 1 commits behind head on dev.

Additional details and impacted files

@@           Coverage Diff           @@
##              dev     #798   +/-   ##
=======================================
  Coverage   92.26%   92.26%           
=======================================
  Files          91       91           
  Lines       12442    12442           
  Branches    12442    12442           
=======================================
  Hits        11479    11479           
  Misses        857      857           
  Partials      106      106           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[spapinistarkware]

Reviewed 4 of 6 files at r1, all commit messages.
Reviewable status: 4 of 6 files reviewed, 2 unresolved discussions (waiting on @andrewmilson)

---

crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs line 10 at r1 (raw file):

use crate::core::lookups::utils::eq;

/// Evaluates constraints that grantee a MLE evaluates to a claim at a given point.

Suggestion:

Evaluates constraints that guarantee an MLE evaluates to a claim at a given point.

---

crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs line 14 at r1 (raw file):

/// `mle_coeffs_col_eval` should be the evaluation of the column containing the coefficients of the
/// MLE in the multilinear Lagrange basis. `mle_claim_shift` should equal `claim / 2^N_VARIABLES`.
pub fn eval_mle_eval_constrants<E: EvalAtRow, const N_VARIABLES: usize>(

Suggestion:

eval_mle_eval_constraints

[spapinistarkware]

Reviewed 2 of 6 files at r1.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @andrewmilson)

[andrewmilson]

Reviewable status: 5 of 6 files reviewed, 1 unresolved discussion (waiting on @spapinistarkware)

---

crates/prover/src/examples/xor/gkr_lookups/mle_eval.rs line 10 at r1 (raw file):

use crate::core::lookups::utils::eq;

/// Evaluates constraints that grantee a MLE evaluates to a claim at a given point.

Done.