Merge pull request #2 from NethermindEth/andreiburdusa/storage-erase-…

…default-values Erase default values from storage
NethermindEth · Oct 7, 2024 · 24aad3a · 24aad3a
2 parents ed98681 + 178504e
commit 24aad3a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Clear/EVMState.lean b/Clear/EVMState.lean
@@ -65,7 +65,10 @@ def Account.lookupStorage (act : Account) (k : UInt256) : UInt256 :=
   | _ => 0
 
 def Account.updateStorage (act : Account) (k v : UInt256) : Account :=
-  {act with storage := Finmap.insert k v act.storage}
+  if v == 0 then
+    { act with storage := act.storage.erase k }
+  else
+    { act with storage := Finmap.insert k v act.storage}
 
 -- definition of the machine state