Skip to content

fix(evm): exclude access status from EVM prestate - #609

Merged
zoowii merged 1 commit into
DTVMStack:mainfrom
ys8888john:fix/issue-590-access-status
Sep 14, 2026
Merged

zoowii merged 1 commit into
DTVMStack:mainfrom
ys8888john:fix/issue-590-access-status

Conversation

@ys8888john

Copy link
Copy Markdown
Contributor

Warm/cold storage access is per-transaction execution state, not world state. Stop serializing access_status and ignore it when loading legacy prestate files so the next transaction's first storage access pays cold-access gas.

Closes #590

1. Does this PR affect any open issues?(Y/N) and add issue references (e.g. "fix #123", "re #123".):

  • N
  • Y

2. What is the scope of this PR (e.g. component or file name):

3. Provide a description of the PR(e.g. more details, effects, motivations or doc link):

  • Affects user behaviors
  • Contains CI/CD configuration changes
  • Contains documentation changes
  • Contains experimental features
  • Performance regression: Consumes more CPU
  • Performance regression: Consumes more Memory
  • Other

4. Are there any breaking changes?(Y/N) and describe the breaking changes(e.g. more details, motivations or doc link):

  • N
  • Y

5. Are there test cases for these changes?(Y/N) select and add more details, references or doc links:

  • Unit test
  • Integration test
  • Benchmark (add benchmark stats below)
  • Manual test (add detailed scripts or steps below)
  • Other

6. Release note

None

Warm/cold storage access is per-transaction execution state, not world state. Stop serializing access_status and ignore it when loading legacy prestate files so the next transaction's first storage access pays cold-access gas.

Closes DTVMStack#590
@github-actions

Copy link
Copy Markdown

⚡ Performance Regression Check Results

✅ Performance Check Passed (interpreter)

Performance Benchmark Results (threshold: 25%)

