is first and row bounds relaxations

starkware-libs · Dec 5, 2024 · f68fbdc · f68fbdc
1 parent 709af91
commit f68fbdc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/stwo_cairo_prover/crates/prover/src/cairo_air/mod.rs b/stwo_cairo_prover/crates/prover/src/cairo_air/mod.rs
@@ -16,9 +16,11 @@ use tracing::{span, Level};
 
 use crate::input::CairoInput;
 
-const LOG_MAX_ROWS: u32 = 20;
+const LOG_MAX_ROWS: u32 = 22;
 
-const IS_FIRST_LOG_SIZES: [u32; 16] = [19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4];
+const IS_FIRST_LOG_SIZES: [u32; 19] = [
+    22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4,
+];
 pub fn prove_cairo(input: CairoInput) -> Result<CairoProof<Blake2sMerkleHasher>, ProvingError> {
     let _span = span!(Level::INFO, "prove_cairo").entered();
     let config = PcsConfig::default();

diff --git a/stwo_cairo_prover/crates/prover/src/components/memory/mod.rs b/stwo_cairo_prover/crates/prover/src/components/memory/mod.rs
@@ -1,7 +1,8 @@
 pub mod memory_address_to_id;
 pub mod memory_id_to_big;
 
-pub const LOG_MEMORY_ADDRESS_BOUND: u32 = 20;
+/// Used for sanity checks and assertions.
+pub const LOG_MEMORY_ADDRESS_BOUND: u32 = 27;
 pub const MEMORY_ADDRESS_BOUND: usize = 1 << LOG_MEMORY_ADDRESS_BOUND;
 
 #[cfg(test)]