Add lookup step constraint.

[alonh5]

This change is 

[alonh5]

• Test memory trace. #27
• Get range check inputs one by one. #25
• Implement memory component prover. #24
• Write memory interaction trace. #23
• Add memory component. #19
• Evaluate constraints together. #18
• Add lookup step constraint. #17 👈
• Add last lookup boundary constraint. #16
• Implement ComponentProver for RangeCheckUnitComponent. #13
• Implement Component for RangeCheckUnitComponent. #12
• Update stwo and fix changes. #11
• Add rust format file. #14
• 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 2 of 2 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @alonh5)

---

stwo_cairo_prover/src/components/range_check_unit/component.rs line 207 at r1 (raw file):

            } else {
                (1 << (log_size - 1)) + ((1 << log_size) - 1 - i) / 2
            };

Can we extract this to a function? Maybe in stwo?

Code quote:

            let index = if i & 1 == 0 {
                i / 2
            } else {
                (1 << (log_size - 1)) + ((1 << log_size) - 1 - i) / 2
            };

[alonh5]

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

---

stwo_cairo_prover/src/components/range_check_unit/component.rs line 207 at r1 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

Can we extract this to a function? Maybe in stwo?

Yes, done in PR 728 in stwo. ptal :)

[spapinistarkware]

Reviewable status: 1 of 2 files reviewed, 1 unresolved discussion (waiting on @alonh5)

---

stwo_cairo_prover/src/components/range_check_unit/component.rs line 207 at r1 (raw file):

Previously, alonh5 (Alon Haramati) wrote…

Yes, done in PR 728 in stwo. ptal :)

Great. lgtmed. Now, let's use it here

[alonh5]

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

---

stwo_cairo_prover/src/components/range_check_unit/component.rs line 207 at r1 (raw file):

Previously, spapinistarkware (Shahar Papini) wrote…

Great. lgtmed. Now, let's use it here

Done.

[spapinistarkware]

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