Merge branch '2.x.y' into store-idents-in-hints

Author: JulianGCalderon

CHANGELOG.md

@@ -4,7 +4,11 @@
 
 * breaking: Store constants in Hint Data [#2191](https://github.com/lambdaclass/cairo-vm/pull/2191)
 
-#### [2.4.0] - 2025-27-29
+#### [2.4.1] - 2025-09-03
+
+* fix: Fix compute_ids_high_low hint constant path [#2193](https://github.com/lambdaclass/cairo-vm/pull/2193)
+
+#### [2.4.0] - 2025-08-28
 
 * chore: Bump types-rs to 0.2.0 [#2186](https://github.com/lambdaclass/cairo-vm/pull/2186)
 

Cargo.lock

@@ -16,16 +16,16 @@ exclude = ["ensure-no_std"]
 resolver = "2"
 
 [workspace.package]
-version = "2.4.0"
+version = "2.4.1"
 edition = "2021"
 license = "Apache-2.0"
 repository = "https://github.com/lambdaclass/cairo-vm/"
 readme = "README.md"
 keywords = ["starknet", "cairo", "vm", "wasm", "no_std"]
 
 [workspace.dependencies]
-cairo-vm = { path = "./vm", version = "2.4.0", default-features = false }
-cairo-vm-tracer = { path = "./cairo-vm-tracer", version = "2.4.0", default-features = false }
+cairo-vm = { path = "./vm", version = "2.4.1", default-features = false }
+cairo-vm-tracer = { path = "./cairo-vm-tracer", version = "2.4.1", default-features = false }
 mimalloc = { version = "0.1.37", default-features = false }
 num-bigint = { version = "0.4", default-features = false, features = [
     "serde",

Cargo.toml

@@ -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 ();
+}

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

@@ -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/hint_processor/builtin_hint_processor/secp/cairo0_hints.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")]