diff --git a/CHANGELOG.md b/CHANGELOG.md
index dfdb3468f7..41dd2d6af2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,8 @@
 
 #### Upcoming Changes
 
+* fix(hash): keep verified_addresses index=offset invariant [#2275](https://github.com/lambdaclass/cairo-vm/pull/2275)
+
 #### [3.0.0] - 2025-11-19
 
 #### [3.0.0-rc.5] - 2025-11-14
diff --git a/vm/src/vm/runners/builtin_runner/hash.rs b/vm/src/vm/runners/builtin_runner/hash.rs
index ad241e154b..c6f4e122ad 100644
--- a/vm/src/vm/runners/builtin_runner/hash.rs
+++ b/vm/src/vm/runners/builtin_runner/hash.rs
@@ -134,10 +134,10 @@ impl HashBuiltinRunner {
                 return Err(RunnerError::InvalidAdditionalData(BuiltinName::pedersen));
             }
             // Mark offset as verified
-            if addr.offset > verified_addresses.len() {
-                verified_addresses.resize(addr.offset, false);
+            if verified_addresses.len() <= addr.offset {
+                verified_addresses.resize(addr.offset + 1, false);
             }
-            verified_addresses.insert(addr.offset, true)
+            verified_addresses[addr.offset] = true;
         }
         Ok(())
     }