track range checks

starkware-libs · Jan 30, 2025 · 54842a2 · 54842a2
1 parent 69fcbb2
commit 54842a2
Showing 1 changed file with 48 additions and 5 deletions.
diff --git a/stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs b/stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs
@@ -14,14 +14,17 @@ use stwo_prover::core::pcs::CommitmentSchemeProver;
 use stwo_prover::core::poly::circle::CanonicCoset;
 
 use super::air::CairoClaim;
+use crate::components::range_check_vector::{
+    range_check_11, range_check_12, range_check_18, range_check_19, range_check_3_6,
+    range_check_3_6_6_3, range_check_4_3, range_check_6, range_check_7_2_5, range_check_9_9,
+};
 use crate::components::{
     add_ap_opcode, add_ap_opcode_imm, add_ap_opcode_op_1_base_fp, add_opcode, add_opcode_imm,
     add_opcode_small, add_opcode_small_imm, assert_eq_opcode, assert_eq_opcode_double_deref,
     assert_eq_opcode_imm, call_opcode, call_opcode_op_1_base_fp, call_opcode_rel, generic_opcode,
     jnz_opcode, jnz_opcode_dst_base_fp, jnz_opcode_taken, jnz_opcode_taken_dst_base_fp,
     jump_opcode, jump_opcode_double_deref, jump_opcode_rel, jump_opcode_rel_imm,
-    memory_address_to_id, memory_id_to_big, mul_opcode, mul_opcode_imm, range_check_11,
-    range_check_19, range_check_4_3, range_check_6, range_check_7_2_5, range_check_9_9,
+    memory_address_to_id, memory_id_to_big, mul_opcode, mul_opcode_imm,
     range_check_builtin_bits_128, range_check_builtin_bits_96, ret_opcode, verify_instruction,
 };
 use crate::felt::split_f252;
@@ -549,6 +552,26 @@ where
         )
         .entries(trace),
     );
+    entries.extend(
+        RelationTrackerComponent::new(
+            tree_span_provider,
+            range_check_12::Eval {
+                lookup_elements: relations::RangeCheck_12::dummy(),
+            },
+            1 << 12,
+        )
+        .entries(trace),
+    );
+    entries.extend(
+        RelationTrackerComponent::new(
+            tree_span_provider,
+            range_check_18::Eval {
+                lookup_elements: relations::RangeCheck_18::dummy(),
+            },
+            1 << 18,
+        )
+        .entries(trace),
+    );
     entries.extend(
         RelationTrackerComponent::new(
             tree_span_provider,
@@ -559,6 +582,26 @@ where
         )
         .entries(trace),
     );
+    entries.extend(
+        RelationTrackerComponent::new(
+            tree_span_provider,
+            range_check_3_6::Eval {
+                lookup_elements: relations::RangeCheck_3_6::dummy(),
+            },
+            1 << 9,
+        )
+        .entries(trace),
+    );
+    entries.extend(
+        RelationTrackerComponent::new(
+            tree_span_provider,
+            range_check_4_3::Eval {
+                lookup_elements: relations::RangeCheck_4_3::dummy(),
+            },
+            1 << 7,
+        )
+        .entries(trace),
+    );
     entries.extend(
         RelationTrackerComponent::new(
             tree_span_provider,
@@ -582,10 +625,10 @@ where
     entries.extend(
         RelationTrackerComponent::new(
             tree_span_provider,
-            range_check_4_3::Eval {
-                lookup_elements: relations::RangeCheck_4_3::dummy(),
+            range_check_3_6_6_3::Eval {
+                lookup_elements: relations::RangeCheck_3_6_6_3::dummy(),
             },
-            1 << 7,
+            1 << 14,
         )
         .entries(trace),
     );