Benchmark Baseline (us) Current (us) Change Status
total/main/blake2b_huff/8415nulls 2.84 2.85 +0.2% PASS
total/main/blake2b_huff/empty 0.05 0.05 -0.3% PASS
total/main/blake2b_shifts/8415nulls 11.93 11.88 -0.4% PASS
total/main/sha1_divs/5311 9.16 9.14 -0.2% PASS
total/main/sha1_divs/empty 0.11 0.11 +1.2% PASS
total/main/sha1_shifts/5311 6.42 6.43 +0.1% PASS
total/main/sha1_shifts/empty 0.04 0.04 -0.4% PASS
total/main/snailtracer/benchmark 98.16 98.61 +0.5% PASS
total/main/structarray_alloc/nfts_rank 1.01 1.01 +0.1% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 -1.2% PASS
total/main/swap_math/received 0.01 0.01 +4.3% PASS
total/main/swap_math/spent 0.01 0.01 -0.1% PASS
total/main/weierstrudel/1 0.32 0.32 +0.4% PASS
total/main/weierstrudel/15 3.53 3.58 +1.4% PASS
total/micro/JUMPDEST_n0/empty 1.91 1.91 -0.1% PASS
total/micro/jump_around/empty 0.08 0.08 -1.1% PASS
total/micro/loop_with_many_jumpdests/empty 70.43 68.84 -2.3% PASS
total/micro/memory_grow_mload/by1 0.19 0.18 -3.7% PASS
total/micro/memory_grow_mload/by16 0.22 0.21 -3.5% PASS
total/micro/memory_grow_mload/by32 0.11 0.11 +0.0% PASS
total/micro/memory_grow_mload/nogrow 0.09 0.09 -0.5% PASS
total/micro/memory_grow_mstore/by1 0.20 0.20 -0.0% PASS
total/micro/memory_grow_mstore/by16 0.11 0.11 -0.9% PASS
total/micro/memory_grow_mstore/by32 0.23 0.25 +6.5% PASS
total/micro/memory_grow_mstore/nogrow 0.20 0.20 -0.3% PASS
total/micro/signextend/one 0.26 0.27 +3.6% PASS
total/micro/signextend/zero 0.50 0.48 -2.4% PASS
total/synth/ADD/b0 1.45 1.45 -0.1% PASS
total/synth/ADD/b1 2.79 2.82 +1.0% PASS
total/synth/ADDRESS/a0 10.47 10.45 -0.2% PASS
total/synth/ADDRESS/a1 6.46 6.34 -1.9% PASS
total/synth/AND/b0 1.29 1.28 -0.4% PASS
total/synth/AND/b1 2.59 2.61 +0.9% PASS
total/synth/BYTE/b0 4.84 5.08 +5.0% PASS
total/synth/BYTE/b1 8.65 8.58 -0.8% PASS
total/synth/CALLDATASIZE/a0 6.99 6.95 -0.6% PASS
total/synth/CALLDATASIZE/a1 3.29 3.30 +0.3% PASS
total/synth/CALLER/a0 10.44 10.55 +1.1% PASS
total/synth/CALLER/a1 10.55 10.29 -2.4% PASS
total/synth/CALLVALUE/a0 3.13 3.13 +0.0% PASS
total/synth/CALLVALUE/a1 6.62 6.50 -1.8% PASS
total/synth/CODESIZE/a0 8.05 7.31 -9.1% PASS
total/synth/CODESIZE/a1 7.76 8.00 +3.2% PASS
total/synth/DUP1/d0 1.81 1.58 -13.1% PASS
total/synth/DUP1/d1 1.84 1.86 +1.5% PASS
total/synth/DUP10/d0 1.70 1.86 +9.5% PASS
total/synth/DUP10/d1 1.89 1.67 -11.5% PASS
total/synth/DUP11/d0 1.09 1.09 +0.1% PASS
total/synth/DUP11/d1 1.86 1.86 -0.2% PASS
total/synth/DUP12/d0 1.84 1.87 +1.8% PASS
total/synth/DUP12/d1 1.21 1.18 -2.6% PASS
total/synth/DUP13/d0 1.69 1.84 +9.0% PASS
total/synth/DUP13/d1 1.86 1.85 -0.1% PASS
total/synth/DUP14/d0 1.08 1.08 +0.0% PASS
total/synth/DUP14/d1 1.86 1.84 -1.0% PASS
total/synth/DUP15/d0 1.85 1.85 +0.1% PASS
total/synth/DUP15/d1 1.20 1.19 -1.3% PASS
total/synth/DUP16/d0 1.89 1.84 -2.0% PASS
total/synth/DUP16/d1 1.68 1.86 +11.1% PASS
total/synth/DUP2/d0 1.09 1.10 +1.0% PASS
total/synth/DUP2/d1 1.62 1.87 +15.3% PASS
total/synth/DUP3/d0 1.84 2.07 +12.1% PASS
total/synth/DUP3/d1 1.20 1.20 -0.5% PASS
total/synth/DUP4/d0 1.88 1.85 -1.9% PASS
total/synth/DUP4/d1 1.85 1.83 -1.0% PASS
total/synth/DUP5/d0 1.08 1.09 +0.1% PASS
total/synth/DUP5/d1 1.86 1.72 -7.4% PASS
total/synth/DUP6/d0 1.83 1.81 -1.0% PASS
total/synth/DUP6/d1 1.19 1.18 -1.4% PASS
total/synth/DUP7/d0 1.86 1.89 +1.6% PASS
total/synth/DUP7/d1 1.88 1.78 -5.3% PASS
total/synth/DUP8/d0 1.09 1.09 +0.1% PASS
total/synth/DUP8/d1 1.82 1.84 +1.2% PASS
total/synth/DUP9/d0 1.76 1.86 +5.3% PASS
total/synth/DUP9/d1 1.20 1.19 -1.3% PASS
total/synth/EQ/b0 5.46 5.49 +0.6% PASS
total/synth/EQ/b1 5.40 5.45 +0.9% PASS
total/synth/GAS/a0 3.49 3.59 +2.8% PASS
total/synth/GAS/a1 9.02 8.99 -0.3% PASS
total/synth/GT/b0 5.81 5.75 -1.0% PASS
total/synth/GT/b1 5.77 5.82 +0.8% PASS
total/synth/ISZERO/u0 7.91 7.85 -0.6% PASS
total/synth/JUMPDEST/n0 1.90 1.91 +0.5% PASS
total/synth/LT/b0 5.76 5.79 +0.6% PASS
total/synth/LT/b1 3.72 3.71 -0.2% PASS
total/synth/MSIZE/a0 8.00 8.37 +4.7% PASS
total/synth/MSIZE/a1 8.30 8.36 +0.8% PASS
total/synth/MUL/b0 6.10 6.35 +4.2% PASS
total/synth/MUL/b1 4.90 4.88 -0.4% PASS
total/synth/NOT/u0 2.15 2.11 -1.8% PASS
total/synth/OR/b0 2.64 2.61 -1.0% PASS
total/synth/OR/b1 1.29 1.26 -2.4% PASS
total/synth/PC/a0 7.03 7.21 +2.6% PASS
total/synth/PC/a1 3.29 3.29 -0.1% PASS
total/synth/PUSH1/p0 2.07 2.11 +1.9% PASS
total/synth/PUSH1/p1 1.38 1.38 +0.0% PASS
total/synth/PUSH10/p0 2.07 2.16 +4.4% PASS
total/synth/PUSH10/p1 1.42 1.42 -0.6% PASS
total/synth/PUSH11/p0 2.23 2.03 -8.9% PASS
total/synth/PUSH11/p1 2.13 2.17 +1.9% PASS
total/synth/PUSH12/p0 1.34 1.35 +1.0% PASS
total/synth/PUSH12/p1 2.25 2.10 -6.6% PASS
total/synth/PUSH13/p0 1.99 2.17 +8.7% PASS
total/synth/PUSH13/p1 1.43 1.42 -0.3% PASS
total/synth/PUSH14/p0 2.11 2.12 +0.1% PASS
total/synth/PUSH14/p1 2.17 2.16 +0.0% PASS
total/synth/PUSH15/p0 1.35 1.34 -0.3% PASS
total/synth/PUSH15/p1 2.13 2.16 +1.3% PASS
total/synth/PUSH16/p0 2.16 2.16 +0.1% PASS
total/synth/PUSH16/p1 1.44 1.42 -1.0% PASS
total/synth/PUSH17/p0 2.16 2.11 -0.9% PASS
total/synth/PUSH17/p1 2.14 2.15 +0.6% PASS
total/synth/PUSH18/p0 1.35 1.36 +0.9% PASS
total/synth/PUSH18/p1 2.27 2.11 -7.1% PASS
total/synth/PUSH19/p0 2.04 2.18 +6.8% PASS
total/synth/PUSH19/p1 1.42 1.43 +0.8% PASS
total/synth/PUSH2/p0 2.19 2.08 -5.1% PASS
total/synth/PUSH2/p1 2.16 2.14 -0.5% PASS
total/synth/PUSH20/p0 2.17 2.19 +0.6% PASS
total/synth/PUSH20/p1 2.21 1.98 -10.4% PASS
total/synth/PUSH21/p0 1.36 1.37 +0.5% PASS
total/synth/PUSH21/p1 2.28 2.08 -8.7% PASS
total/synth/PUSH22/p0 2.19 2.16 -1.3% PASS
total/synth/PUSH22/p1 1.45 1.43 -1.3% PASS
total/synth/PUSH23/p0 2.04 2.14 +4.8% PASS
total/synth/PUSH23/p1 2.14 2.08 -2.7% PASS
total/synth/PUSH24/p0 1.36 1.34 -1.3% PASS
total/synth/PUSH24/p1 2.26 2.16 -4.5% PASS
total/synth/PUSH25/p0 2.18 1.98 -9.0% PASS
total/synth/PUSH25/p1 1.45 1.44 -0.8% PASS
total/synth/PUSH26/p0 2.25 2.07 -8.2% PASS
total/synth/PUSH26/p1 2.13 2.18 +2.2% PASS
total/synth/PUSH27/p0 1.37 1.36 -0.6% PASS
total/synth/PUSH27/p1 2.23 2.13 -4.8% PASS
total/synth/PUSH28/p0 2.15 2.16 +0.5% PASS
total/synth/PUSH28/p1 1.45 1.44 -0.6% PASS
total/synth/PUSH29/p0 2.23 2.05 -8.3% PASS
total/synth/PUSH29/p1 2.13 2.05 -4.0% PASS
total/synth/PUSH3/p0 1.32 1.33 +0.5% PASS
total/synth/PUSH3/p1 2.21 2.15 -2.6% PASS
total/synth/PUSH30/p0 1.49 1.52 +2.3% PASS
total/synth/PUSH30/p1 2.20 2.16 -1.7% PASS
total/synth/PUSH31/p0 2.15 2.21 +2.5% PASS
total/synth/PUSH31/p1 1.50 1.53 +2.4% PASS
total/synth/PUSH32/p0 2.18 1.96 -10.2% PASS
total/synth/PUSH32/p1 2.18 2.09 -3.9% PASS
total/synth/PUSH4/p0 2.18 2.16 -0.8% PASS
total/synth/PUSH4/p1 1.41 1.41 +0.0% PASS
total/synth/PUSH5/p0 2.38 2.16 -9.3% PASS
total/synth/PUSH5/p1 2.18 2.11 -3.5% PASS
total/synth/PUSH6/p0 1.33 1.33 -0.5% PASS
total/synth/PUSH6/p1 2.24 2.15 -4.1% PASS
total/synth/PUSH7/p0 2.03 2.17 +6.9% PASS
total/synth/PUSH7/p1 1.40 1.41 +0.7% PASS
total/synth/PUSH8/p0 2.30 2.20 -4.5% PASS
total/synth/PUSH8/p1 2.13 2.01 -5.7% PASS
total/synth/PUSH9/p0 1.34 1.34 -0.0% PASS
total/synth/PUSH9/p1 2.16 2.11 -2.4% PASS
total/synth/RETURNDATASIZE/a0 3.26 3.26 -0.1% PASS
total/synth/RETURNDATASIZE/a1 7.43 7.90 +6.3% PASS
total/synth/SAR/b0 3.85 4.01 +4.0% PASS
total/synth/SAR/b1 9.25 9.26 +0.1% PASS
total/synth/SGT/b0 4.58 4.62 +1.0% PASS
total/synth/SGT/b1 2.52 2.50 -0.8% PASS
total/synth/SHL/b0 4.89 4.82 -1.5% PASS
total/synth/SHL/b1 1.61 1.59 -1.5% PASS
total/synth/SHR/b0 4.59 4.61 +0.4% PASS
total/synth/SHR/b1 3.64 3.72 +2.0% PASS
total/synth/SIGNEXTEND/b0 3.35 3.35 -0.0% PASS
total/synth/SIGNEXTEND/b1 7.18 6.73 -6.2% PASS
total/synth/SLT/b0 2.69 2.69 +0.1% PASS
total/synth/SLT/b1 4.34 4.38 +1.0% PASS
total/synth/SUB/b0 2.78 2.80 +0.7% PASS
total/synth/SUB/b1 2.76 2.78 +0.8% PASS
total/synth/SWAP1/s0 1.24 1.25 +1.4% PASS
total/synth/SWAP10/s0 1.25 1.27 +1.6% PASS
total/synth/SWAP11/s0 3.40 3.10 -8.7% PASS
total/synth/SWAP12/s0 3.40 3.28 -3.6% PASS
total/synth/SWAP13/s0 1.27 1.27 +0.0% PASS
total/synth/SWAP14/s0 3.40 3.36 -1.1% PASS
total/synth/SWAP15/s0 2.94 3.26 +11.0% PASS
total/synth/SWAP16/s0 1.26 1.27 +1.1% PASS
total/synth/SWAP2/s0 3.39 3.36 -0.8% PASS
total/synth/SWAP3/s0 3.36 3.41 +1.6% PASS
total/synth/SWAP4/s0 1.26 1.26 +0.3% PASS
total/synth/SWAP5/s0 3.41 3.41 -0.1% PASS
total/synth/SWAP6/s0 3.37 3.25 -3.5% PASS
total/synth/SWAP7/s0 1.26 1.25 -0.6% PASS
total/synth/SWAP8/s0 3.31 3.40 +2.9% PASS
total/synth/SWAP9/s0 3.39 3.40 +0.4% PASS
total/synth/XOR/b0 2.37 2.50 +5.7% PASS
total/synth/XOR/b1 2.42 2.47 +2.0% PASS
total/synth/loop_v1 9.47 9.59 +1.3% PASS
total/synth/loop_v2 9.60 9.57 -0.2% PASS

