Skip to content

Commit

Permalink
track range checks
Browse files Browse the repository at this point in the history
  • Loading branch information
ohad-starkware committed Jan 30, 2025
1 parent 26d715a commit d7c4db3
Showing 1 changed file with 44 additions and 3 deletions.
47 changes: 44 additions & 3 deletions stwo_cairo_prover/crates/prover/src/cairo_air/debug_tools.rs
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ 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_12, range_check_18, range_check_3_6, range_check_3_6_6_3};
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,
Expand Down Expand Up @@ -549,6 +550,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,
Expand All @@ -559,6 +580,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,
Expand All @@ -582,10 +623,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),
);
Expand Down

0 comments on commit d7c4db3

Please sign in to comment.