range_check

HerodotusDev · Jan 12, 2024 · 556725f · 556725f
1 parent a07fcd2
commit 556725f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo
@@ -172,5 +172,10 @@ impl PublicInputImpl of PublicInputTrait {
             - *self.segments.at(constants::segments::PEDERSEN).begin_addr)
             / 3;
         assert_range_u128_le(pedersen_uses, pedersen_copies);
+
+        let range_check_copies = n_steps / constants::RC_BUILTIN_RATIO;
+        let range_check_uses = *self.segments.at(constants::segments::RANGE_CHECK).stop_ptr
+            - *self.segments.at(constants::segments::RANGE_CHECK).begin_addr;
+        assert_range_u128_le(range_check_uses, range_check_copies);
     }
 }