feat: trie multi diff comparison (#655)

* feat: full tries comparison * fix: improvements * fix: comment * fix: lint * fix: collect only n diff points * fix: tests
0xPolygonZero · Oct 4, 2024 · e5fe60b · e5fe60b
1 parent 038457a
commit e5fe60b
Show file tree

Hide file tree

Showing 4 changed files with 383 additions and 112 deletions.
diff --git a/evm_arithmetization/src/generation/mod.rs b/evm_arithmetization/src/generation/mod.rs
@@ -520,13 +520,11 @@ pub fn generate_traces<F: RichField + Extendable<D>, const D: usize>(
     let registers_after: RegistersData = RegistersData::from(*registers_after);
     apply_metadata_and_tries_memops(&mut state, inputs, &registers_before, &registers_after);
 
-    let cpu_res = timed!(
+    timed!(
         timing,
         "simulate CPU",
         simulate_cpu(&mut state, *max_cpu_len_log)
-    );
-
-    cpu_res?;
+    )?;
 
     let trace_lengths = state.traces.get_lengths();