Summary: 194 benchmarks, 0 regressions


✅ Performance Check Passed (multipass)

Performance Benchmark Results (threshold: 25%)

Benchmark Baseline (us) Current (us) Change Status
total/main/blake2b_huff/8415nulls 1.28 1.36 +6.0% PASS
total/main/blake2b_huff/empty 0.02 0.02 -1.3% PASS
total/main/blake2b_shifts/8415nulls 4.38 4.35 -0.7% PASS
total/main/sha1_divs/5311 0.87 0.90 +2.6% PASS
total/main/sha1_divs/empty 0.01 0.01 -1.5% PASS
total/main/sha1_shifts/5311 0.77 0.77 -0.2% PASS
total/main/sha1_shifts/empty 0.01 0.01 +0.4% PASS
total/main/snailtracer/benchmark 51.30 47.93 -6.6% PASS
total/main/structarray_alloc/nfts_rank 0.28 0.28 +0.2% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 +1.2% PASS
total/main/swap_math/received 0.01 0.01 -5.8% PASS
total/main/swap_math/spent 0.01 0.01 -0.4% PASS
total/main/weierstrudel/1 0.33 0.34 +2.7% PASS
total/main/weierstrudel/15 3.64 3.72 +2.4% PASS
total/micro/JUMPDEST_n0/empty 0.00 0.00 +1.2% PASS
total/micro/jump_around/empty 0.07 0.07 +2.8% PASS
total/micro/loop_with_many_jumpdests/empty 0.01 0.01 +1.3% PASS
total/micro/memory_grow_mload/by1 0.02 0.02 +4.9% PASS
total/micro/memory_grow_mload/by16 0.02 0.02 -4.0% PASS
total/micro/memory_grow_mload/by32 0.01 0.01 -1.8% PASS
total/micro/memory_grow_mload/nogrow 0.01 0.01 +0.9% PASS
total/micro/memory_grow_mstore/by1 0.02 0.02 +3.5% PASS
total/micro/memory_grow_mstore/by16 0.01 0.01 -0.7% PASS
total/micro/memory_grow_mstore/by32 0.03 0.02 -7.6% PASS
total/micro/memory_grow_mstore/nogrow 0.02 0.02 +2.7% PASS
total/micro/signextend/one 0.08 0.08 -2.2% PASS
total/micro/signextend/zero 0.19 0.20 +6.6% PASS
total/synth/ADD/b0 0.00 0.00 +0.8% PASS
total/synth/ADD/b1 0.00 0.00 -0.4% PASS
total/synth/ADDRESS/a0 0.22 0.26 +14.6% PASS
total/synth/ADDRESS/a1 0.15 0.15 +0.3% PASS
total/synth/AND/b0 0.00 0.00 +0.8% PASS
total/synth/AND/b1 0.00 0.00 +0.4% PASS
total/synth/BYTE/b0 0.00 0.00 +1.0% PASS
total/synth/BYTE/b1 0.00 0.00 -0.3% PASS
total/synth/CALLDATASIZE/a0 0.12 0.12 +0.3% PASS
total/synth/CALLDATASIZE/a1 0.07 0.07 -0.5% PASS
total/synth/CALLER/a0 0.23 0.22 -2.1% PASS
total/synth/CALLER/a1 0.25 0.22 -8.8% PASS
total/synth/CALLVALUE/a0 0.19 0.19 -0.4% PASS
total/synth/CALLVALUE/a1 0.28 0.28 -0.2% PASS
total/synth/CODESIZE/a0 0.12 0.12 -2.6% PASS
total/synth/CODESIZE/a1 0.12 0.12 -5.6% PASS
total/synth/DUP1/d0 0.00 0.00 -1.4% PASS
total/synth/DUP1/d1 0.00 0.00 +0.7% PASS
total/synth/DUP10/d0 0.00 0.00 -0.2% PASS
total/synth/DUP10/d1 0.00 0.00 +1.4% PASS
total/synth/DUP11/d0 0.00 0.00 +1.0% PASS
total/synth/DUP11/d1 0.00 0.00 -0.0% PASS
total/synth/DUP12/d0 0.00 0.00 +1.1% PASS
total/synth/DUP12/d1 0.00 0.00 +0.8% PASS
total/synth/DUP13/d0 0.00 0.00 +0.6% PASS
total/synth/DUP13/d1 0.00 0.00 -1.4% PASS
total/synth/DUP14/d0 0.00 0.00 +0.5% PASS
total/synth/DUP14/d1 0.00 0.00 +1.4% PASS
total/synth/DUP15/d0 0.00 0.00 +0.4% PASS
total/synth/DUP15/d1 0.00 0.00 +0.9% PASS
total/synth/DUP16/d0 0.00 0.00 +0.1% PASS
total/synth/DUP16/d1 0.00 0.00 +0.0% PASS
total/synth/DUP2/d0 0.00 0.00 +0.8% PASS
total/synth/DUP2/d1 0.00 0.00 +1.3% PASS
total/synth/DUP3/d0 0.00 0.00 +0.2% PASS
total/synth/DUP3/d1 0.00 0.00 +1.2% PASS
total/synth/DUP4/d0 0.00 0.00 +0.4% PASS
total/synth/DUP4/d1 0.00 0.00 +1.7% PASS
total/synth/DUP5/d0 0.00 0.00 +0.6% PASS
total/synth/DUP5/d1 0.00 0.00 -0.0% PASS
total/synth/DUP6/d0 0.00 0.00 +1.1% PASS
total/synth/DUP6/d1 0.00 0.00 +0.5% PASS
total/synth/DUP7/d0 0.00 0.00 +1.0% PASS
total/synth/DUP7/d1 0.00 0.00 +1.4% PASS
total/synth/DUP8/d0 0.00 0.00 +1.2% PASS
total/synth/DUP8/d1 0.00 0.00 +0.2% PASS
total/synth/DUP9/d0 0.00 0.00 +1.6% PASS
total/synth/DUP9/d1 0.00 0.00 +0.4% PASS
total/synth/EQ/b0 0.00 0.00 -0.2% PASS
total/synth/EQ/b1 0.00 0.00 +4.7% PASS
total/synth/GAS/a0 0.77 0.76 -0.3% PASS
total/synth/GAS/a1 0.93 0.93 +0.0% PASS
total/synth/GT/b0 0.00 0.00 -0.1% PASS
total/synth/GT/b1 0.00 0.00 +0.6% PASS
total/synth/ISZERO/u0 0.00 0.00 +1.0% PASS
total/synth/JUMPDEST/n0 0.00 0.00 +0.5% PASS
total/synth/LT/b0 0.00 0.00 -0.6% PASS
total/synth/LT/b1 0.00 0.00 +0.4% PASS
total/synth/MSIZE/a0 0.00 0.00 +0.1% PASS
total/synth/MSIZE/a1 0.00 0.00 -0.6% PASS
total/synth/MUL/b0 0.00 0.00 +0.7% PASS
total/synth/MUL/b1 0.00 0.00 +0.6% PASS
total/synth/NOT/u0 0.00 0.00 +1.7% PASS
total/synth/OR/b0 0.00 0.00 +0.3% PASS
total/synth/OR/b1 0.00 0.00 +0.7% PASS
total/synth/PC/a0 0.00 0.00 +0.9% PASS
total/synth/PC/a1 0.00 0.00 +0.5% PASS
total/synth/PUSH1/p0 0.00 0.00 +0.7% PASS
total/synth/PUSH1/p1 0.00 0.00 +0.5% PASS
total/synth/PUSH10/p0 0.00 0.00 +4.7% PASS
total/synth/PUSH10/p1 0.00 0.00 +1.9% PASS
total/synth/PUSH11/p0 0.00 0.00 +4.3% PASS
total/synth/PUSH11/p1 0.00 0.00 -3.6% PASS
total/synth/PUSH12/p0 0.00 0.00 +1.3% PASS
total/synth/PUSH12/p1 0.00 0.00 -0.7% PASS
total/synth/PUSH13/p0 0.00 0.00 +1.2% PASS
total/synth/PUSH13/p1 0.00 0.00 -0.5% PASS
total/synth/PUSH14/p0 0.00 0.00 -0.3% PASS
total/synth/PUSH14/p1 0.00 0.00 +3.8% PASS
total/synth/PUSH15/p0 0.00 0.00 +0.1% PASS
total/synth/PUSH15/p1 0.00 0.00 -0.1% PASS
total/synth/PUSH16/p0 0.00 0.00 +6.2% PASS
total/synth/PUSH16/p1 0.00 0.00 +0.8% PASS
total/synth/PUSH17/p0 0.00 0.00 -2.2% PASS
total/synth/PUSH17/p1 0.00 0.00 +0.5% PASS
total/synth/PUSH18/p0 0.00 0.00 +0.7% PASS
total/synth/PUSH18/p1 0.00 0.00 -7.8% PASS
total/synth/PUSH19/p0 0.00 0.00 -1.4% PASS
total/synth/PUSH19/p1 0.00 0.00 +0.9% PASS
total/synth/PUSH2/p0 0.00 0.00 -0.2% PASS
total/synth/PUSH2/p1 0.00 0.00 -1.9% PASS
total/synth/PUSH20/p0 0.00 0.00 +2.3% PASS
total/synth/PUSH20/p1 0.00 0.00 +1.1% PASS
total/synth/PUSH21/p0 0.00 0.00 +0.1% PASS
total/synth/PUSH21/p1 0.00 0.00 +0.0% PASS
total/synth/PUSH22/p0 1.69 1.68 -0.7% PASS
total/synth/PUSH22/p1 1.65 1.64 -0.7% PASS
total/synth/PUSH23/p0 1.67 1.70 +1.4% PASS
total/synth/PUSH23/p1 1.95 1.98 +1.5% PASS
total/synth/PUSH24/p0 1.20 1.20 -0.0% PASS
total/synth/PUSH24/p1 1.89 1.93 +1.8% PASS
total/synth/PUSH25/p0 1.65 1.71 +3.7% PASS
total/synth/PUSH25/p1 1.65 1.64 -0.5% PASS
total/synth/PUSH26/p0 1.71 1.67 -2.0% PASS
total/synth/PUSH26/p1 1.93 1.87 -3.1% PASS
total/synth/PUSH27/p0 1.20 1.20 -0.4% PASS
total/synth/PUSH27/p1 1.88 1.88 +0.1% PASS
total/synth/PUSH28/p0 1.69 1.69 -0.2% PASS
total/synth/PUSH28/p1 1.67 1.63 -1.8% PASS
total/synth/PUSH29/p0 1.69 1.65 -2.3% PASS
total/synth/PUSH29/p1 1.91 1.85 -3.1% PASS
total/synth/PUSH3/p0 0.00 0.00 +0.1% PASS
total/synth/PUSH3/p1 0.00 0.00 +1.6% PASS
total/synth/PUSH30/p0 1.29 1.26 -2.1% PASS
total/synth/PUSH30/p1 1.87 1.87 +0.0% PASS
total/synth/PUSH31/p0 1.69 1.69 -0.0% PASS
total/synth/PUSH31/p1 1.68 1.65 -1.7% PASS
total/synth/PUSH32/p0 1.64 1.66 +0.8% PASS
total/synth/PUSH32/p1 1.86 1.91 +3.0% PASS
total/synth/PUSH4/p0 0.00 0.00 +3.9% PASS
total/synth/PUSH4/p1 0.00 0.00 -0.7% PASS
total/synth/PUSH5/p0 0.00 0.00 +0.8% PASS
total/synth/PUSH5/p1 0.00 0.00 +1.6% PASS
total/synth/PUSH6/p0 0.00 0.00 +0.6% PASS
total/synth/PUSH6/p1 0.00 0.00 +1.5% PASS
total/synth/PUSH7/p0 0.00 0.00 -0.2% PASS
total/synth/PUSH7/p1 0.00 0.00 +1.9% PASS
total/synth/PUSH8/p0 0.00 0.00 +5.6% PASS
total/synth/PUSH8/p1 0.00 0.00 +5.8% PASS
total/synth/PUSH9/p0 0.00 0.00 +3.6% PASS
total/synth/PUSH9/p1 0.00 0.00 -0.8% PASS
total/synth/RETURNDATASIZE/a0 0.03 0.03 -0.1% PASS
total/synth/RETURNDATASIZE/a1 0.06 0.06 +2.3% PASS
total/synth/SAR/b0 0.00 0.00 +1.6% PASS
total/synth/SAR/b1 0.00 0.00 +0.3% PASS
total/synth/SGT/b0 0.00 0.00 -1.2% PASS
total/synth/SGT/b1 0.00 0.00 +1.2% PASS
total/synth/SHL/b0 0.00 0.00 -0.1% PASS
total/synth/SHL/b1 0.00 0.00 +1.0% PASS
total/synth/SHR/b0 0.00 0.00 +0.1% PASS
total/synth/SHR/b1 0.00 0.00 +1.6% PASS
total/synth/SIGNEXTEND/b0 0.00 0.00 +1.3% PASS
total/synth/SIGNEXTEND/b1 0.00 0.00 -1.3% PASS
total/synth/SLT/b0 0.00 0.00 +1.0% PASS
total/synth/SLT/b1 0.00 0.00 -0.1% PASS
total/synth/SUB/b0 0.00 0.00 +0.1% PASS
total/synth/SUB/b1 0.00 0.00 +1.5% PASS
total/synth/SWAP1/s0 0.00 0.00 +0.2% PASS
total/synth/SWAP10/s0 0.00 0.00 +0.4% PASS
total/synth/SWAP11/s0 0.00 0.00 +1.4% PASS
total/synth/SWAP12/s0 0.00 0.00 -0.2% PASS
total/synth/SWAP13/s0 0.00 0.00 +0.1% PASS
total/synth/SWAP14/s0 0.00 0.00 -1.0% PASS
total/synth/SWAP15/s0 0.00 0.00 +0.4% PASS
total/synth/SWAP16/s0 0.00 0.00 +0.8% PASS
total/synth/SWAP2/s0 0.00 0.00 -1.0% PASS
total/synth/SWAP3/s0 0.00 0.00 +3.6% PASS
total/synth/SWAP4/s0 0.00 0.00 +0.6% PASS
total/synth/SWAP5/s0 0.00 0.00 +0.2% PASS
total/synth/SWAP6/s0 0.00 0.00 +3.3% PASS
total/synth/SWAP7/s0 0.00 0.00 +1.2% PASS
total/synth/SWAP8/s0 0.00 0.00 -0.1% PASS
total/synth/SWAP9/s0 0.00 0.00 -0.2% PASS
total/synth/XOR/b0 0.00 0.00 +0.3% PASS
total/synth/XOR/b1 0.00 0.00 +4.0% PASS
total/synth/loop_v1 8.82 8.34 -5.5% PASS
total/synth/loop_v2 8.20 8.23 +0.3% PASS

Summary: 194 benchmarks, 0 regressions


@starwarfan starwarfan left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

+1

@zoowii
zoowii merged commit ff7e510 into DTVMStack:main Sep 14, 2026
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

DTVM EVM Bug: the semantics of access_status field in the pre-state format conflict with the semantics of a transaction

3 participants