MIN_LOG_MEMORY_SIZE

Author: TomWambsgans

crates/lean_prover/src/verify_execution.rs

@@ -72,15 +72,15 @@ pub fn verify_execution(
 
     let public_memory = build_public_memory(public_input);
 
-    if log2_ceil_usize(private_memory_len + private_memory_len) > MAX_MEMORY_SIZE {
-        return Err(ProofError::InvalidProof);
-    }
-
     let log_public_memory = log2_strict_usize(public_memory.len());
     let log_memory = log2_ceil_usize(public_memory.len() + private_memory_len);
     let log_n_p16 = log2_ceil_usize(n_poseidons_16);
     let log_n_p24 = log2_ceil_usize(n_poseidons_24);
 
+    if !(MIN_LOG_MEMORY_SIZE..=MAX_LOG_MEMORY_SIZE).contains(&log_memory) {
+        return Err(ProofError::InvalidProof);
+    }
+
     let table_dot_products_log_n_rows = log2_ceil_usize(n_rows_table_dot_products);
     let dot_product_padding_len =
         n_rows_table_dot_products.next_power_of_two() - n_rows_table_dot_products;

crates/lean_vm/src/memory.rs

@@ -5,10 +5,11 @@ use rayon::prelude::*;
 
 use crate::*;
 
-pub const MAX_MEMORY_SIZE: usize = 1 << 29;
+pub const MIN_LOG_MEMORY_SIZE: usize = 16;
+pub const MAX_LOG_MEMORY_SIZE: usize = 29;
 
 // For now, we restrict ourselves to executions where memory usage < 2^24 words.
-// But the VM supports theorically a memory of size MAX_MEMORY_SIZE = 2^29.
+// But the VM supports theorically a memory of size 2^29.
 pub(crate) const MAX_RUNNER_MEMORY_SIZE: usize = 1 << 24;
 
 #[derive(Debug, Clone, Default)]