Fix compute_ids_high_low hint constant path (#2193)

* Add test

* Fix hardcoded constant path, and remove fallback

* Add fallback

* Update changelog

Author: JulianGCalderon

CHANGELOG.md

@@ -2,6 +2,8 @@
 
 #### Upcoming Changes
 
+* fix: Fix compute_ids_high_low hint constant path [#2193](https://github.com/lambdaclass/cairo-vm/pull/2193)
+
 #### [2.4.0] - 2025-27-29
 
 * chore: Bump types-rs to 0.2.0 [#2186](https://github.com/lambdaclass/cairo-vm/pull/2186)

cairo_programs/cairo-0-secp-hints-feature/assert_165_bit.cairo

@@ -0,0 +1,9 @@
+%builtins range_check
+
+from starkware.cairo.common.secp256r1.field import assert_165_bit
+
+func main{range_check_ptr: felt}() {
+    let value = 10;
+    assert_165_bit(value);
+    return ();
+}

vm/src/hint_processor/builtin_hint_processor/secp/cairo0_hints.rs

@@ -170,8 +170,8 @@ pub fn compute_ids_high_low(
 ) -> Result<(), HintError> {
     exec_scopes.insert_value::<BigInt>("SECP256R1_P", SECP256R1_P.clone());
 
-    const UPPER_BOUND: &str = "starkware.cairo.common.math.assert_250_bit.UPPER_BOUND";
-    const SHIFT: &str = "starkware.cairo.common.math.assert_250_bit.SHIFT";
+    const UPPER_BOUND: &str = "starkware.cairo.common.secp256r1.field.assert_165_bit.UPPER_BOUND";
+    const SHIFT: &str = "starkware.cairo.common.secp256r1.field.assert_165_bit.SHIFT";
 
     let upper_bound = constants
         .get(UPPER_BOUND)

vm/src/tests/cairo_run_test.rs

@@ -1353,6 +1353,15 @@ fn cairo_run_secp_cairo0_negative_points() {
     run_program_simple(program_data.as_slice());
 }
 
+#[test]
+#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
+#[cfg(feature = "cairo-0-secp-hints")]
+fn cairo_run_secp_cairo0_assert_165_bits() {
+    let program_data =
+        include_bytes!("../../../cairo_programs/cairo-0-secp-hints-feature/assert_165_bit.json");
+    run_program_simple(program_data.as_slice());
+}
+
 #[test]
 #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
 #[cfg(feature = "cairo-0-data-availability-hints")]