Don't validate CairoPie memory values.

lambdaclass · Jun 4, 2024 · fb435b1 · fb435b1
1 parent c65591e
commit fb435b1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,8 @@
 
 #### Upcoming Changes
 
+* fix: Remove validation of CairoPie memory values [#1783](https://github.com/lambdaclass/cairo-vm/pull/1783)
+
 * feat: Add `EXCESS_BALANCE` hint [#1777](https://github.com/lambdaclass/cairo-vm/pull/1777)
 
 * feat(BREAKING): Use a cheatcode to relocate all dicts + Make temporary segment usage configurable [#1776](https://github.com/lambdaclass/cairo-vm/pull/1776)

diff --git a/vm/src/vm/runners/cairo_pie.rs b/vm/src/vm/runners/cairo_pie.rs
@@ -212,11 +212,8 @@ impl CairoPie {
             Ok(())
         };
 
-        for ((si, so), value) in self.memory.0.iter() {
+        for ((si, so), _) in self.memory.0.iter() {
             validate_addr((*si as isize, *so).into())?;
-            if let MaybeRelocatable::RelocatableValue(val) = value {
-                validate_addr(*val)?;
-            }
         }
         Ok(())
     }