jsign

/data/code-data/eest-execution-witness-dashboard main                                                                                                                                                                              17:29:19
> FILLER_PATH=tests/amsterdam/eip8025_optional_proofs ./scripts/fill-fixtures.sh
==> Preparing execution-specs checkout at /data/code-data/eest-execution-witness-dashboard/execution-specs
==> Using https://github.com/ethereum/execution-specs.git at projects/zkevm-releases
Cloning into '/data/code-data/eest-execution-witness-dashboard/execution-specs'...
remote: Enumerating objects: 126360, done.
remote: Counting objects: 100% (495/495), done.
remote: Compressing objects: 100% (168/168), done.
remote: Total 126360 (delta 372), reused 332 (delta 326), pack-reused 125865 (from 2)
Receiving objects: 100% (126360/126360), 88.41 MiB | 16.00 MiB/s, done.

jsign

Witness logger can include warmer-only code accesses

Short version

I think the import/precompute witness path can record bytecode reads caused only by block warming, not by actual execution.

This is not a Rust memory race. It is a logging ownership/scope bug whose output is timing-dependent because execution and warming share the same CachingDatabase.

Current shape:

jsign

FAILED tests/benchmark/compute/instruction/test_storage.py::test_storage_access_cold[fork_Amsterdam-blockchain_test-absent_slots_True-SSTORE new value-benchmark-gas-value_1M]@t8n-cache-de08fbf1 - AssertionError: Total gas used (881280) does not match expected benchmark gas (948103), difference: -66823
FAILED tests/benchmark/compute/instruction/test_storage.py::test_storage_access_cold[fork_Amsterdam-blockchain_test-absent_slots_True-SSTORE new value, revert-benchmark-gas-value_1M]@t8n-cache-1f7fc3d1 - AssertionError: Total gas used (66829) does not match expected benchmark gas (948109), difference: -881280
FAILED tests/benchmark/compute/instruction/test_storage.py::test_storage_access_cold[fork_Amsterdam-blockchain_test-absent_slots_True-SSTORE same value, out of gas-benchmark-gas-value_1M]@t8n-cache-8e0ee820 - AssertionError: Total gas used (66813) does not match expected benchmark gas (948093), difference: -881280
FAILED tests/benchmark/compute/instruction/test_storage.py::test_storage_access_cold[fork_Amst

jsign

/data/code-data/execution-specs #tests-bal@v7.2.0 *3                                                                                                                            direnv py ethereum-execution 16:23:59
> uv run fill \
  --clean \
  --gas-benchmark-values 1 \
  --fork Amsterdam \
  -m blockchain_test -n 12 ./tests/benchmark/compute/instruction/test_storage.py

warning: The `extra-build-dependencies` option is experimental and may change without warning. Pass `--preview-features extra-build-dependencies` to disable this warning.
================================================================================================ test session starts =================================================================================================
platform linux -- Python 3.12.3, pytest-8.4.2, pluggy-1.6.0

jsign

Loading symbols from ELF file: /data/program.elf
Loaded 1718 function symbols (0 marked as selected ROI)
Loaded 19 profile tags

REPORT                                  
----------------------------------------
STEPS                        363,022,500

COST DISTRIBUTION                   COST       %
------------------------------------------------

jsign

{
    "stateRoot": "0x6a9fd6e5e74c19aec9a8cff28a8120529e6ce2b702b0585c911b7b927ce18fb0",
    "txRoot": "0xdd1b0a103d578499d77ef352ed0e3afbcf9429d76377d72a573b88bdab511293",
    "receiptsRoot": "0x64704bc430feaa25a404f9cba894fc4ea08ba1979dee80ec64691e9d51a51fb9",
    "logsHash": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
    "logsBloom": "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "receipts": [
        {
            "transactionHash": "0x516296fd7456a59ab044e769ac4a2a4027529e74d9745ad663ad72c21eba6179",
           

jsign

/data/code-data/evm-gas-repricings/data/zkvms/zkevm-metrics/reth/zisk-v0.15.0/test_account_query.py::test_selfbalance[benchmark-gas-value_20M-fork_Osaka-blockchain_test-contract_balance_0].json
/data/code-data/evm-gas-repricings/data/zkvms/zkevm-metrics/reth/zisk-v0.15.0/test_account_query.py::test_selfbalance[benchmark-gas-value_20M-fork_Osaka-blockchain_test-contract_balance_1].json
/data/code-data/evm-gas-repricings/data/zkvms/zkevm-metrics/reth/zisk-v0.15.0/test_account_query.py::test_selfbalance[benchmark-gas-value_30M-fork_Osaka-blockchain_test-contract_balance_0].json
/data/code-data/evm-gas-repricings/data/zkvms/zkevm-metrics/reth/zisk-v0.15.0/test_account_query.py::test_selfbalance[benchmark-gas-value_30M-fork_Osaka-blockchain_test-contract_balance_1].json
/data/code-data/evm-gas-repricings/data/zkvms/zkevm-metrics/reth/zisk-v0.15.0/test_alt_bn128.py::test_alt_bn128[benchmark-gas-value_30M-fork_Osaka-blockchain_test-bn128_add_1_2].json
/data/code-data/evm-gas-repricings/data/zkvms/zkevm-metrics/reth/

jsign

    "tests/benchmark/compute/instruction/test_arithmetic.py::test_arithmetic[benchmark-gas-value_10M-fork_Osaka-blockchain_test-opcode_ADD-]": {
        "network": "Osaka",
        "genesisBlockHeader": {
            "parentHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
            "uncleHash": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
            "coinbase": "0x0000000000000000000000000000000000000000",
            "stateRoot": "0xdf4d565f11613dda3db798e068c9940e4ba37b703e5140d268e51afacec518f5",
            "transactionsTrie": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "receiptTrie": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "bloom": "0x000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

jsign

{
    "tests/benchmark/compute/instruction/test_account_query.py::test_codesize[benchmark-gas-value_10M-fork_Osaka-blockchain_test]": {
        "network": "Osaka",
        "genesisBlockHeader": {
            "parentHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
            "uncleHash": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
            "coinbase": "0x0000000000000000000000000000000000000000",
            "stateRoot": "0x03d37ad9268f47c9291b382fface89b9784d84901d7503e8bfd3f057411090da",
            "transactionsTrie": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "receiptTrie": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",

jsign

    "tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_balance_within_block[fork_Cancun-blockchain_test]": {
        "network": "Cancun",
        "genesisBlockHeader": {
            "parentHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
            "uncleHash": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
            "coinbase": "0x0000000000000000000000000000000000000000",
            "stateRoot": "0x3f7144b53ef77754ab9ff35d7e455029c4d08671656a8c0ff136e3851d053674",
            "transactionsTrie": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "receiptTrie": "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",