From 0120d7b5f3fe40c447b52cf0b8b38699cf04e9e5 Mon Sep 17 00:00:00 2001 From: Fibonacci747 Date: Tue, 2 Dec 2025 10:35:48 +0100 Subject: [PATCH 1/2] fix(hash): keep verified_addresses index=offset invariant --- vm/src/vm/runners/builtin_runner/hash.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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(()) } From 95d1184e84d75dad6040d91866d80bb985665aea Mon Sep 17 00:00:00 2001 From: Fibonacci747 Date: Tue, 2 Dec 2025 10:37:10 +0100 Subject: [PATCH 2/2] add changelog --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) 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