add auxilery memory address verification

[ohad-starkware]

This change is 

[ohad-starkware]

• add auxilery memory address verification #418 👈 (View in Graphite)
• main

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

[ilyalesokhin-starkware]

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

/// ID3 = [id9, id10, 0, 0]
pub const LOG_ADDRESS_TO_ID_N_SPLIT_CHUNKS: u32 = 3;
pub(super) const N_SPLIT_CHUNKS: usize = 1 << LOG_ADDRESS_TO_ID_N_SPLIT_CHUNKS;

is there a reason for this to be a power of 2?

Code quote:

N_SPLIT_CHUNKS

[ilyalesokhin-starkware]

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

[ohad-starkware]

Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware and @ohad-starkware)

---

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

Previously, ilyalesokhin-starkware wrote…

is there a reason for this to be a power of 2?

no :)