range check small table

[ohad-starkware]

This change is 

[ohad-starkware]

• public memory #168
• range check small table #167 👈
• verify and ret #166
• memory small table #165
• addr_to_id fixes #161
• pack for casm #160
• main

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

Join @ohad-starkware and the rest of your teammates on Graphite

[shaharsamocha7]

Reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ohad-starkware)

---

stwo_cairo_prover/crates/prover/src/components/memory/id_to_f252/component.rs line 180 at r1 (raw file):

        let interaction_log_sizes = chain!(
            vec![self.big_log_size; SECURE_EXTENSION_DEGREE * (N_M31_IN_FELT252 / 2 + 1)],
            vec![self.small_log_size; SECURE_EXTENSION_DEGREE * (N_M31_IN_SMALL_FELT252 / 2 + 1)]

change this to div_ceil

Code quote:

N_M31_IN_SMALL_FELT252 / 2

[ohad-starkware]

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

---

stwo_cairo_prover/crates/prover/src/components/memory/id_to_f252/component.rs line 180 at r1 (raw file):

Previously, shaharsamocha7 wrote…

change this to div_ceil

ok but the line drop is on you

[shaharsamocha7]

Reviewed 3 of 3 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ohad-starkware)

[ohad-starkware]

Merge activity

• Nov 14, 8:43 AM EST: A user started a stack merge that includes this pull request via Graphite.
• Nov 14, 8:45 AM EST: Graphite rebased this pull request as part of a merge.
• Nov 14, 8:54 AM EST: A user started a stack merge that includes this pull request via Graphite.
• Nov 14, 8:54 AM EST: A user merged this pull request with Graphite.