From 4d18b5910a658cb0914f429d95c673f854da39e5 Mon Sep 17 00:00:00 2001 From: awskii Date: Wed, 5 Aug 2026 15:14:42 +0700 Subject: [PATCH 1/2] tests(binary-trie): vector cases for zero code chunks past the header The zero-chunk vector covers 62 bytes of code, so both its chunks are in the account header. Overflow chunks are keyed by code hash on a separate write path, and nothing pins that the same rule holds there. --- tests/binary_trie/vectors/README.md | 4 +- .../vectors/binary_trie_vectors.json | 35 ++++++++++++++- tests/binary_trie/vectors/dump_vectors.py | 45 +++++++++++++++++++ 3 files changed, 82 insertions(+), 2 deletions(-) diff --git a/tests/binary_trie/vectors/README.md b/tests/binary_trie/vectors/README.md index 899e522423..def540a2c3 100644 --- a/tests/binary_trie/vectors/README.md +++ b/tests/binary_trie/vectors/README.md @@ -183,7 +183,7 @@ depend on both: number of chunk leaves does not give the code's length; `code_size` in the basic data leaf does. -The thirteen cases and what each one covers: +The fifteen cases and what each one covers: | Name | Covers | | --- | --- | @@ -198,5 +198,7 @@ The thirteen cases and what each one covers: | `shared_bytecode_two_accounts` | Two accounts with identical 129-chunk code. Their header chunks are per-account and disjoint; the one overflowing chunk is content-addressed and must land on a single shared leaf, so the state has 261 leaves rather than 262. | | `delegation_designator` | An EIP-7702 designator, `0xef0100` followed by an address: 23 bytes, one header chunk, the only protocol-reachable code change on an existing account. | | `code_chunks_of_zero_bytes` | 62 zero bytes of code: both chunks are 32 zero bytes and are absent, so the account commits no chunk leaf at all while its `code_size` stays 62. | +| `zero_code_chunk_in_both_zones` | 160 chunks of code with an all-zero chunk on each side of the header/overflow boundary, at chunk 5 and chunk 130. Header chunks are keyed by address and overflow chunks by code hash, so the zero rule has to hold on two separate write paths; applying it in one zone only still yields a root. | +| `shared_bytecode_with_a_zero_overflow_chunk` | Two accounts running the code above. Their zero header chunks are absent per account, and the zero overflow chunk is absent from the one leaf they would otherwise share, so absence and content addressing have to compose. | | `max_basic_data_fields` | A balance of `2**128 - 1`, the largest the 16-byte field holds, beside the largest JSON-safe nonce. A balance of `2**128` or more cannot be committed at all. | | `random_6_accounts_seed_8297` | Six pseudo-random accounts with mixed code lengths, scattered storage, and full-width balances, as a broad spread over the composition. | diff --git a/tests/binary_trie/vectors/binary_trie_vectors.json b/tests/binary_trie/vectors/binary_trie_vectors.json index 5d9b354500..29af0b1057 100644 --- a/tests/binary_trie/vectors/binary_trie_vectors.json +++ b/tests/binary_trie/vectors/binary_trie_vectors.json @@ -1,6 +1,6 @@ { "source": "ethereum/execution-specs projects/binary-trie", - "source_commit": "ad84d30604549f3a9c306c485069b284e2b2e826", + "source_commit": "9b4db644092f73dd61086db3c158fbe21c3f7828", "trie_roots": [ { "name": "empty", @@ -611,6 +611,39 @@ }, "root": "0x4001782ffd46a182d4a4beaec5ff32141776ed98f415651733252098a7dac362" }, + { + "name": "zero_code_chunk_in_both_zones", + "accounts": { + "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa": { + "nonce": 1, + "balance": "0x0", + "code": "0x01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010000000000000000000000000000000000000000000000000000000000000001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000000000000000000000000000000000000000000000000000000000000000101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101", + "code_hash": "0x36c31682fd9640795f9f7f08718094e9f45f7038e4782ae186486bd350d60ace", + "storage": {} + } + }, + "root": "0xb3f0823c6d8ce283de82b4ef9aaa3a96105fe8f5c8987e0020238b7b4fa38b90" + }, + { + "name": "shared_bytecode_with_a_zero_overflow_chunk", + "accounts": { + "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa": { + "nonce": 1, + "balance": "0x0", + "code": "0x01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010000000000000000000000000000000000000000000000000000000000000001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000000000000000000000000000000000000000000000000000000000000000101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101", + "code_hash": "0x36c31682fd9640795f9f7f08718094e9f45f7038e4782ae186486bd350d60ace", + "storage": {} + }, + "0xbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb": { + "nonce": 2, + "balance": "0x0", + "code": "0x01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010000000000000000000000000000000000000000000000000000000000000001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101000000000000000000000000000000000000000000000000000000000000000101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101", + "code_hash": "0x36c31682fd9640795f9f7f08718094e9f45f7038e4782ae186486bd350d60ace", + "storage": {} + } + }, + "root": "0x3e8cb3b0beef2a0c5ed3d7799b2991a98c16be51fec733a051ffee961c133166" + }, { "name": "max_basic_data_fields", "accounts": { diff --git a/tests/binary_trie/vectors/dump_vectors.py b/tests/binary_trie/vectors/dump_vectors.py index 0b6dd6d379..8d2663a63c 100644 --- a/tests/binary_trie/vectors/dump_vectors.py +++ b/tests/binary_trie/vectors/dump_vectors.py @@ -90,6 +90,26 @@ # boundary and the second chunk opens with a non-zero push-data count. PUSH32_SPILL_CODE = b"\x01" * 30 + PUSH32 + bytes(range(32)) + b"\x01" * 5 + +def _zeroed_chunks(chunk_count: int, zeroed: Sequence[int]) -> bytes: + """ + Build `chunk_count` chunks of filler with `zeroed` set to 31 zero + bytes each. The filler is `ADD`, which takes no push data, so a + zeroed chunk also carries a zero push-data count and its whole + 32-byte value is zero. + """ + code = bytearray(b"\x01" * (31 * chunk_count)) + for chunk in zeroed: + code[31 * chunk : 31 * (chunk + 1)] = bytes(31) + return bytes(code) + + +# 160 chunks, spanning both zones, with an all-zero chunk on each side +# of the header/overflow boundary. Header chunks are keyed by address +# and overflow chunks by code hash, so the zero rule has to hold on two +# separate write paths for the root to come out right. +ZERO_CHUNK_IN_BOTH_ZONES_CODE = _zeroed_chunks(160, (5, 130)) + # Largest integer a JSON number holds exactly, used as a nonce that # stresses the packed field without leaving what a JSON parser can # represent. @@ -469,6 +489,31 @@ def pbt_state_cases() -> List[Dict[str, Any]]: "code_chunks_of_zero_bytes", [AccountSpec(address=ADDRESS_A, nonce=1, code=b"\x00" * 62)], ), + pbt_state_case( + "zero_code_chunk_in_both_zones", + [ + AccountSpec( + address=ADDRESS_A, + nonce=1, + code=ZERO_CHUNK_IN_BOTH_ZONES_CODE, + ) + ], + ), + pbt_state_case( + "shared_bytecode_with_a_zero_overflow_chunk", + [ + AccountSpec( + address=ADDRESS_A, + nonce=1, + code=ZERO_CHUNK_IN_BOTH_ZONES_CODE, + ), + AccountSpec( + address=ADDRESS_B, + nonce=2, + code=ZERO_CHUNK_IN_BOTH_ZONES_CODE, + ), + ], + ), pbt_state_case( "max_basic_data_fields", [ From 3fb849758a53c96b0d3374fe06b6c6de9562f62c Mon Sep 17 00:00:00 2001 From: awskii Date: Wed, 5 Aug 2026 15:42:36 +0700 Subject: [PATCH 2/2] tests(binary-trie): foreground the code zone in the zero-chunk case Header code chunks are proposed for removal (#3286), so name and describe the case by the zone that outlives that: the zero chunk in the content-addressed code zone. The state and its root are unchanged. --- tests/binary_trie/vectors/README.md | 4 ++-- .../vectors/binary_trie_vectors.json | 4 ++-- tests/binary_trie/vectors/dump_vectors.py | 19 ++++++++++--------- 3 files changed, 14 insertions(+), 13 deletions(-) diff --git a/tests/binary_trie/vectors/README.md b/tests/binary_trie/vectors/README.md index def540a2c3..c6da791915 100644 --- a/tests/binary_trie/vectors/README.md +++ b/tests/binary_trie/vectors/README.md @@ -198,7 +198,7 @@ The fifteen cases and what each one covers: | `shared_bytecode_two_accounts` | Two accounts with identical 129-chunk code. Their header chunks are per-account and disjoint; the one overflowing chunk is content-addressed and must land on a single shared leaf, so the state has 261 leaves rather than 262. | | `delegation_designator` | An EIP-7702 designator, `0xef0100` followed by an address: 23 bytes, one header chunk, the only protocol-reachable code change on an existing account. | | `code_chunks_of_zero_bytes` | 62 zero bytes of code: both chunks are 32 zero bytes and are absent, so the account commits no chunk leaf at all while its `code_size` stays 62. | -| `zero_code_chunk_in_both_zones` | 160 chunks of code with an all-zero chunk on each side of the header/overflow boundary, at chunk 5 and chunk 130. Header chunks are keyed by address and overflow chunks by code hash, so the zero rule has to hold on two separate write paths; applying it in one zone only still yields a root. | -| `shared_bytecode_with_a_zero_overflow_chunk` | Two accounts running the code above. Their zero header chunks are absent per account, and the zero overflow chunk is absent from the one leaf they would otherwise share, so absence and content addressing have to compose. | +| `zero_code_chunk_in_the_code_zone` | 160 chunks of code with an all-zero chunk at 130, in the content-addressed code zone, and another at 5 in the account header. `code_chunks_of_zero_bytes` reaches header chunks only; the two zones are written on separate paths, so applying the zero rule to one of them still yields a root. | +| `shared_bytecode_with_a_zero_overflow_chunk` | Two accounts running the code above. The zero code-zone chunk has to be absent from the single leaf they would otherwise share, so absence and content addressing have to compose. | | `max_basic_data_fields` | A balance of `2**128 - 1`, the largest the 16-byte field holds, beside the largest JSON-safe nonce. A balance of `2**128` or more cannot be committed at all. | | `random_6_accounts_seed_8297` | Six pseudo-random accounts with mixed code lengths, scattered storage, and full-width balances, as a broad spread over the composition. | diff --git a/tests/binary_trie/vectors/binary_trie_vectors.json b/tests/binary_trie/vectors/binary_trie_vectors.json index 29af0b1057..a90d530ea8 100644 --- a/tests/binary_trie/vectors/binary_trie_vectors.json +++ b/tests/binary_trie/vectors/binary_trie_vectors.json @@ -1,6 +1,6 @@ { "source": "ethereum/execution-specs projects/binary-trie", - "source_commit": "9b4db644092f73dd61086db3c158fbe21c3f7828", + "source_commit": "4d18b5910a658cb0914f429d95c673f854da39e5", "trie_roots": [ { "name": "empty", @@ -612,7 +612,7 @@ "root": "0x4001782ffd46a182d4a4beaec5ff32141776ed98f415651733252098a7dac362" }, { - "name": "zero_code_chunk_in_both_zones", + "name": "zero_code_chunk_in_the_code_zone", "accounts": { "0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa": { "nonce": 1, diff --git a/tests/binary_trie/vectors/dump_vectors.py b/tests/binary_trie/vectors/dump_vectors.py index 8d2663a63c..366ae49201 100644 --- a/tests/binary_trie/vectors/dump_vectors.py +++ b/tests/binary_trie/vectors/dump_vectors.py @@ -104,11 +104,12 @@ def _zeroed_chunks(chunk_count: int, zeroed: Sequence[int]) -> bytes: return bytes(code) -# 160 chunks, spanning both zones, with an all-zero chunk on each side -# of the header/overflow boundary. Header chunks are keyed by address -# and overflow chunks by code hash, so the zero rule has to hold on two -# separate write paths for the root to come out right. -ZERO_CHUNK_IN_BOTH_ZONES_CODE = _zeroed_chunks(160, (5, 130)) +# 160 chunks with an all-zero chunk at 130, in the content-addressed +# code zone, and another at 5 in the account header. Existing coverage +# reaches header chunks only, and the two zones are written on separate +# paths, so a client can apply the zero rule to one and still produce a +# root. +ZERO_CODE_CHUNK_CODE = _zeroed_chunks(160, (5, 130)) # Largest integer a JSON number holds exactly, used as a nonce that # stresses the packed field without leaving what a JSON parser can @@ -490,12 +491,12 @@ def pbt_state_cases() -> List[Dict[str, Any]]: [AccountSpec(address=ADDRESS_A, nonce=1, code=b"\x00" * 62)], ), pbt_state_case( - "zero_code_chunk_in_both_zones", + "zero_code_chunk_in_the_code_zone", [ AccountSpec( address=ADDRESS_A, nonce=1, - code=ZERO_CHUNK_IN_BOTH_ZONES_CODE, + code=ZERO_CODE_CHUNK_CODE, ) ], ), @@ -505,12 +506,12 @@ def pbt_state_cases() -> List[Dict[str, Any]]: AccountSpec( address=ADDRESS_A, nonce=1, - code=ZERO_CHUNK_IN_BOTH_ZONES_CODE, + code=ZERO_CODE_CHUNK_CODE, ), AccountSpec( address=ADDRESS_B, nonce=2, - code=ZERO_CHUNK_IN_BOTH_ZONES_CODE, + code=ZERO_CODE_CHUNK_CODE, ), ], ),