Erase default values from storage

NethermindEth · Aug 29, 2024 · 3b78768 · 3b78768
1 parent f985ea6
commit 3b78768
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 == default then
+    { act with storage := act.storage.erase k }
+  else
+    { act with storage := Finmap.insert k v act.storage}
 
 -- definition of the machine state