From fb435b1c2303dcde5cbcbbc66fec998afaaca39c Mon Sep 17 00:00:00 2001
From: Alon Titelman <alon.titelman@starkware.co>
Date: Tue, 4 Jun 2024 20:36:32 +0300
Subject: [PATCH] Don't validate CairoPie memory values.

---
 CHANGELOG.md                   | 2 ++
 vm/src/vm/runners/cairo_pie.rs | 5 +----
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 51fe08c42d..01ddf43c37 100644
--- 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
index 8c5659e748..c636017460 100644
--- 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(())
     }