Create MaskEvaluator.

[alonh5]

This change is 

[alonh5]

Current dependencies on/for this PR:

• Get opening positios as mapping. #409
• Create QuotientLogBoundsVisitor. #407
• Create ConstraintPointEvaluator. #403
• Create MaskPointsEvaluator. #385
• Create MaskEvaluator. #375 👈
• Move max_constraint_log_degree_bound to AirExt trait. #373
• dev

This stack of pull requests is managed by Graphite.

[spapinistarkware]

Reviewed 3 of 4 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alonh5)

[spapinistarkware]

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

---

src/core/mod.rs line 18 at r3 (raw file):

/// A vector in which each element relates (by index) to a column in the trace.
pub type ColumnVec<T> = Vec<T>;
/// A vector of [ColumnVec]'s in which each element relates (by index) to a component in the air.

The documentation (and possibly the name) does not fit the implementation.
This is not jus one per component. it's one per column per component.

[alonh5]

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

---

src/core/mod.rs line 18 at r3 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

The documentation (and possibly the name) does not fit the implementation.
This is not jus one per component. it's one per column per component.

I changed the documentation to better explain what I meant.

[spapinistarkware]

Reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alonh5)

The base branch was changed.

[spapinistarkware]

Reviewed 1 of 1 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alonh5)