Fix selfdestruct

0xPolygonZero · Aug 12, 2024 · 873377a · 873377a
1 parent c0e0351
commit 873377a
Show file tree

Hide file tree

Showing 3 changed files with 9,785 additions and 1 deletion.
diff --git a/evm_arithmetization/src/cpu/kernel/asm/core/create_contract_account.asm b/evm_arithmetization/src/cpu/kernel/asm/core/create_contract_account.asm
@@ -4,7 +4,6 @@
 %macro create_contract_account
     // stack: address
     DUP1 %insert_touched_addresses
-    DUP1 %append_created_contracts
     DUP1 %mpt_read_state_trie
     // stack: existing_account_ptr, address
     // If the account doesn't exist, there's no need to check its balance or nonce,
@@ -28,6 +27,7 @@
 
 %%add_account:
     // stack: existing_balance, address
+    DUP2 %append_created_contracts
     DUP2 PUSH 1
     // stack: is_contract, address, existing_balance, address
     %journal_add_account_created

diff --git a/trace_decoder/tests/data/witnesses/zero_jerigon/b20472591_main.json b/trace_decoder/tests/data/witnesses/zero_jerigon/b20472591_main.json