From fb42e7496fd692097cc029dcb4b9e7c7f35f03d8 Mon Sep 17 00:00:00 2001 From: Ohad Agadi Date: Wed, 4 Dec 2024 09:11:01 +0200 Subject: [PATCH] is first and row bounds relaxations --- stwo_cairo_prover/crates/prover/src/cairo_air/mod.rs | 6 ++++-- .../crates/prover/src/components/memory/mod.rs | 3 ++- 2 files changed, 6 insertions(+), 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 index dfeb136a..f736f6d1 100644 --- 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, 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 index 92529230..bf33535f 100644 --- 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)]