Integrate RC96 Builtin

[Gali-StarkWare]

This change is 

[Gali-StarkWare]

• Integrate RC96 Builtin #367 👈 (View in Graphite)
• Integrate Range Check 6 #398
• Add Range Check 96 Builtin Files #372
• Add Range Check 6 to Range Check Vector #397
• main

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

[ohad-starkware]

stwo_cairo_prover/crates/prover/src/cairo_air/air.rs line 77 at r2 (raw file):

    pub range_check7_2_5: range_check_7_2_5::Claim,
    pub range_check4_3: range_check_4_3::Claim,
    pub range_check_6: range_check_6::Claim,

move above 11

[ohad-starkware]

Reviewable status: 0 of 8 files reviewed, 1 unresolved discussion (waiting on @alon-f, @andrewmilson, @Gali-StarkWare, and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/cairo_air/builtins_air.rs line 76 at r4 (raw file):

                    BuiltinSegments::builtin_memory_cells_per_instance(BuiltinName::range_check96);
                    assert!(
                        ((range_check_bits_96.stop_ptr - range_check_bits_96.begin_addr) % rc96_builtin_cells_per_instance) == 0,

move to a variable

Code quote:

range_check_bits_96.stop_ptr - range_check_bits_96.begin_addr

[Gali-StarkWare]

Reviewable status: 0 of 8 files reviewed, 1 unresolved discussion (waiting on @alon-f, @andrewmilson, @ohad-starkware, and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/cairo_air/air.rs line 77 at r2 (raw file):

Previously, ohad-starkware (Ohad) wrote…

move above 11

Fixed in different pr

---

stwo_cairo_prover/crates/prover/src/cairo_air/builtins_air.rs line 76 at r4 (raw file):

Previously, ohad-starkware (Ohad) wrote…

move to a variable

Done.

[ohad-starkware]

Reviewed 1 of 8 files at r2, 6 of 7 files at r4, 1 of 1 files at r5, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @alon-f, @andrewmilson, and @shaharsamocha7)

[Gali-StarkWare]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @alon-f, @andrewmilson, @ohad-starkware, and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/cairo_air/builtins_air.rs line 76 at r4 (raw file):

Previously, Gali-StarkWare wrote…

Done.

Can you resolve this?

[ohad-starkware]

Reviewed 2 of 7 files at r6, all commit messages.
Reviewable status: 3 of 8 files reviewed, all discussions resolved (waiting on @alon-f, @andrewmilson, and @shaharsamocha7)

[Gali-StarkWare]

Reviewed 5 of 7 files at r6.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alon-f, @andrewmilson, and @shaharsamocha7)

[Gali-StarkWare]

Reviewed 1 of 8 files at r2, 2 of 7 files at r6, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alon-f, @andrewmilson, and @shaharsamocha7)