Merge branch 'main' into vk/fe5a-criterion

TomWambsgans · web-flow · commit a6f5af9f3857 · 2025-09-20T16:58:31.000+04:00
diff --git a/crates/lean_prover/src/verify_execution.rs b/crates/lean_prover/src/verify_execution.rs
@@ -77,7 +77,7 @@ pub fn verify_execution(
     let log_n_p16 = log2_ceil_usize(n_poseidons_16);
     let log_n_p24 = log2_ceil_usize(n_poseidons_24);
 
-    if log_memory > MAX_LOG_MEMORY_SIZE || log_memory < MIN_LOG_MEMORY_SIZE {
+    if !(MIN_LOG_MEMORY_SIZE..=MAX_LOG_MEMORY_SIZE).contains(&log_memory) {
         return Err(ProofError::InvalidProof);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -77,7 +77,7 @@ pub fn verify_execution(`
`77`	`77`	`let log_n_p16 = log2_ceil_usize(n_poseidons_16);`
`78`	`78`	`let log_n_p24 = log2_ceil_usize(n_poseidons_24);`
`79`	`79`
`80`		`- if log_memory > MAX_LOG_MEMORY_SIZE \|\| log_memory < MIN_LOG_MEMORY_SIZE {`
	`80`	`+ if !(MIN_LOG_MEMORY_SIZE..=MAX_LOG_MEMORY_SIZE).contains(&log_memory) {`
`81`	`81`	`return Err(ProofError::InvalidProof);`
`82`	`82`	`}`
`83`	`83`