Ported static without hardcoded addresses

Author: leolara

scripts/filler_to_python/analyzer.py

@@ -36,6 +36,7 @@ class AccountIR:
     code_expr: str = ""
     storage: dict = field(default_factory=dict)
     oversized_code: bool = False
+    use_dynamic: bool = True
 
 
 @dataclass
@@ -80,6 +81,7 @@ class AccessListEntryIR:
 
     address: str = ""
     storage_keys: list = field(default_factory=list)
+    use_dynamic: bool = False
 
 
 @dataclass
@@ -108,7 +110,9 @@ class SenderIR:
     is_tagged: bool = False
     key: int | None = None
     balance: int = 0
+    nonce: int | None = None
     not_in_pre: bool = False
+    use_dynamic: bool = True
 
 
 @dataclass

scripts/filler_to_python/ir.py

@@ -42,7 +42,11 @@ def format_storage(d: dict) -> str:
         return "{}"
     items = []
     for k in sorted(d.keys()):
-        items.append(f"{format_int(k)}: {format_int(d[k])}")
+        v = d[k]
+        if isinstance(v, str):
+            items.append(f"{format_int(k)}: {v}")
+        else:
+            items.append(f"{format_int(k)}: {format_int(v)}")
     single = "{" + ", ".join(items) + "}"
     if len(single) <= 50:
         return single

scripts/filler_to_python/render.py

