(fix) Replace div_rem with div_mod_floor

CHANGELOG.md

@@ -1,8 +1,7 @@
 ## Cairo-VM Changelog
 
 #### Upcoming Changes
-
-#### [2.0.0-rc1] - 2024-11-20
+* fix: replace `div_rem` with `div_mod_floor` in `verify_zero` hints [#1881](https://github.com/lambdaclass/cairo-vm/pull/1881)
 
 * feat: add `EvalCircuit` and `TestLessThanOrEqualAddress` hints [#1843](https://github.com/lambdaclass/cairo-vm/pull/1843)
 

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

@@ -36,7 +36,7 @@ pub fn verify_zero(
 ) -> Result<(), HintError> {
     exec_scopes.insert_value("SECP_P", secp_p.clone());
     let val = Uint384::from_var_name("val", vm, ids_data, ap_tracking)?.pack86();
-    let (q, r) = val.div_rem(secp_p);
+    let (q, r) = val.div_mod_floor(secp_p);
     if !r.is_zero() {
         return Err(HintError::SecpVerifyZero(Box::new(val)));
     }
@@ -62,7 +62,7 @@ pub fn verify_zero_with_external_const(
 ) -> Result<(), HintError> {
     let secp_p = exec_scopes.get_ref("SECP_P")?;
     let val = Uint384::from_var_name("val", vm, ids_data, ap_tracking)?.pack86();
-    let (q, r) = val.div_rem(secp_p);
+    let (q, r) = val.div_mod_floor(secp_p);
     if !r.is_zero() {
         return Err(HintError::SecpVerifyZero(Box::new(val)));
     }