Create blake example that uses GKR for lookups

[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

Attention: Patch coverage is 24.19355% with 47 lines in your changes missing coverage. Please review.

Project coverage is 92.60%. Comparing base (14eb2a2) to head (4ab463b).

Files with missing lines	Patch %	Lines
crates/prover/src/core/lookups/gkr_verifier.rs	9.61%	46 Missing and 1 partial ⚠️

Additional details and impacted files

@@                             Coverage Diff                              @@
##           08-24-Create_MLE_eval_verifier_component     #807      +/-   ##
============================================================================
- Coverage                                     92.95%   92.60%   -0.35%     
============================================================================
  Files                                            89       89              
  Lines                                         12037    12097      +60     
  Branches                                      12037    12097      +60     
============================================================================
+ Hits                                          11189    11203      +14     
- Misses                                          741      787      +46     
  Partials                                        107      107              

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

[shaharsamocha7]

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

---

crates/prover/src/constraint_framework/component.rs line 70 at r1 (raw file):

    fn evaluate<E: EvalAtRowWithMle>(&self, eval: E) -> E;
}

Can we move this to the GKR folder?

Code quote:

/// A component defined solely in means of the constraints framework.
/// Implementing this trait introduces implementations for [`Component`] and [`ComponentProver`] for
/// the SIMD backend.
/// Note that the constraint framework only support components with columns of the same size.
pub trait FrameworkEvalWithMle {
    fn log_size(&self) -> u32;

    fn max_constraint_log_degree_bound(&self) -> u32;

    fn evaluate<E: EvalAtRowWithMle>(&self, eval: E) -> E;
}

---

crates/prover/src/constraint_framework/mod.rs line 101 at r1 (raw file):

trait EvalAtRowWithMle: EvalAtRow {
    fn add_mle_coeff_col_eval(&mut self, eval: Self::EF);
}

same

Code quote:

trait EvalAtRowWithMle: EvalAtRow {
    fn add_mle_coeff_col_eval(&mut self, eval: Self::EF);
}

---

crates/prover/src/constraint_framework/point.rs line 58 at r1 (raw file):

    }
}

Remove