diff --git a/main/opcodes/storage-memory.zkasm b/main/opcodes/storage-memory.zkasm index dd74ceaf..245bf4a2 100644 --- a/main/opcodes/storage-memory.zkasm +++ b/main/opcodes/storage-memory.zkasm @@ -160,6 +160,7 @@ opSLOAD: $ => A :MLOAD(storageAddr) ; set key for smt storage query %SMT_KEY_SC_STORAGE => B + $${eventLog(onUpdateStorage)} $ => E :SLOAD ; set key(C) as warmed storage for address(A) E :MSTORE(SP++), CALL(isColdSlot); [value(E) => SP] @@ -305,4 +306,5 @@ opSSTOREsr: ; set key for smt storage query %SMT_KEY_SC_STORAGE => B $ => C :MLOAD(tmpVarCsstore); key => C + $${eventLog(onUpdateStorage)} $ => SR :SSTORE, JMP(readCode)