@@ -176,7 +176,13 @@ def {{ test_name }}(
 {% for addr in address_constants %}
     {{ addr.var_name }} = Address({{ addr.hex }})
 {% endfor %}
-{% if sender.not_in_pre %}
+{% if sender.use_dynamic %}
+{% if sender.nonce %}
+    sender = pre.fund_eoa(amount={{ sender.balance | format_int }}, nonce={{ sender.nonce }})
+{% else %}
+    sender = pre.fund_eoa(amount={{ sender.balance | format_int }})
+{% endif %}
+{% elif sender.not_in_pre %}
     sender = pre.fund_eoa(amount=0)
 {% else %}
     sender = EOA(
@@ -205,15 +211,19 @@ def {{ test_name }}(
 
 {# Pre-state account setup #}
 {% for account in accounts %}
-{% if account.is_sender %}
+{% if account.is_sender and sender.use_dynamic %}
+{# Sender balance already set via pre.fund_eoa() above #}
+{% elif account.is_sender %}
     pre[sender] = Account(balance={{ account.balance | format_int }}{{ ", nonce=%d" | format(account.nonce) if account.nonce }}{{ ", storage=%s" | format(account.storage | format_storage) if account.storage }}{{ ", code=%s" | format(account.code_expr | wrap_op_chain(indent=8)) if account.code_expr }})
+{% elif account.is_eoa and account.use_dynamic %}
+    {{ account.var_name }} = pre.fund_eoa(amount={{ account.balance | format_int }})
 {% elif account.is_eoa %}
     pre[{{ account.var_name }}] = Account(balance={{ account.balance | format_int }}{{ ", nonce=%d" | format(account.nonce) if account.nonce }}{{ ", storage=%s" | format(account.storage | format_storage) if account.storage }}{{ ", code=%s" | format(account.code_expr | wrap_op_chain(indent=8)) if account.code_expr }})
 {% else %}
 {# Contract: source comment + deploy #}
 {{ account.source_comment }}
 {% if account.oversized_code %}
-    {{ account.var_name }} = Address({{ account.address }})
+    {{ account.var_name }} = Address({{ account.address }})  # oversized contract
     pre[{{ account.var_name }}] = Account(
         code={{ account.code_expr | wrap_op_chain(indent=8) }},
 {% if account.storage %}
@@ -238,7 +248,9 @@ def {{ test_name }}(
 {% if account.nonce is not none %}
         nonce={{ account.nonce }},
 {% endif %}
+{% if not account.use_dynamic %}
         address=Address({{ account.address }}),  # noqa: E501
+{% endif %}
     )
 {% endif %}
 {% endif %}
@@ -287,7 +299,11 @@ def {{ test_name }}(
         {{ d_idx }}: [
     {% for al in al_entries %}
             AccessList(
+    {% if al.use_dynamic %}
+                address={{ al.address }},
+    {% else %}
                 address=Address({{ al.address }}),
+    {% endif %}
                 storage_keys=[
     {% for sk in al.storage_keys %}
                     Hash("{{ sk }}"),  # noqa: E501
@@ -357,7 +373,11 @@ def {{ test_name }}(
         access_list=[
 {% for al in tx.access_list %}
             AccessList(
+{% if al.use_dynamic %}
+                address={{ al.address }},
+{% else %}
                 address=Address({{ al.address }}),
+{% endif %}
                 storage_keys=[
 {% for sk in al.storage_keys %}
                     Hash(

scripts/filler_to_python/templates/state_test.py.j2

@@ -0,0 +1,34 @@
+#!/bin/bash
+# Verify that filler_to_python with dynamic addresses produces
+# trace-equivalent tests. Assumes output/traces_baseline/ already
+# exists (generated once before any code changes).
+set -euo pipefail
+
+export TMPDIR=./.tmp
+mkdir -p "$TMPDIR" output/traces_new
+
+if [ ! -d "output/traces_baseline" ]; then
+    echo "ERROR: output/traces_baseline/ not found."
+    echo "Generate baseline first (before code changes):"
+    echo "  TMPDIR=./.tmp uv run fill tests/ported_static/ --evm-dump-dir output/traces_baseline -n 10 -m 'not slow'"
+    exit 1
+fi
+
+# Step 1: Run filler_to_python (overwrites tests/ported_static/)
+echo "=== Step 1: Running filler_to_python ==="
+uv run python -m scripts.filler_to_python \
+    --fillers tests/static/static/state_tests/ \
+    --output tests/ported_static/
+
+# Step 2: Fill new tests + verify against baseline
+echo "=== Step 2: Filling new tests and verifying traces ==="
+uv run fill \
+    tests/ported_static/ \
+    --evm-dump-dir output/traces_new \
+    --verify-traces output/traces_baseline \
+    --verify-traces-comparator exact-no-stack \
+    -n 10 \
+    -m "not slow"
+
+echo "=== Done. Check output above for trace mismatches ==="
+echo "=== Use 'git diff tests/ported_static/' to see code changes ==="

scripts/verify_dynamic_addresses.sh

@@ -7,7 +7,6 @@
 
 import pytest
 from execution_testing import (
-    EOA,
     Account,
     Address,
     Alloc,
@@ -58,9 +57,7 @@ def test_add_non_const(
 ) -> None:
     """Test_add_non_const."""
     coinbase = Address(0x2ADC25665018AA1FE0E6BC666DAC8FC2697FF9BA)
-    sender = EOA(
-        key=0xB1F4CBC3A50042184425A6F9E996D0910F7BA879457CE5DAC5C71E498AD3C005
-    )
+    sender = pre.fund_eoa(amount=0xDE0B6B3A7640000)
 
     env = Environment(
         fee_recipient=coinbase,
@@ -85,7 +82,6 @@ def test_add_non_const(
         nonce=0,
         address=Address(0xF1722FE346FA35E045DE07E47CF6AF9BAE8ADE0A),  # noqa: E501
     )
-    pre[sender] = Account(balance=0xDE0B6B3A7640000)
 
     expect_entries_: list[dict] = [
         {

tests/ported_static/stArgsZeroOneBalance/test_add_non_const.py

@@ -7,7 +7,6 @@
 
 import pytest
 from execution_testing import (
-    EOA,
     Account,
     Address,
     Alloc,
@@ -58,9 +57,7 @@ def test_addmod_non_const(
 ) -> None:
     """Test_addmod_non_const."""
     coinbase = Address(0x2ADC25665018AA1FE0E6BC666DAC8FC2697FF9BA)
-    sender = EOA(
-        key=0xB1F4CBC3A50042184425A6F9E996D0910F7BA879457CE5DAC5C71E498AD3C005
-    )
+    sender = pre.fund_eoa(amount=0xDE0B6B3A7640000)
 
     env = Environment(
         fee_recipient=coinbase,
@@ -86,7 +83,6 @@ def test_addmod_non_const(
         nonce=0,
         address=Address(0x92D2FC80312ACD8C37857696D2224AF18CE6F966),  # noqa: E501
     )
-    pre[sender] = Account(balance=0xDE0B6B3A7640000)
 
     expect_entries_: list[dict] = [
         {

tests/ported_static/stArgsZeroOneBalance/test_addmod_non_const.py

@@ -7,7 +7,6 @@
 
 import pytest
 from execution_testing import (
-    EOA,
     Account,
     Address,
     Alloc,
@@ -58,9 +57,7 @@ def test_and_non_const(
 ) -> None:
     """Test_and_non_const."""
     coinbase = Address(0x2ADC25665018AA1FE0E6BC666DAC8FC2697FF9BA)
-    sender = EOA(
-        key=0xB1F4CBC3A50042184425A6F9E996D0910F7BA879457CE5DAC5C71E498AD3C005
-    )
+    sender = pre.fund_eoa(amount=0xDE0B6B3A7640000)
 
     env = Environment(
         fee_recipient=coinbase,
@@ -85,7 +82,6 @@ def test_and_non_const(
         nonce=0,
         address=Address(0x4C26357E0D164B702BCEB18690FC742EE1D36913),  # noqa: E501
     )
-    pre[sender] = Account(balance=0xDE0B6B3A7640000)
 
     expect_entries_: list[dict] = [
         {

tests/ported_static/stArgsZeroOneBalance/test_and_non_const.py

@@ -7,7 +7,6 @@
 
 import pytest
 from execution_testing import (
-    EOA,
     Account,
     Address,
     Alloc,
@@ -58,9 +57,7 @@ def test_balance_non_const(
 ) -> None:
     """Test_balance_non_const."""
     coinbase = Address(0x2ADC25665018AA1FE0E6BC666DAC8FC2697FF9BA)
-    sender = EOA(
-        key=0xB1F4CBC3A50042184425A6F9E996D0910F7BA879457CE5DAC5C71E498AD3C005
-    )
+    sender = pre.fund_eoa(amount=0xDE0B6B3A7640000)
 
     env = Environment(
         fee_recipient=coinbase,
@@ -86,7 +83,6 @@ def test_balance_non_const(
         nonce=0,
         address=Address(0xEE6A324B2ECE5EACDF881ABFDCC62B5361D0FB50),  # noqa: E501
     )
-    pre[sender] = Account(balance=0xDE0B6B3A7640000)
 
     expect_entries_: list[dict] = [
         {

tests/ported_static/stArgsZeroOneBalance/test_balance_non_const.py

@@ -7,7 +7,6 @@
 
 import pytest
 from execution_testing import (
-    EOA,
     Account,
     Address,
     Alloc,
@@ -58,9 +57,7 @@ def test_byte_non_const(
 ) -> None:
     """Test_byte_non_const."""
     coinbase = Address(0x2ADC25665018AA1FE0E6BC666DAC8FC2697FF9BA)
-    sender = EOA(
-        key=0xB1F4CBC3A50042184425A6F9E996D0910F7BA879457CE5DAC5C71E498AD3C005
-    )
+    sender = pre.fund_eoa(amount=0xDE0B6B3A7640000)
 
     env = Environment(
         fee_recipient=coinbase,
@@ -85,7 +82,6 @@ def test_byte_non_const(
         nonce=0,
         address=Address(0x86D606901085BA78C64D2E0B16831E6AFD89DE2D),  # noqa: E501
     )
-    pre[sender] = Account(balance=0xDE0B6B3A7640000)
 
     expect_entries_: list[dict] = [
         {