Add first point rc constraint.

[alonh5]

This change is 

[alonh5]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• Add first point rc constraint. #33 👈
• Create CairoAir. #30
• Split memory values into 9 bit values. #29
• main

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

Join @alonh5 and the rest of your teammates on Graphite

[spapinistarkware]

Reviewed all commit messages.
Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @alonh5 and @shaharsamocha7)

---

stwo_cairo_prover/src/components/memory/component.rs line 238 at r1 (raw file):

            vec![point, point - domain.step().into_ef()];
            SECURE_EXTENSION_DEGREE
        ]);

I think this can look a bit better.

Suggestion:

        let step = domain.step().into_ef();
        let mut interaction_points =
            chain!(
                [vec![point, point - step]; SECURE_EXTENSION_DEGREE],
                [vec![point]; SECURE_EXTENSION_DEGREE * (N_M31_IN_FELT252 - 1)],
                [vec![point, point - step]; SECURE_EXTENSION_DEGREE]
        ]);

[spapinistarkware]

Reviewable status: 0 of 2 files reviewed, 2 unresolved discussions (waiting on @alonh5 and @shaharsamocha7)

---

stwo_cairo_prover/src/components/memory/component.rs line 238 at r1 (raw file):

            vec![point, point - domain.step().into_ef()];
            SECURE_EXTENSION_DEGREE
        ]);

We would like to aggregate all sums together