From d1f0ab79ba65d5e9b8cbdcdc0688c61d975517c4 Mon Sep 17 00:00:00 2001 From: Jared Wasinger Date: Tue, 24 Mar 2026 11:39:17 -0400 Subject: [PATCH] core/types/bal: ensure that a written storage slot which was previously read doesn't appear in both the read/write set in the BAL Co-authored-by: MariusVanDerWijden --- core/types/bal/bal.go | 3 +++ 1 file changed, 3 insertions(+) diff --git a/core/types/bal/bal.go b/core/types/bal/bal.go index 2d22ff6b4e..02e88457e9 100644 --- a/core/types/bal/bal.go +++ b/core/types/bal/bal.go @@ -169,6 +169,9 @@ func (c ConstructionBlockAccessList) AccumulateMutations(muts StateMutations, id c[addr].StorageWrites[key] = make(map[uint16]common.Hash) } c[addr].StorageWrites[key][idx] = val + + // delete the key from the tracked reads if it was previously read. + delete(c[addr].StorageReads, key) } } }