Remove InteractionElements and LookupValues

[andrewmilson]

InteractionElements removed in favour of storing interaction elements the components directly with LookupElements. LookupValues removed in favour of storing lookup values on a claim struct.

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.76%. Comparing base (1ee6a70) to head (8a565ba).

Additional details and impacted files

@@           Coverage Diff           @@
##              dev     #802   +/-   ##
=======================================
  Coverage   92.76%   92.76%           
=======================================
  Files          89       89           
  Lines       12041    12032    -9     
  Branches    12041    12032    -9     
=======================================
- Hits        11170    11162    -8     
+ Misses        764      763    -1     
  Partials      107      107           

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

[spapinistarkware]

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

---

crates/prover/src/lib.rs line 26 at r1 (raw file):

// removed in favour of storing interaction elements the components directly with LookupElements.
// LookupValues removed in favour of storing lookup values on a claim struct.
// pub mod trace_generation;

Remove. This exists in github history.

---

crates/prover/src/examples/mod.rs line 4 at r1 (raw file):

pub mod plonk;
pub mod poseidon;
// TODO: Add back once InteractionElements and LookupValues get refactored out. InteractionElements

Same

[andrewmilson]

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @shaharsamocha7 and @spapinistarkware)

---

crates/prover/src/lib.rs line 26 at r1 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

Remove. This exists in github history.

Done.

---

crates/prover/src/examples/mod.rs line 4 at r1 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

Same

Done.

[spapinistarkware]

Reviewable status: 9 of 24 files reviewed, 3 unresolved discussions (waiting on @andrewmilson and @shaharsamocha7)

a discussion (no related file):
Samocha is doing this, without deleting fib
https://reviewable.io/reviews/starkware-libs/stwo/812

---

[shaharsamocha7]

Reviewed 3 of 15 files at r2, 1 of 3 files at r3, 17 of 17 files at r4, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @andrewmilson)

---

crates/prover/src/examples/mod.rs line 4 at r4 (raw file):

pub mod plonk;
pub mod poseidon;
pub mod wide_fibonacci;

Remove

Code quote:

pub mod wide_fibonacci;

[andrewmilson]

Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @shaharsamocha7)

---

crates/prover/src/examples/mod.rs line 4 at r4 (raw file):

Previously, shaharsamocha7 wrote…

Remove

Done.

[shaharsamocha7]

Reviewed 1 of 1 files at r5, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @andrewmilson)

[shaharsamocha7]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @andrewmilson)

Left